Yi.Dynamic
- 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.
Instances
| 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.
Instances
type DynamicValues = Map String DynamicSource
An extensible record, indexed by type