Cauldron.Beans

A map of Dynamic values.

Documentation

data Beans

A map of Dynamic values, indexed by the TypeRep of each Dynamic. Maintains the invariant that the TypeRep of the key matches the TypeRep of the Dynamic.

Instances

Monoid Beans

Defined in Cauldron.Beans

Methods

mempty :: Beans

mappend :: Beans -> Beans -> Beans

mconcat :: [Beans] -> Beans

Semigroup Beans

Union of two Beans maps, right-biased: prefers values from the right Beans map when both contain the same TypeRep key. (Note that Map is left-biased.)

Defined in Cauldron.Beans

Methods

(<>) :: Beans -> Beans -> Beans

sconcat :: NonEmpty Beans -> Beans

stimes :: Integral b => b -> Beans -> Beans

IsList Beans

Defined in Cauldron.Beans

Associated Types

type Item Beans

Defined in Cauldron.Beans

type Item Beans = Dynamic

Methods

fromList :: [Item Beans] -> Beans

fromListN :: Int -> [Item Beans] -> Beans

toList :: Beans -> [Item Beans]

Show Beans

Defined in Cauldron.Beans

Methods

showsPrec :: Int -> Beans -> ShowS

show :: Beans -> String

showList :: [Beans] -> ShowS

type Item Beans

Defined in Cauldron.Beans

type Item Beans = Dynamic

empty :: Beans

insert :: Typeable bean => bean -> Beans -> Beans

delete :: TypeRep -> Beans -> Beans

restrictKeys :: Beans -> Set TypeRep -> Beans

Restrict a Beans map to only those TypeReps found in a Set.

keysSet :: Beans -> Set TypeRep

The set of all TypeRep keys of the map.

singleton :: Typeable bean => bean -> Beans

fromDynList :: [Dynamic] -> Beans

>>> :{
let beans = fromDynList [toDyn False, toDyn @Int 5]
 in (taste @Bool beans, taste @Int beans, taste @String beans)
:}
(Just False,Just 5,Nothing)

toDynMap :: Beans -> Map TypeRep Dynamic

Looking for values

taste :: Typeable bean => Beans -> Maybe bean

Check if the Beans map contains a value of type bean.

Monoidal stuff

unionBeansMonoidally :: Set SomeMonoidTypeRep -> Beans -> Beans -> Beans

Union of to Beans maps. If both share a TypeRep key and the key is present in the SomeMonoidTypeRep Set, combine the values monoidally. Otherwise, keep the value from the second Beans map.

data SomeMonoidTypeRep where

Like SomeTypeRep, but also remembering that the type has a Monoid instance, which can be "recovered" after pattern-matching on the SomeMonoidTypeRep.

Constructors

SomeMonoidTypeRep :: forall a. Monoid a => TypeRep a -> SomeMonoidTypeRep

Instances

Show SomeMonoidTypeRep

Defined in Cauldron.Beans

Methods

showsPrec :: Int -> SomeMonoidTypeRep -> ShowS

show :: SomeMonoidTypeRep -> String

showList :: [SomeMonoidTypeRep] -> ShowS

Eq SomeMonoidTypeRep

Defined in Cauldron.Beans

Methods

(==) :: SomeMonoidTypeRep -> SomeMonoidTypeRep -> Bool

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

Ord SomeMonoidTypeRep

Defined in Cauldron.Beans

Methods

compare :: SomeMonoidTypeRep -> SomeMonoidTypeRep -> Ordering

(<) :: SomeMonoidTypeRep -> SomeMonoidTypeRep -> Bool

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

(>) :: SomeMonoidTypeRep -> SomeMonoidTypeRep -> Bool

(>=) :: SomeMonoidTypeRep -> SomeMonoidTypeRep -> Bool

max :: SomeMonoidTypeRep -> SomeMonoidTypeRep -> SomeMonoidTypeRep

min :: SomeMonoidTypeRep -> SomeMonoidTypeRep -> SomeMonoidTypeRep

someMonoidTypeRepMempty :: SomeMonoidTypeRep -> Dynamic

The mempty value corresponding to the inner TypeRep.

Re-exported

toDyn :: Typeable a => a -> Dynamic

Converts an arbitrary value into an object of type Dynamic.

The type of the object must be an instance of Typeable, which ensures that only monomorphically-typed objects may be converted to Dynamic. To convert a polymorphic object into Dynamic, give it a monomorphic type signature. For example:

   toDyn (id :: Int -> Int)