Safe Haskell	Safe-Inferred
Language	Haskell2010

SyntaxTrees.Haskell.DataDef

Documentation

data TypeDef Source #

Constructors

TypeDef
Fields alias :: TypeCtor typeParams :: [TypeParam] type' :: AnyKindedType

Instances

Instances details

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

data NewTypeDef Source #

Constructors

NewTypeDef
Fields type' :: TypeCtor typeParams :: [TypeParam] ctor :: Ctor field :: FieldDef deriving' :: [DerivingClause]

Instances

Instances details

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

data DataDef Source #

Constructors

DataDef
Fields type' :: TypeCtor typeParams :: [TypeParam] ctorDefs :: [DataCtorDef] deriving' :: [DerivingClause]

Instances

Instances details

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

data DataCtorDef Source #

Constructors

UnNamedFieldsCtor
Fields ctor :: Ctor unnamedFields :: [UnNamedFieldDef]
NamedFieldsCtor
Fields ctor :: Ctor namedFields :: [NamedFieldDef]

Instances

Instances details

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

data FieldDef Source #

Constructors

UnNamedField UnNamedFieldDef
NamedField NamedFieldDef

Instances

Instances details

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

data UnNamedFieldDef Source #

Constructors

UnNamedFieldDef
Fields type' :: Type

Instances

Instances details

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

data NamedFieldDef Source #

Constructors

NamedFieldDef
Fields name :: Var type' :: Type

Instances

Instances details

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

data DerivingClause Source #

Constructors

Deriving DerivingStrategy [Class]
DerivingVia [Class] AnyKindedType

Instances

Instances details

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

data DerivingStrategy Source #

Constructors

StandardDeriving
NewTypeDeriving
AnyClassDeriving

Instances

Instances details

Show DerivingStrategy Source #
Instance details Defined in SyntaxTrees.Haskell.DataDef Methods showsPrec :: Int -> DerivingStrategy -> ShowS # show :: DerivingStrategy -> String # showList :: [DerivingStrategy] -> ShowS #
Eq DerivingStrategy Source #
Instance details Defined in SyntaxTrees.Haskell.DataDef Methods (==) :: DerivingStrategy -> DerivingStrategy -> Bool # (/=) :: DerivingStrategy -> DerivingStrategy -> Bool #

derivingClasses :: DerivingClause -> [(DerivingStrategy, Class)] Source #