Safe Haskell | None |
---|---|
Language | Haskell2010 |
- type Factory constr = HashMap TypeRep (Cell1 Proxy constr)
- runFactory :: Factory constr -> TypeRep -> Maybe (Cell1 Proxy constr)
- class HasFactory constr where
- makeFactory :: Name -> DecsQ
- putCell1 :: forall constr f. HasFactory constr => (forall a. constr a => Putter (f a)) -> Putter (Cell1 f constr)
- getCell1 :: forall constr f. HasFactory constr => (forall a. constr a => Get (f a)) -> Get (Cell1 f constr)