Safe Haskell | None |
---|---|
Language | Haskell2010 |
Metadata annotations for core functional representation
Synopsis
Documentation
Metadata annotations
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 |
IsWhere | The contained value is a where clause |
data ConstructorType Source #
Data constructor metadata
ProductType | The constructor is for a type with a single construcor |
SumType | The constructor is for a type with multiple construcors |
Instances
Eq ConstructorType Source # | |
Defined in Language.PureScript.CoreFn.Meta (==) :: ConstructorType -> ConstructorType -> Bool # (/=) :: ConstructorType -> ConstructorType -> Bool # | |
Ord ConstructorType Source # | |
Defined in Language.PureScript.CoreFn.Meta compare :: ConstructorType -> ConstructorType -> Ordering # (<) :: ConstructorType -> ConstructorType -> Bool # (<=) :: ConstructorType -> ConstructorType -> Bool # (>) :: ConstructorType -> ConstructorType -> Bool # (>=) :: ConstructorType -> ConstructorType -> Bool # max :: ConstructorType -> ConstructorType -> ConstructorType # min :: ConstructorType -> ConstructorType -> ConstructorType # | |
Show ConstructorType Source # | |
Defined in Language.PureScript.CoreFn.Meta showsPrec :: Int -> ConstructorType -> ShowS # show :: ConstructorType -> String # showList :: [ConstructorType] -> ShowS # |