Accessors.Dynamic

Documentation

type DTree = Either DField DData

data DData

Constructors

DData String DConstructor

Instances

Eq DData

Defined in Accessors.Dynamic

Methods

(==) :: DData -> DData -> Bool

(/=) :: DData -> DData -> Bool

Data DData

Defined in Accessors.Dynamic

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DData -> c DData

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DData

toConstr :: DData -> Constr

dataTypeOf :: DData -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DData)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DData)

gmapT :: (forall b. Data b => b -> b) -> DData -> DData

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DData -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DData -> r

gmapQ :: (forall d. Data d => d -> u) -> DData -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> DData -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DData -> m DData

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DData -> m DData

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DData -> m DData

Ord DData

Defined in Accessors.Dynamic

Methods

compare :: DData -> DData -> Ordering

(<) :: DData -> DData -> Bool

(<=) :: DData -> DData -> Bool

(>) :: DData -> DData -> Bool

(>=) :: DData -> DData -> Bool

max :: DData -> DData -> DData

min :: DData -> DData -> DData

Show DData

Defined in Accessors.Dynamic

Methods

showsPrec :: Int -> DData -> ShowS

show :: DData -> String

showList :: [DData] -> ShowS

Generic DData

Defined in Accessors.Dynamic

Associated Types

type Rep DData :: Type -> Type

Methods

from :: DData -> Rep DData x

to :: Rep DData x -> DData

Binary DData

Defined in Accessors.Dynamic

Methods

put :: DData -> Put

get :: Get DData

putList :: [DData] -> Put

Serialize DData

Defined in Accessors.Dynamic

Methods

put :: Putter DData

get :: Get DData

type Rep DData

Defined in Accessors.Dynamic

type Rep DData = D1 ('MetaData "DData" "Accessors.Dynamic" "generic-accessors-0.7.1.0-L9H18b7SnGe5zF1Su5kqVy" 'False) (C1 ('MetaCons "DData" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DConstructor)))

data DConstructor

Constructors

DConstructor String [(Maybe String, DTree)]

DSum DSimpleEnum

Instances

Eq DConstructor

Defined in Accessors.Dynamic

Methods

(==) :: DConstructor -> DConstructor -> Bool

(/=) :: DConstructor -> DConstructor -> Bool

Data DConstructor

Defined in Accessors.Dynamic

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DConstructor -> c DConstructor

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DConstructor

toConstr :: DConstructor -> Constr

dataTypeOf :: DConstructor -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DConstructor)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DConstructor)

gmapT :: (forall b. Data b => b -> b) -> DConstructor -> DConstructor

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DConstructor -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DConstructor -> r

gmapQ :: (forall d. Data d => d -> u) -> DConstructor -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> DConstructor -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DConstructor -> m DConstructor

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DConstructor -> m DConstructor

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DConstructor -> m DConstructor

Ord DConstructor

Defined in Accessors.Dynamic

Methods

compare :: DConstructor -> DConstructor -> Ordering

(<) :: DConstructor -> DConstructor -> Bool

(<=) :: DConstructor -> DConstructor -> Bool

(>) :: DConstructor -> DConstructor -> Bool

(>=) :: DConstructor -> DConstructor -> Bool

max :: DConstructor -> DConstructor -> DConstructor

min :: DConstructor -> DConstructor -> DConstructor

Show DConstructor

Defined in Accessors.Dynamic

Methods

showsPrec :: Int -> DConstructor -> ShowS

show :: DConstructor -> String

showList :: [DConstructor] -> ShowS

Generic DConstructor

Defined in Accessors.Dynamic

Associated Types

type Rep DConstructor :: Type -> Type

Methods

from :: DConstructor -> Rep DConstructor x

to :: Rep DConstructor x -> DConstructor

Binary DConstructor

Defined in Accessors.Dynamic

Methods

put :: DConstructor -> Put

get :: Get DConstructor

putList :: [DConstructor] -> Put

Serialize DConstructor

Defined in Accessors.Dynamic

Methods

put :: Putter DConstructor

get :: Get DConstructor

type Rep DConstructor

Defined in Accessors.Dynamic

type Rep DConstructor = D1 ('MetaData "DConstructor" "Accessors.Dynamic" "generic-accessors-0.7.1.0-L9H18b7SnGe5zF1Su5kqVy" 'False) (C1 ('MetaCons "DConstructor" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(Maybe String, DTree)])) :+: C1 ('MetaCons "DSum" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DSimpleEnum)))

data DSimpleEnum

Constructors

DSimpleEnum [String] Int

Instances

Eq DSimpleEnum

Defined in Accessors.Dynamic

Methods

(==) :: DSimpleEnum -> DSimpleEnum -> Bool

(/=) :: DSimpleEnum -> DSimpleEnum -> Bool

Data DSimpleEnum

Defined in Accessors.Dynamic

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DSimpleEnum -> c DSimpleEnum

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DSimpleEnum

toConstr :: DSimpleEnum -> Constr

dataTypeOf :: DSimpleEnum -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DSimpleEnum)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DSimpleEnum)

gmapT :: (forall b. Data b => b -> b) -> DSimpleEnum -> DSimpleEnum

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DSimpleEnum -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DSimpleEnum -> r

gmapQ :: (forall d. Data d => d -> u) -> DSimpleEnum -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> DSimpleEnum -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DSimpleEnum -> m DSimpleEnum

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DSimpleEnum -> m DSimpleEnum

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DSimpleEnum -> m DSimpleEnum

Ord DSimpleEnum

Defined in Accessors.Dynamic

Methods

compare :: DSimpleEnum -> DSimpleEnum -> Ordering

(<) :: DSimpleEnum -> DSimpleEnum -> Bool

(<=) :: DSimpleEnum -> DSimpleEnum -> Bool

(>) :: DSimpleEnum -> DSimpleEnum -> Bool

(>=) :: DSimpleEnum -> DSimpleEnum -> Bool

max :: DSimpleEnum -> DSimpleEnum -> DSimpleEnum

min :: DSimpleEnum -> DSimpleEnum -> DSimpleEnum

Show DSimpleEnum

Defined in Accessors.Dynamic

Methods

showsPrec :: Int -> DSimpleEnum -> ShowS

show :: DSimpleEnum -> String

showList :: [DSimpleEnum] -> ShowS

Generic DSimpleEnum

Defined in Accessors.Dynamic

Associated Types

type Rep DSimpleEnum :: Type -> Type

Methods

from :: DSimpleEnum -> Rep DSimpleEnum x

to :: Rep DSimpleEnum x -> DSimpleEnum

Binary DSimpleEnum

Defined in Accessors.Dynamic

Methods

put :: DSimpleEnum -> Put

get :: Get DSimpleEnum

putList :: [DSimpleEnum] -> Put

Serialize DSimpleEnum

Defined in Accessors.Dynamic

Methods

put :: Putter DSimpleEnum

get :: Get DSimpleEnum

type Rep DSimpleEnum

Defined in Accessors.Dynamic

type Rep DSimpleEnum = D1 ('MetaData "DSimpleEnum" "Accessors.Dynamic" "generic-accessors-0.7.1.0-L9H18b7SnGe5zF1Su5kqVy" 'False) (C1 ('MetaCons "DSimpleEnum" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [String]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

data DField

a dynamic field

Constructors

DDouble Double

DFloat Float

DInt8 Int8

DInt16 Int16

DInt32 Int32

DInt64 Int64

DWord8 Word8

DWord16 Word16

DWord32 Word32

DWord64 Word64

DString String

DUnit

DSorry

Instances

Eq DField

Defined in Accessors.Dynamic

Methods

(==) :: DField -> DField -> Bool

(/=) :: DField -> DField -> Bool

Data DField

Defined in Accessors.Dynamic

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DField -> c DField

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DField

toConstr :: DField -> Constr

dataTypeOf :: DField -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DField)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DField)

gmapT :: (forall b. Data b => b -> b) -> DField -> DField

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DField -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DField -> r

gmapQ :: (forall d. Data d => d -> u) -> DField -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> DField -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DField -> m DField

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DField -> m DField

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DField -> m DField

Ord DField

Defined in Accessors.Dynamic

Methods

compare :: DField -> DField -> Ordering

(<) :: DField -> DField -> Bool

(<=) :: DField -> DField -> Bool

(>) :: DField -> DField -> Bool

(>=) :: DField -> DField -> Bool

max :: DField -> DField -> DField

min :: DField -> DField -> DField

Show DField

Defined in Accessors.Dynamic

Methods

showsPrec :: Int -> DField -> ShowS

show :: DField -> String

showList :: [DField] -> ShowS

Generic DField

Defined in Accessors.Dynamic

Associated Types

type Rep DField :: Type -> Type

Methods

from :: DField -> Rep DField x

to :: Rep DField x -> DField

Binary DField

Defined in Accessors.Dynamic

Methods

put :: DField -> Put

get :: Get DField

putList :: [DField] -> Put

Serialize DField

Defined in Accessors.Dynamic

Methods

put :: Putter DField

get :: Get DField

type Rep DField

Defined in Accessors.Dynamic

type Rep DField = D1 ('MetaData "DField" "Accessors.Dynamic" "generic-accessors-0.7.1.0-L9H18b7SnGe5zF1Su5kqVy" 'False) (((C1 ('MetaCons "DDouble" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)) :+: (C1 ('MetaCons "DFloat" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Float)) :+: C1 ('MetaCons "DInt8" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int8)))) :+: (C1 ('MetaCons "DInt16" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int16)) :+: (C1 ('MetaCons "DInt32" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int32)) :+: C1 ('MetaCons "DInt64" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64))))) :+: ((C1 ('MetaCons "DWord8" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word8)) :+: (C1 ('MetaCons "DWord16" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)) :+: C1 ('MetaCons "DWord32" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32)))) :+: ((C1 ('MetaCons "DWord64" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)) :+: C1 ('MetaCons "DString" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))) :+: (C1 ('MetaCons "DUnit" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DSorry" 'PrefixI 'False) (U1 :: Type -> Type)))))

toDData :: forall a. Lookup a => a -> DTree

convert to a dynamic value

updateLookupable :: Lookup a => a -> DTree -> Either String a

Update something using a dynamic representation

describeDField :: DField -> String

sameDFieldType :: DField -> DField -> Bool

Returns True if the type of fields is the same.

diffDTrees :: String -> DTree -> DTree -> [String]

some utility functions for working with DSimpleEnums

denumToString :: DSimpleEnum -> Either String String

Get the constructor string or an error message.

denumToStringOrMsg :: DSimpleEnum -> String

Get the constructor string or an error message without telling which is which.

denumSetString :: DSimpleEnum -> String -> Either String DSimpleEnum

Try to update an enum with its constructor. Fail if not a valid constructor.

denumSetIndex :: DSimpleEnum -> Int -> Either String DSimpleEnum

Try to update an enum with its index. Fail if out of bounds.