Safe Haskell | Safe |
---|---|
Language | Haskell98 |
DDC.Type.Transform.Instantiate
Documentation
Instantiate a type with an argument.
The type to be instantiated must have an outer forall, else Nothing
.
ddc-core-0.4.2.1: Disciplined Disciple Compiler core language and type checker.
Safe Haskell | Safe |
---|---|
Language | Haskell98 |
DDC.Type.Transform.Instantiate
Instantiate a type with an argument.
The type to be instantiated must have an outer forall, else Nothing
.