Data.Object.Dynamic.Types

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 :: Map TypeRep Dynamic

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

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 :: *

Instances

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

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

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

(Typeable Velocity, Typeable (ValType o Velocity), Objective o, UseReal 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.

memberLensDef

Arguments

:: Member o memb

=> memb

member label

-> (o -> Maybe (ValType o memb))

default value, in case the member is not in the map

-> MemberLens o memb

generated lens

A utility function for creating a MemberLens .

memberLens :: Member o memb => memb -> MemberLens o memb

create a MemberLens without any default values.

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.