kleene-type-0

Safe HaskellNone
LanguageHaskell2010

KleenePlugin.Synthesis

Description

Core synthesis.

We transform from our types to CoreExpr or Type. The code is very direct, but we have to provide everything (type and coercion arguments!) manually.

Synopsis

Documentation

synStrType :: [Type] -> Type Source #

synthesise type level list (of types).

synSList :: KleNames -> [Type] -> CoreExpr Source #

synthesise SList value.

synReType :: KleNames -> RE Type -> Type Source #

Synthesise type level RE (of types).