Perspectives.Representation.Class.PersistentType

type Namespace = String

class (Show i, Identifiable v i, Revision v, Newtype i String, Eq v) <= PersistentType v i | v -> i, i -> v where

Members

• retrieveFromDomein :: i -> Namespace -> MonadPerspectives v
• cacheInDomeinFile :: i -> v -> MonadPerspectives Unit

Instances

• PersistentType Context ContextType
• PersistentType EnumeratedRole EnumeratedRoleType
• PersistentType CalculatedRole CalculatedRoleType
• PersistentType EnumeratedProperty EnumeratedPropertyType
• PersistentType CalculatedProperty CalculatedPropertyType
• PersistentType View ViewType
• PersistentType Action ActionType

addContextToDomeinFile :: Context -> DomeinFile -> DomeinFile

addEnumeratedRoleToDomeinFile :: EnumeratedRole -> DomeinFile -> DomeinFile

getCalculatedProperty :: CalculatedPropertyType -> MP CalculatedProperty

getCalculatedRole :: CalculatedRoleType -> MP CalculatedRole

getContext :: ContextType -> MP Context

getEnumeratedProperty :: EnumeratedPropertyType -> MP EnumeratedProperty

getEnumeratedRole :: EnumeratedRoleType -> MP EnumeratedRole

getPerspectType :: forall v i. PersistentType v i => i -> MonadPerspectives v

Get any type representation for Perspectives, either from cache or from a model file in couchdb.

ifNamespace :: forall i. Newtype i String => i -> (DomeinFile -> DomeinFile) -> MP Unit

retrieveFromDomein_ :: forall v i. PersistentType v i => i -> (DomeinFile -> Maybe v) -> Namespace -> (MonadPerspectives v)

typeExists :: forall v i. PersistentType v i => i -> MP Boolean

class (Identifiable v i, Revision v, Newtype i String) <= Cacheable v i | v -> i, i -> v where

Members

• retrieveInternally :: i -> MonadPerspectives (Maybe (AVar v))

Instances

• Cacheable PerspectContext ContextInstance
• Cacheable PerspectRol RoleInstance
• Cacheable DomeinFile DomeinFileId

type Revision_ = Maybe String

class Revision v  where

Members

• rev :: v -> Revision_
• changeRevision :: Revision_ -> v -> v

revision :: String -> Revision_

newtype ViewType

Instances

• Newtype ViewType _
• Generic ViewType _
• Encode ViewType
• Decode ViewType
• Show ViewType
• Eq ViewType

newtype EnumeratedRoleType

Instances

• Newtype EnumeratedRoleType _
• Generic EnumeratedRoleType _
• Encode EnumeratedRoleType
• Decode EnumeratedRoleType
• Show EnumeratedRoleType
• Eq EnumeratedRoleType

newtype EnumeratedPropertyType

Instances

• Newtype EnumeratedPropertyType _
• Generic EnumeratedPropertyType _
• Encode EnumeratedPropertyType
• Decode EnumeratedPropertyType
• Show EnumeratedPropertyType
• Eq EnumeratedPropertyType

newtype ContextType

Instances

• Newtype ContextType _
• Generic ContextType _
• Encode ContextType
• Decode ContextType
• Show ContextType
• Eq ContextType

newtype CalculatedRoleType

Instances

• Newtype CalculatedRoleType _
• Generic CalculatedRoleType _
• Encode CalculatedRoleType
• Decode CalculatedRoleType
• Show CalculatedRoleType
• Eq CalculatedRoleType

newtype CalculatedPropertyType

Instances

• Newtype CalculatedPropertyType _
• Generic CalculatedPropertyType _
• Encode CalculatedPropertyType
• Decode CalculatedPropertyType
• Show CalculatedPropertyType
• Eq CalculatedPropertyType

newtype ActionType

Instances

• Newtype ActionType _
• Generic ActionType _
• Encode ActionType
• Decode ActionType
• Show ActionType
• Eq ActionType