kleene-type-0

Safe Haskell	None
Language	Haskell2010

KleenePlugin.Elaborate

Description

Elaboration.

Convert from Type to our types.

Synopsis

elaborateRe :: KleNames -> Type -> Either String (RE Type)
elaborateStr :: KleNames -> Type -> Either String [Type]

Documentation

elaborateRe :: KleNames -> Type -> Either String (RE Type) Source #

Elaborate type-level RE (of types).

elaborateStr :: KleNames -> Type -> Either String [Type] Source #

Elaborate type-level list (of types).