Safe Haskell	Safe-Inferred
Language	Haskell2010

SyntaxTrees.Haskell.Type

Documentation

newtype TypeParam Source #

Constructors

TypeParam String

Instances

Instances details

Show TypeParam Source #
Instance details Defined in SyntaxTrees.Haskell.Type Methods showsPrec :: Int -> TypeParam -> ShowS # show :: TypeParam -> String # showList :: [TypeParam] -> ShowS #
Eq TypeParam Source #
Instance details Defined in SyntaxTrees.Haskell.Type Methods (==) :: TypeParam -> TypeParam -> Bool # (/=) :: TypeParam -> TypeParam -> Bool #
Ord TypeParam Source #
Instance details Defined in SyntaxTrees.Haskell.Type Methods compare :: TypeParam -> TypeParam -> Ordering # (<) :: TypeParam -> TypeParam -> Bool # (<=) :: TypeParam -> TypeParam -> Bool # (>) :: TypeParam -> TypeParam -> Bool # (>=) :: TypeParam -> TypeParam -> Bool # max :: TypeParam -> TypeParam -> TypeParam # min :: TypeParam -> TypeParam -> TypeParam #

data TypeVar Source #

Constructors

TypeVar String
UnitType

Instances

Instances details

Show TypeVar Source #
Instance details Defined in SyntaxTrees.Haskell.Type Methods showsPrec :: Int -> TypeVar -> ShowS # show :: TypeVar -> String # showList :: [TypeVar] -> ShowS #

data TypeCtor Source #

Constructors

TypeCtor String
Arrow
TupleType
ListType

Instances

Instances details

Show TypeCtor Source #
Instance details Defined in SyntaxTrees.Haskell.Type Methods showsPrec :: Int -> TypeCtor -> ShowS # show :: TypeCtor -> String # showList :: [TypeCtor] -> ShowS #

data AnyKindedType Source #

Constructors

TypeValue Type
TypeFn QTypeCtor

Instances

Instances details

Show AnyKindedType Source #
Instance details Defined in SyntaxTrees.Haskell.Type Methods showsPrec :: Int -> AnyKindedType -> ShowS # show :: AnyKindedType -> String # showList :: [AnyKindedType] -> ShowS #

data ClassConstraint Source #

Constructors

ClassConstraint QClass [Type]

Instances

Instances details

Show ClassConstraint Source #
Instance details Defined in SyntaxTrees.Haskell.Type Methods showsPrec :: Int -> ClassConstraint -> ShowS # show :: ClassConstraint -> String # showList :: [ClassConstraint] -> ShowS #

data Type Source #

Constructors

CtorTypeApply QTypeCtor [Type]
ParamTypeApply TypeParam [Type]
NestedTypeApply Type [Type]
TypeVar' QTypeVar
TypeParam' TypeParam
TypeScope [TypeParam] Type
ClassScope [ClassConstraint] Type

Instances

Instances details

Show Type Source #
Instance details Defined in SyntaxTrees.Haskell.Type Methods showsPrec :: Int -> Type -> ShowS # show :: Type -> String # showList :: [Type] -> ShowS #

data QTypeVar Source #

Constructors

QTypeVar (Maybe Module) TypeVar

Instances

Instances details

Show QTypeVar Source #
Instance details Defined in SyntaxTrees.Haskell.Type Methods showsPrec :: Int -> QTypeVar -> ShowS # show :: QTypeVar -> String # showList :: [QTypeVar] -> ShowS #

data QTypeCtor Source #

Constructors

QTypeCtor (Maybe Module) TypeCtor

Instances

Instances details

Show QTypeCtor Source #
Instance details Defined in SyntaxTrees.Haskell.Type Methods showsPrec :: Int -> QTypeCtor -> ShowS # show :: QTypeCtor -> String # showList :: [QTypeCtor] -> ShowS #