Language.PureScript.CoreFn.Meta

Metadata annotations for core functional representation

Documentation

data Meta

Metadata annotations

Constructors

IsConstructor ConstructorType [Ident]

The contained value is a data constructor

IsNewtype

The contained value is a newtype

IsTypeClassConstructor

The contained value is a typeclass dictionary constructor

IsForeign

The contained reference is for a foreign member

Instances

Eq Meta

Methods

(==) :: Meta -> Meta -> Bool

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

Show Meta

Methods

showsPrec :: Int -> Meta -> ShowS

show :: Meta -> String

showList :: [Meta] -> ShowS

data ConstructorType

Data constructor metadata

Constructors

ProductType

The constructor is for a type with a single construcor

SumType

The constructor is for a type with multiple construcors

Instances

Eq ConstructorType

Methods

(==) :: ConstructorType -> ConstructorType -> Bool

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

Show ConstructorType

Methods

showsPrec :: Int -> ConstructorType -> ShowS

show :: ConstructorType -> String

showList :: [ConstructorType] -> ShowS