- 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