Data.Object.Dynamic.Type

Documentation

newtype Object u

The Object type, where u carrying the information of its underlying types.

Constructors

Object

Fields

unObject :: Table

Instances

Objective (Object u)

(Typeable (UnderlyingString (Object u)), UseString u) => UseString (Object u)

(Typeable (UnderlyingInteger (Object u)), UseInteger u) => UseInteger (Object u)

(Typeable (UnderlyingReal (Object u)), UseReal u) => UseReal (Object u)

newtype Table

The Table within an Object that carries all the member data.

Constructors

Table

Fields

unTable :: TableMap

type TableMap = Map TypeRep Dynamic

The Map type within the table.

class Objective o where

o is an Objective if given its type information, there is an equivalence between o and the Table.

Methods

table :: Simple Iso o Table

tableMap :: Simple Iso o (Map TypeRep Dynamic)

Instances

Objective (Object u)

class (Objective o, Typeable memb, Typeable (ValType o memb)) => Member o memb where

This means that memb is one of the member labels of o. The ValType of the member depends both on the label and (the underlying types of) the object.

Associated Types

type ValType o memb :: *

Methods

memberLens :: memb -> MemberLens o memb

memberLookup :: memb -> Acyclic o (ValType o memb)

Instances

(Typeable Autograph, Typeable (ValType o Autograph), Objective o, UseString o) => Member o Autograph

(Typeable KineticEnergy, Typeable (ValType o KineticEnergy), Objective o, UseReal o, Fractional (UnderlyingReal o)) => Member o KineticEnergy

(Typeable Momentum, Typeable (ValType o Momentum), Objective o, UseReal o, Fractional (UnderlyingReal o)) => Member o Momentum

(Typeable Velocity, Typeable (ValType o Velocity), Objective o, UseReal o, Fractional (UnderlyingReal o)) => Member o Velocity

(Typeable Mass, Typeable (ValType o Mass), Objective o, UseReal o) => Member o Mass

type MemberLens o memb = Member o memb => Simple Traversal o (ValType o memb)

The lens for accessing the Member of the Object.

mkMemberLens

Arguments

:: Member o memb

=> memb

member label

-> MemberLens o memb

generated lens

A utility function for defining a MemberLens .

mkMemberLookupDef

Arguments

:: Member o memb

=> memb

member label

-> Acyclic o (ValType o memb)

default accessor when the record is missing

-> Acyclic o (ValType o memb)

member accessor

A utility function for defining a MemberLookup, with a default computation for the case the member is missing.

mkMemberLookup

Arguments

:: Member o memb

=> memb

member label

-> Acyclic o (ValType o memb)

member accessor

Defining a MemberLookup, without default.

insert :: (Objective o, Member o memb, ValType o memb ~ val, Typeable memb, Typeable val) => memb -> val -> o -> o

Given a pair of Member label and a value, create the data field for the member and inserts the value.

type Acyclic o a = RWST o () (Set TypeRep) Maybe a

Acyclic monad is used to lookup a member of the object with infinite-loop detection.

its :: Member o memb => memb -> Acyclic o (ValType o memb)

acyclically

Arguments

:: Member o memb

=> Acyclic o (ValType o memb)

default accessor when the record is missing

-> memb

member label

-> Acyclic o (ValType o memb)

member accessor