Portability | non-portable |
---|---|
Stability | experimental |
Maintainer | generics@haskell.org |
Safe Haskell | Safe-Inferred |
Generic read.
- class CountAtoms f where
- countatoms :: f r ix -> Int
- class HReadPrec phi f where
- class Read1 f where
- readCons :: Constructor c => ReadPrec (f I0 ix) -> ReadPrec (C c f I0 ix)
- readPrefixCons :: ReadPrec (f I0 ix) -> Bool -> String -> ReadPrec (f I0 ix)
- readInfixCons :: (HReadPrec phi f, HReadPrec phi g) => phi ix -> (forall ix1. phi ix1 -> ReadPrec (I0 ix1)) -> (Associativity, Int, Bool) -> String -> ReadPrec ((f :*: g) I0 ix)
- readNoArgsCons :: String -> ReadPrec (U I0 ix)
- appPrec :: Int
- readPrec :: (Fam phi, HReadPrec phi (PF phi)) => phi ix -> ReadPrec ix
- readsPrec :: (Fam phi, HReadPrec phi (PF phi)) => phi ix -> Int -> ReadS ix
- read :: (Fam phi, HReadPrec phi (PF phi)) => phi ix -> String -> ix
Documentation
class CountAtoms f whereSource
countatoms :: f r ix -> IntSource
CountAtoms (K a) | |
CountAtoms (I xi) | |
(CountAtoms f, CountAtoms g) => CountAtoms (:*: f g) |
Generic read
class HReadPrec phi f whereSource
hreader :: forall ix. phi ix -> (forall ix1. phi ix1 -> ReadPrec (I0 ix1)) -> ReadPrec (f I0 ix)Source
HReadPrec phi U | |
El phi xi => HReadPrec phi (I xi) | |
Read a => HReadPrec phi (K a) | |
(Constructor c, CountAtoms (:*: f g), HReadPrec phi f, HReadPrec phi g) => HReadPrec phi (C c (:*: f g)) | |
(Constructor c, HReadPrec phi (:.: f g)) => HReadPrec phi (C c (:.: f g)) | |
(Constructor c, HReadPrec phi (K a)) => HReadPrec phi (C c (K a)) | |
(Constructor c, HReadPrec phi (I xi)) => HReadPrec phi (C c (I xi)) | |
Constructor c => HReadPrec phi (C c U) | |
(Read1 f, HReadPrec phi g) => HReadPrec phi (:.: f g) | |
(HReadPrec phi f, EqS phi, El phi ix) => HReadPrec phi (:>: f ix) | |
(HReadPrec phi f, HReadPrec phi g) => HReadPrec phi (:*: f g) | |
(HReadPrec phi f, HReadPrec phi g) => HReadPrec phi (:+: f g) |