| 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 #