ddc-core-0.3.1.1: Disciplined Disciple Compiler core language and type checker.
DDC.Type.Transform.Instantiate
Synopsis
instantiateTSource
Arguments
Type to instantiate.
Argument type.
Instantiate a type with an argument. The type to be instantiated must have an outer forall, else Nothing.
Nothing
instantiateTsSource
Argument types.
Instantiate a type with several arguments. The type to be instantiated must have at least as many outer foralls as provided type arguments, else Nothing.