Perspectives.Representation.TypeIdentifiers

All types are identified with a TypeIdentifier. Invariably, a TypeIdentifier is a Purescript newtype (there is no representation of newtypes in the compiled code: they are just used by the compiler). Examples are ContextType, EnumeratedRoleType, ViewType, etc.

Each newtype is an instance of several Type Classes:

• Generic
• Newtype
• Encode
• ReadForeign
• Show
• Eq.

Of interest are furthermore RoleType and PropertyType: abstractions over enumerated and calculated types.

RoleKind distinghuishes various EnumeratedRoleTypes: does the role represent a user, a bot, a context and so on.

newtype ContextType

newtype EnumeratedRoleType

newtype CalculatedRoleType

data RoleType

roletype2string :: RoleType -> String

data RoleKind

newtype EnumeratedPropertyType

newtype CalculatedPropertyType

data PropertyType

propertytype2string :: PropertyType -> String

newtype ViewType

newtype ActionType