Generics.MultiRec.Read

Generic read.

Documentation

class CountAtoms f where

Methods

countatoms :: f r ix -> Int

Instances

CountAtoms (K a)

CountAtoms (I xi)

(CountAtoms f, CountAtoms g) => CountAtoms ((:*:) f g)

Generic read

class HReadPrec phi f where

Methods

hreader :: forall ix. phi ix -> (forall ix1. phi ix1 -> ReadPrec (I0 ix1)) -> ReadPrec (f I0 ix)

Instances

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)

class Read1 f where

Methods

read1 :: ReadPrec (g I0 ix) -> ReadPrec (f (g I0 ix))

Instances

Read1 []

Read1 Maybe

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