Generic.Data.Internal.Read

Generic implementation of Read

Warning

This is an internal module: it is not subject to any versioning policy, breaking changes can happen at any time.

If something here seems useful, please report it or create a pull request to export it from an external module.

Documentation

greadPrec :: (Generic a, GRead0 (Rep a)) => ReadPrec a

Generic readPrec.

instance Read MyType where
  readPrec = greadPrec
  readListPrec = readListPrecDefault

type GRead0 = GRead Proxy

Generic representation of Read types.

gliftReadPrec :: (Generic1 f, GRead1 (Rep1 f)) => ReadPrec a -> ReadPrec [a] -> ReadPrec (f a)

Generic liftReadPrec.

type GRead1 = GRead Identity

Generic representation of Read1 types.

class GRead p f where

Methods

gPrecRead :: p (ReadPrec a, ReadPrec [a]) -> ReadPrec (f a)

Instances

GRead p (V1 :: Type -> Type)

Defined in Generic.Data.Internal.Read

Methods

gPrecRead :: p (ReadPrec a, ReadPrec [a]) -> ReadPrec (V1 a)

(GRead p f, GRead p g) => GRead p (f :+: g)

Defined in Generic.Data.Internal.Read

Methods

gPrecRead :: p (ReadPrec a, ReadPrec [a]) -> ReadPrec ((f :+: g) a)

(Constructor c, GReadC p c f) => GRead p (M1 C c f)

Defined in Generic.Data.Internal.Read

Methods

gPrecRead :: p (ReadPrec a, ReadPrec [a]) -> ReadPrec (M1 C c f a)

(GRead p f, IsNullaryDataType f) => GRead p (M1 D d f)

Defined in Generic.Data.Internal.Read

Methods

gPrecRead :: p (ReadPrec a, ReadPrec [a]) -> ReadPrec (M1 D d f a)

class IsNullaryDataType f where

Methods

isNullaryDataType :: f a -> Bool

Instances

IsNullaryDataType (V1 :: Type -> Type)

Defined in Generic.Data.Internal.Read

Methods

isNullaryDataType :: V1 a -> Bool

IsNullaryDataType (f :+: g)

Defined in Generic.Data.Internal.Read

Methods

isNullaryDataType :: (f :+: g) a -> Bool

IsNullaryDataType (C1 c f)

Defined in Generic.Data.Internal.Read

Methods

isNullaryDataType :: C1 c f a -> Bool

class GReadC p c f where

Methods

gPrecReadC :: p (ReadPrec a, ReadPrec [a]) -> String -> Fixity -> ReadPrec (M1 C c f a)

Instances

GReadNamed p f => GReadC p ('MetaCons s y 'True) f

Defined in Generic.Data.Internal.Read

Methods

gPrecReadC :: p (ReadPrec a, ReadPrec [a]) -> String -> Fixity -> ReadPrec (M1 C ('MetaCons s y 'True) f a)

GReadFields p f => GReadC p ('MetaCons s y 'False) f

Defined in Generic.Data.Internal.Read

Methods

gPrecReadC :: p (ReadPrec a, ReadPrec [a]) -> String -> Fixity -> ReadPrec (M1 C ('MetaCons s y 'False) f a)

class GReadFields p f where

Methods

gPrecReadFields :: p (ReadPrec a, ReadPrec [a]) -> ReadPrecTree (f a)

Instances

GReadFields p (U1 :: Type -> Type)

Defined in Generic.Data.Internal.Read

Methods

gPrecReadFields :: p (ReadPrec a, ReadPrec [a]) -> ReadPrecTree (U1 a)

(GReadFields p f, GReadFields p g) => GReadFields p (f :*: g)

Defined in Generic.Data.Internal.Read

Methods

gPrecReadFields :: p (ReadPrec a, ReadPrec [a]) -> ReadPrecTree ((f :*: g) a)

GReadSingle p f => GReadFields p (M1 S c f)

Defined in Generic.Data.Internal.Read

Methods

gPrecReadFields :: p (ReadPrec a, ReadPrec [a]) -> ReadPrecTree (M1 S c f a)

class GReadNamed p f where

Methods

gPrecReadNamed :: p (ReadPrec a, ReadPrec [a]) -> ReadPrec (f a)

Instances

GReadNamed p (U1 :: Type -> Type)

Defined in Generic.Data.Internal.Read

Methods

gPrecReadNamed :: p (ReadPrec a, ReadPrec [a]) -> ReadPrec (U1 a)

(GReadNamed p f, GReadNamed p g) => GReadNamed p (f :*: g)

Defined in Generic.Data.Internal.Read

Methods

gPrecReadNamed :: p (ReadPrec a, ReadPrec [a]) -> ReadPrec ((f :*: g) a)

(Selector c, GReadSingle p f) => GReadNamed p (M1 S c f)

Defined in Generic.Data.Internal.Read

Methods

gPrecReadNamed :: p (ReadPrec a, ReadPrec [a]) -> ReadPrec (M1 S c f a)

class GReadSingle p f where

Methods

gPrecReadSingle :: p (ReadPrec a, ReadPrec [a]) -> ReadPrec (f a)

Instances

GReadSingle Identity Par1

Defined in Generic.Data.Internal.Read

Methods

gPrecReadSingle :: Identity (ReadPrec a, ReadPrec [a]) -> ReadPrec (Par1 a)

Read1 f => GReadSingle Identity (Rec1 f)

Defined in Generic.Data.Internal.Read

Methods

gPrecReadSingle :: Identity (ReadPrec a, ReadPrec [a]) -> ReadPrec (Rec1 f a)

Read a => GReadSingle p (K1 i a :: Type -> Type)

Defined in Generic.Data.Internal.Read

Methods

gPrecReadSingle :: p (ReadPrec a0, ReadPrec [a0]) -> ReadPrec (K1 i a a0)

(Read1 f, GReadSingle p g) => GReadSingle p (f :.: g)

Defined in Generic.Data.Internal.Read

Methods

gPrecReadSingle :: p (ReadPrec a, ReadPrec [a]) -> ReadPrec ((f :.: g) a)

coerceM1 :: ReadPrec (f p) -> ReadPrec (M1 i c f p)

liftReadPrecCompat :: Read1 f => (ReadPrec a, ReadPrec [a]) -> ReadPrec (f a)

A backwards-compatible version of liftReadPrec. This is needed for compatibility with base-4.9, where Read1 only offers liftReadsPrec, not liftReadPrec.

data ReadPrecTree a where

Constructors

U1Leaf :: ReadPrecTree (U1 a)

M1Leaf :: ReadPrec (f a) -> ReadPrecTree (M1 i c f a)

Branch :: ReadPrecTree (f a) -> ReadPrecTree (g a) -> ReadPrecTree ((f :*: g) a)

toReadPrec :: ReadPrecTree a -> ReadPrec a

identHLexemes :: String -> [Lexeme]

readPrefixCon :: String -> ReadPrec ()

readSurround :: Char -> ReadPrec a -> Char -> ReadPrec a

snocView :: [a] -> Maybe ([a], a)