| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Plutus.Contract.Test.Coverage.Analysis.DeBruijn
Contents
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
class Eq n => IsName n where Source #
Methods
mkDeBruijn :: n -> Index -> DeBruijn n Source #
Instances
| IsName TyName Source # | |
Defined in Plutus.Contract.Test.Coverage.Analysis.DeBruijn Methods mkDeBruijn :: TyName -> Index -> DeBruijn TyName Source # | |
| IsName Name Source # | |
Defined in Plutus.Contract.Test.Coverage.Analysis.DeBruijn Methods mkDeBruijn :: Name -> Index -> DeBruijn Name Source # | |
class IsDbName n where Source #
Instances
| IsDbName NamedDeBruijn Source # | |
Defined in Plutus.Contract.Test.Coverage.Analysis.DeBruijn Methods setDbIndex :: NamedDeBruijn -> Index -> NamedDeBruijn Source # getDbIndex :: NamedDeBruijn -> Index Source # | |
| IsDbName NamedTyDeBruijn Source # | |
Defined in Plutus.Contract.Test.Coverage.Analysis.DeBruijn Methods setDbIndex :: NamedTyDeBruijn -> Index -> NamedTyDeBruijn Source # getDbIndex :: NamedTyDeBruijn -> Index 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 #