ltext-0.0.0.2: Higher-order file applicator

Safe Haskell	Safe
Language	Haskell2010

LText.Internal.Types

Documentation

type TypeVar = String Source

data Type Source

Constructors

TVar TypeVar
TFun Type Type
TText

data Prenex Source

Constructors

Prenex [TypeVar] Type

Instances

Show Prenex Source
Bindable Set TypeVar Prenex Source
Substitutable Map TypeVar Type 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