wave-0.1.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

Wave.Types

Documentation

data Type Source #

Constructors

TypeVar TypeVar 
TypeCon TypeCon 
TypeApp Type Type 
TypeFun [Type] Type 
TypeRec [(Label, Type)] 

Instances

Instances details
Eq Type Source # 
Instance details

Defined in Wave.Types

Methods

(==) :: Type -> Type -> Bool #

(/=) :: Type -> Type -> Bool #

Show Type Source # 
Instance details

Defined in Wave.Types

Methods

showsPrec :: Int -> Type -> ShowS #

show :: Type -> String #

showList :: [Type] -> ShowS #