SyntaxTrees.Purescript.Type

Documentation

newtype TypeParam

Constructors

TypeParam String

Instances

Show TypeParam

Defined in SyntaxTrees.Purescript.Type

Methods

showsPrec :: Int -> TypeParam -> ShowS

show :: TypeParam -> String

showList :: [TypeParam] -> ShowS

Eq TypeParam

Defined in SyntaxTrees.Purescript.Type

Methods

(==) :: TypeParam -> TypeParam -> Bool

(/=) :: TypeParam -> TypeParam -> Bool

Ord TypeParam

Defined in SyntaxTrees.Purescript.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

newtype TypeVar

Constructors

TypeVar String

Instances

Show TypeVar

Defined in SyntaxTrees.Purescript.Type

Methods

showsPrec :: Int -> TypeVar -> ShowS

show :: TypeVar -> String

showList :: [TypeVar] -> ShowS

data TypeCtor

Constructors

TypeCtor String

Arrow

TupleType

Instances

Show TypeCtor

Defined in SyntaxTrees.Purescript.Type

Methods

showsPrec :: Int -> TypeCtor -> ShowS

show :: TypeCtor -> String

showList :: [TypeCtor] -> ShowS

data AnyKindedType

Constructors

TypeValue Type

TypeFn QTypeCtor

Instances

Show AnyKindedType

Defined in SyntaxTrees.Purescript.Type

Methods

showsPrec :: Int -> AnyKindedType -> ShowS

show :: AnyKindedType -> String

showList :: [AnyKindedType] -> ShowS

data ClassConstraint

Constructors

ClassConstraint QClass [Type]

Instances

Show ClassConstraint

Defined in SyntaxTrees.Purescript.Type

Methods

showsPrec :: Int -> ClassConstraint -> ShowS

show :: ClassConstraint -> String

showList :: [ClassConstraint] -> ShowS

data Type

Constructors

CtorTypeApply QTypeCtor [Type]

ParamTypeApply TypeParam [Type]

NestedTypeApply Type [Type]

TypeVar' QTypeVar

TypeParam' TypeParam

TypeScope [TypeParam] Type

ClassScope [ClassConstraint] Type

Instances

Show Type

Defined in SyntaxTrees.Purescript.Type

Methods

showsPrec :: Int -> Type -> ShowS

show :: Type -> String

showList :: [Type] -> ShowS

data QTypeVar

Constructors

QTypeVar (Maybe Module) TypeVar

Instances

Show QTypeVar

Defined in SyntaxTrees.Purescript.Type

Methods

showsPrec :: Int -> QTypeVar -> ShowS

show :: QTypeVar -> String

showList :: [QTypeVar] -> ShowS

data QTypeCtor

Constructors

QTypeCtor (Maybe Module) TypeCtor

Instances

Show QTypeCtor

Defined in SyntaxTrees.Purescript.Type

Methods

showsPrec :: Int -> QTypeCtor -> ShowS

show :: QTypeCtor -> String

showList :: [QTypeCtor] -> ShowS

showAnyKindedTypeNested :: AnyKindedType -> String

showTypeNested :: Type -> String

showArrowTypeNested :: Type -> String

showTypeScopeNested :: Type -> String

showClassScopeNested :: Type -> String