Language.PureScript.Roles

Data types for roles.

Documentation

data Role

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

Methods

parseJSON :: Value -> Parser Role

parseJSONList :: Value -> Parser [Role]

ToJSON Role

Defined in Language.PureScript.Roles

Methods

toJSON :: Role -> Value

toEncoding :: Role -> Encoding

toJSONList :: [Role] -> Value

toEncodingList :: [Role] -> Encoding

Generic Role

Defined in Language.PureScript.Roles

Associated Types

type Rep Role :: Type -> Type

Methods

from :: Role -> Rep Role x

to :: Rep Role x -> Role

Show Role

Defined in Language.PureScript.Roles

Methods

showsPrec :: Int -> Role -> ShowS

show :: Role -> String

showList :: [Role] -> ShowS

NFData Role

Defined in Language.PureScript.Roles

Methods

rnf :: Role -> ()

Eq Role

Defined in Language.PureScript.Roles

Methods

(==) :: Role -> Role -> Bool

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

Ord Role

Defined in Language.PureScript.Roles

Methods

compare :: Role -> Role -> Ordering

(<) :: Role -> Role -> Bool

(<=) :: Role -> Role -> Bool

(>) :: Role -> Role -> Bool

(>=) :: Role -> Role -> Bool

max :: Role -> Role -> Role

min :: Role -> Role -> Role

Serialise Role

Defined in Language.PureScript.Roles

Methods

encode :: Role -> Encoding

decode :: Decoder s Role

encodeList :: [Role] -> Encoding

decodeList :: Decoder s [Role]

type Rep Role

Defined in Language.PureScript.Roles

type Rep Role = D1 ('MetaData "Role" "Language.PureScript.Roles" "purescript-0.15.14-JcflwnDm1Hv5HxS5CV5TJ2" '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