Safe Haskell	None
Language	Haskell2010

Accessors.Dynamic

Contents

some utility functions for working with DSimpleEnums

Synopsis

Documentation

type DTree = Either DField DData Source #

data DData Source #

Constructors

DData String DConstructor

Instances

Eq DData Source #
Methods (==) :: DData -> DData -> Bool # (/=) :: DData -> DData -> Bool #
Data DData Source #
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 :: (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 Source #
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 Source #
Methods showsPrec :: Int -> DData -> ShowS # show :: DData -> String # showList :: [DData] -> ShowS #
Generic DData Source #
Associated Types type Rep DData :: * -> * # Methods from :: DData -> Rep DData x # to :: Rep DData x -> DData #
Binary DData Source #
Methods put :: DData -> Put # get :: Get DData # putList :: [DData] -> Put #
Serialize DData Source #
Methods put :: Putter DData # get :: Get DData #
type Rep DData Source #
type Rep DData = D1 (MetaData "DData" "Accessors.Dynamic" "generic-accessors-0.6.0.1-IYuZNoKWOPa1x6z0tnMVfU" False) (C1 (MetaCons "DData" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DConstructor))))

data DConstructor Source #

Constructors

DConstructor String [(Maybe String, DTree)]
DSum DSimpleEnum

Instances

Eq DConstructor Source #
Methods (==) :: DConstructor -> DConstructor -> Bool # (/=) :: DConstructor -> DConstructor -> Bool #
Data DConstructor Source #
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 :: (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 Source #
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 Source #
Methods showsPrec :: Int -> DConstructor -> ShowS # show :: DConstructor -> String # showList :: [DConstructor] -> ShowS #
Generic DConstructor Source #
Associated Types type Rep DConstructor :: * -> * # Methods from :: DConstructor -> Rep DConstructor x # to :: Rep DConstructor x -> DConstructor #
Binary DConstructor Source #
Methods put :: DConstructor -> Put # get :: Get DConstructor # putList :: [DConstructor] -> Put #
Serialize DConstructor Source #
Methods put :: Putter DConstructor # get :: Get DConstructor #
type Rep DConstructor Source #
type Rep DConstructor = D1 (MetaData "DConstructor" "Accessors.Dynamic" "generic-accessors-0.6.0.1-IYuZNoKWOPa1x6z0tnMVfU" False) ((:+:) (C1 (MetaCons "DConstructor" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [(Maybe String, DTree)])))) (C1 (MetaCons "DSum" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DSimpleEnum))))

data DSimpleEnum Source #

Constructors

DSimpleEnum [String] Int

Instances

Eq DSimpleEnum Source #
Methods (==) :: DSimpleEnum -> DSimpleEnum -> Bool # (/=) :: DSimpleEnum -> DSimpleEnum -> Bool #
Data DSimpleEnum Source #
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 :: (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 Source #
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 Source #
Methods showsPrec :: Int -> DSimpleEnum -> ShowS # show :: DSimpleEnum -> String # showList :: [DSimpleEnum] -> ShowS #
Generic DSimpleEnum Source #
Associated Types type Rep DSimpleEnum :: * -> * # Methods from :: DSimpleEnum -> Rep DSimpleEnum x # to :: Rep DSimpleEnum x -> DSimpleEnum #
Binary DSimpleEnum Source #
Methods put :: DSimpleEnum -> Put # get :: Get DSimpleEnum # putList :: [DSimpleEnum] -> Put #
Serialize DSimpleEnum Source #
Methods put :: Putter DSimpleEnum # get :: Get DSimpleEnum #
type Rep DSimpleEnum Source #
type Rep DSimpleEnum = D1 (MetaData "DSimpleEnum" "Accessors.Dynamic" "generic-accessors-0.6.0.1-IYuZNoKWOPa1x6z0tnMVfU" False) (C1 (MetaCons "DSimpleEnum" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [String])) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int))))

data DField Source #

a dynamic field

Constructors

DDouble Double
DFloat Float
DInt Int
DString String
DSorry

Instances

Eq DField Source #
Methods (==) :: DField -> DField -> Bool # (/=) :: DField -> DField -> Bool #
Data DField Source #
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 :: (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 Source #
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 Source #
Methods showsPrec :: Int -> DField -> ShowS # show :: DField -> String # showList :: [DField] -> ShowS #
Generic DField Source #
Associated Types type Rep DField :: * -> * # Methods from :: DField -> Rep DField x # to :: Rep DField x -> DField #
Binary DField Source #
Methods put :: DField -> Put # get :: Get DField # putList :: [DField] -> Put #
Serialize DField Source #
Methods put :: Putter DField # get :: Get DField #
type Rep DField Source #
type Rep DField = D1 (MetaData "DField" "Accessors.Dynamic" "generic-accessors-0.6.0.1-IYuZNoKWOPa1x6z0tnMVfU" False) ((:+:) ((:+:) (C1 (MetaCons "DDouble" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Double))) (C1 (MetaCons "DFloat" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Float)))) ((:+:) (C1 (MetaCons "DInt" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int))) ((:+:) (C1 (MetaCons "DString" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))) (C1 (MetaCons "DSorry" PrefixI False) U1))))

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

convert to a dynamic value

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

Update something using a dynamic representation

describeDField :: DField -> String Source #

sameDFieldType :: DField -> DField -> Bool Source #

Returns True if the type of fields is the same.

some utility functions for working with DSimpleEnums

denumToString :: DSimpleEnum -> Either String String Source #

Get the constructor string or an error message.

denumToStringOrMsg :: DSimpleEnum -> String Source #

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

denumSetString :: DSimpleEnum -> String -> Either String DSimpleEnum Source #

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

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

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