- class Typeable a => Initializable a where
- initial :: a
- toDyn :: Initializable a => a -> Dynamic
- fromDynamic :: forall a. Typeable a => Dynamic -> Maybe a
- dynamicValueA :: Initializable a => Accessor DynamicValues a
- emptyDV :: DynamicValues
- class Typeable a
- data Dynamic
- type DynamicValues = Map String Dynamic
Documentation
class Typeable a => Initializable a whereSource
Class of values that can go in the extensible state component
The default value. If a function tries to get a copy of the state, but the state
hasn't yet been created, initial
will be called to supply *some* value. The value
of initial will probably be something like Nothing, [], "", or Data.Sequence.empty
- compare
the mempty
of Data.Monoid.
Initializable RegionStyle | |
Initializable TempBufferNameHint | |
Initializable Completion | |
Initializable History | |
Initializable Isearch | |
Initializable DiredOpState | |
Initializable DiredState | |
Initializable NamesCache | |
Initializable TagsFileList | |
Initializable Tags | |
Initializable CabalBuffer | |
Initializable ViCmd | |
Initializable VimTagStack | |
Initializable AbellaBuffer | |
Initializable JSBuffer | |
Initializable DependentMarks | |
Initializable BufferMarks | |
Initializable GhciBuffer | |
Typeable a => Initializable (Maybe a) | |
Typeable a => Initializable (Seq a) | |
(Typeable k, Typeable v) => Initializable (Map k v) |
toDyn :: Initializable a => a -> DynamicSource
fromDynamic :: forall a. Typeable a => Dynamic -> Maybe aSource
dynamicValueA :: Initializable a => Accessor DynamicValues aSource
Accessor for a dynamic component
emptyDV :: DynamicValuesSource
The empty record
class Typeable a
The class Typeable
allows a concrete representation of a type to
be calculated.
type DynamicValues = Map String DynamicSource
An extensible record, indexed by type