Safe Haskell | None |
---|---|
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 # | |||||
NFData Role # | |||||
Defined in Language.PureScript.Roles | |||||
Generic Role # | |||||
Defined in Language.PureScript.Roles Associated Types
| |||||
Show Role # | |||||
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.15-8K0LbmS63k4ILju2RsIrDp" '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 #