SyntaxTrees.Purescript.DataDef

Documentation

data TypeDef

Constructors

TypeDef

Fields

• alias :: TypeCtor
• typeParams :: [TypeParam]
• type' :: AnyKindedType

Instances

Show TypeDef

Defined in SyntaxTrees.Purescript.DataDef

Methods

showsPrec :: Int -> TypeDef -> ShowS

show :: TypeDef -> String

showList :: [TypeDef] -> ShowS

data NewTypeDef

Constructors

NewTypeDef

Fields

• type' :: TypeCtor
• typeParams :: [TypeParam]
• ctor :: Ctor
• field :: FieldDef

Instances

Show NewTypeDef

Defined in SyntaxTrees.Purescript.DataDef

Methods

showsPrec :: Int -> NewTypeDef -> ShowS

show :: NewTypeDef -> String

showList :: [NewTypeDef] -> ShowS

data DataDef

Constructors

DataDef

Fields

• type' :: TypeCtor
• typeParams :: [TypeParam]
• ctorDefs :: [DataCtorDef]

Instances

Show DataDef

Defined in SyntaxTrees.Purescript.DataDef

Methods

showsPrec :: Int -> DataDef -> ShowS

show :: DataDef -> String

showList :: [DataDef] -> ShowS

data DataCtorDef

Constructors

UnNamedFieldsCtor

Fields

• ctor :: Ctor
• unnamedFields :: [UnNamedFieldDef]

NamedFieldsCtor

Fields

• ctor :: Ctor
• namedFields :: [NamedFieldDef]

Instances

Show DataCtorDef

Defined in SyntaxTrees.Purescript.DataDef

Methods

showsPrec :: Int -> DataCtorDef -> ShowS

show :: DataCtorDef -> String

showList :: [DataCtorDef] -> ShowS

data FieldDef

Constructors

UnNamedField UnNamedFieldDef

NamedField NamedFieldDef

Instances

Show FieldDef

Defined in SyntaxTrees.Purescript.DataDef

Methods

showsPrec :: Int -> FieldDef -> ShowS

show :: FieldDef -> String

showList :: [FieldDef] -> ShowS

data UnNamedFieldDef

Constructors

UnNamedFieldDef

Fields

• type' :: Type

Instances

Show UnNamedFieldDef

Defined in SyntaxTrees.Purescript.DataDef

Methods

showsPrec :: Int -> UnNamedFieldDef -> ShowS

show :: UnNamedFieldDef -> String

showList :: [UnNamedFieldDef] -> ShowS

data NamedFieldDef

Constructors

NamedFieldDef

Fields

• name :: Var
• type' :: Type

Instances

Show NamedFieldDef

Defined in SyntaxTrees.Purescript.DataDef

Methods

showsPrec :: Int -> NamedFieldDef -> ShowS

show :: NamedFieldDef -> String

showList :: [NamedFieldDef] -> ShowS