Safe Haskell	None

Data.Object.Dynamic.Types

Synopsis

Documentation

newtype Object u Source

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 Source

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

Constructors

Table
Fields unTable :: Map TypeRep Dynamic

class Objective o whereSource

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

Methods

table :: Simple Iso o Table Source

tableMap :: Simple Iso o (Map TypeRep Dynamic)Source

Instances

Objective (Object u)

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

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

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)Source

The lens for accessing the Member of the Object.

memberLensDef Source

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 membSource

create a MemberLens without any default values.

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

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