ltext-0.0.1.1: 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