Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Language.PureScript.Roles
Description
Data types for roles.
Synopsis
- data Role
- displayRole :: Role -> Text
Documentation
The role of a type constructor's parameter.
Constructors
Nominal | This parameter's identity affects the representation of the type it is parameterising. |
Representational | This parameter's representation affects the representation of the type it is parameterising. |
Phantom | This parameter has no effect on the representation of the type it is parameterising. |
Instances
FromJSON Role # | |
Defined in Language.PureScript.Roles | |
ToJSON Role # | |
Generic Role # | |
Show Role # | |
NFData Role # | |
Defined in Language.PureScript.Roles | |
Eq Role # | |
Ord Role # | |
Serialise Role # | |
type Rep Role # | |
Defined in Language.PureScript.Roles type Rep Role = D1 ('MetaData "Role" "Language.PureScript.Roles" "purescript-0.15.12-5l1zT9m1jq0GgrLEUvYibC" 'False) (C1 ('MetaCons "Nominal" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Representational" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Phantom" 'PrefixI 'False) (U1 :: Type -> Type))) |
displayRole :: Role -> Text #