existential-0.2.0.0: Existential types with lens-like accessors.

Safe HaskellNone
LanguageHaskell2010

Data.Factory

Synopsis

Documentation

type Factory constr = HashMap TypeRep (Cell1 Proxy constr) Source #

runFactory :: Factory constr -> TypeRep -> Maybe (Cell1 Proxy constr) Source #

class HasFactory constr where Source #

Minimal complete definition

factory

Methods

factory :: Proxy constr -> Factory constr Source #

putCell1 :: forall constr f. HasFactory constr => (forall a. constr a => Putter (f a)) -> Putter (Cell1 f constr) Source #

Serialize Cells

getCell1 :: forall constr f. HasFactory constr => (forall a. constr a => Get (f a)) -> Get (Cell1 f constr) Source #