Safe Haskell | None |
---|---|
Language | Haskell2010 |
Lang.LamIf.Stamp
Documentation
Constructors
Name | |
Fields
|
Constructors
Exp | |
Fields
|
data StampState Source
Constructors
StampState | |
Fields
|
Instances
stampBinderMapL :: Lens StampState ((⇰) 𝕊 ℕ) Source
Constructors
StampEnv | |
Fields |
Instances
runStampM₀ :: StampM a -> Doc ⨄ a Source
stampBinder :: 𝕊 -> StampM Name Source