ltext-0.0.0.4: Higher-order file applicator
LText.Internal.Types
type TypeVar = String Source
data Type Source
Constructors
Instances
data Prenex Source
type Subst name domain = Map name domain Source
nullSubst :: Subst TypeVar Type Source
composeSubst :: Subst TypeVar Type -> Subst TypeVar Type -> Subst TypeVar Type Source
prType :: Type -> Doc Source
prParenType :: Type -> Doc Source
prPrenex :: Prenex -> Doc Source