Plutus.Contract.Test.Coverage.Analysis.DeBruijn

plutus-contract-1.1.0.0

Safe Haskell	None
Language	Haskell2010

Plutus.Contract.Test.Coverage.Analysis.DeBruijn

Contents

Conversion to DeBruijn

Synopsis

type DBCtx nm = [nm]
class Eq n => IsName n where
- type DeBruijn n
- mkDeBruijn :: n -> Index -> DeBruijn n
class IsDbName n where
- setDbIndex :: n -> Index -> n
- getDbIndex :: n -> Index
deBruijn :: HasCallStack => IsName n => DBCtx n -> n -> DeBruijn n
extendDBCtx :: HasCallStack => DBCtx n -> n -> DBCtx n
toDeBruijn_Trm :: HasCallStack => DBCtx TyName -> DBCtx Name -> Trm' -> Trm
toDeBruijn_Typ :: HasCallStack => DBCtx TyName -> Typ' -> Typ
bindCtx_Dat :: HasCallStack => (DBCtx TyName, DBCtx Name) -> Dat' -> (DBCtx TyName, DBCtx Name)
toDeBruijn_Dat :: HasCallStack => Bool -> DBCtx TyName -> Dat' -> Dat
bindCtx_Bind :: HasCallStack => (DBCtx TyName, DBCtx Name) -> Bind' -> (DBCtx TyName, DBCtx Name)
toDeBruijn_Bind :: HasCallStack => Bool -> DBCtx TyName -> DBCtx Name -> Bind' -> Bind
getTrm :: HasCallStack => CompiledCode a -> Trm

Conversion to DeBruijn

type DBCtx nm = [nm] Source #

class Eq n => IsName n where Source #

Associated Types

type DeBruijn n Source #

Methods

mkDeBruijn :: n -> Index -> DeBruijn n Source #

Instances

Instances details

IsName Name Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.DeBruijn Associated Types type DeBruijn Name Source # Methods mkDeBruijn :: Name -> Index -> DeBruijn Name Source #
IsName TyName Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.DeBruijn Associated Types type DeBruijn TyName Source # Methods mkDeBruijn :: TyName -> Index -> DeBruijn TyName Source #

class IsDbName n where Source #

Methods

setDbIndex :: n -> Index -> n Source #

getDbIndex :: n -> Index Source #

Instances

Instances details

IsDbName NamedDeBruijn Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.DeBruijn Methods setDbIndex :: NamedDeBruijn -> Index -> NamedDeBruijn Source # getDbIndex :: NamedDeBruijn -> Index Source #
IsDbName NamedTyDeBruijn Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.DeBruijn Methods setDbIndex :: NamedTyDeBruijn -> Index -> NamedTyDeBruijn Source # getDbIndex :: NamedTyDeBruijn -> Index Source #

deBruijn :: HasCallStack => IsName n => DBCtx n -> n -> DeBruijn n Source #

extendDBCtx :: HasCallStack => DBCtx n -> n -> DBCtx n Source #

toDeBruijn_Trm :: HasCallStack => DBCtx TyName -> DBCtx Name -> Trm' -> Trm Source #

toDeBruijn_Typ :: HasCallStack => DBCtx TyName -> Typ' -> Typ Source #

bindCtx_Dat :: HasCallStack => (DBCtx TyName, DBCtx Name) -> Dat' -> (DBCtx TyName, DBCtx Name) Source #

toDeBruijn_Dat :: HasCallStack => Bool -> DBCtx TyName -> Dat' -> Dat Source #

bindCtx_Bind :: HasCallStack => (DBCtx TyName, DBCtx Name) -> Bind' -> (DBCtx TyName, DBCtx Name) Source #

toDeBruijn_Bind :: HasCallStack => Bool -> DBCtx TyName -> DBCtx Name -> Bind' -> Bind Source #

getTrm :: HasCallStack => CompiledCode a -> Trm Source #