Generic readPrec.
instance Read MyType where
readPrec = Text.Read.greadPrec
readListPrec = readListPrecDefault
Modulegeneric-data-1.1.0.2Haskell2010
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.
- 3 types
- 6 classes
- 9 values
- Packagegeneric-data-1.1.0.2
- Exports18
- LanguageHaskell2010
- LicenceMIT
- SourceRead.hs
Generic representation of Read types.
Generic liftReadPrec.
Generic representation of Read1 types.
Instances4GRead
GRead p V1Defined in generic-data-1.1.0.2 · Generic.Data.Internal.Read(GRead p f, GRead p g) => GRead p (f :+: g)Defined in generic-data-1.1.0.2 · Generic.Data.Internal.Read(GRead p f, IsNullaryDataType f) => GRead p (M1 D d f)Defined in generic-data-1.1.0.2 · Generic.Data.Internal.Read(Constructor c, GReadC p c f) => GRead p (M1 C c f)Defined in generic-data-1.1.0.2 · Generic.Data.Internal.Read
Methods
isNullaryDataType :: f a -> Bool
Instances3IsNullaryDataType
IsNullaryDataType V1Defined in generic-data-1.1.0.2 · Generic.Data.Internal.ReadIsNullaryDataType (C1 c f)Defined in generic-data-1.1.0.2 · Generic.Data.Internal.ReadIsNullaryDataType (f :+: g)Defined in generic-data-1.1.0.2 · Generic.Data.Internal.Read
Instances2GReadC
GReadFields p f => GReadC p ('MetaCons s y 'False) fDefined in generic-data-1.1.0.2 · Generic.Data.Internal.ReadGReadNamed p f => GReadC p ('MetaCons s y 'True) fDefined in generic-data-1.1.0.2 · Generic.Data.Internal.Read
Methods
gPrecReadFields :: p (ReadPrec a, ReadPrec [a]) -> ReadPrecTree (f a)
Instances3GReadFields
GReadFields p U1Defined in generic-data-1.1.0.2 · Generic.Data.Internal.Read(GReadFields p f, GReadFields p g) => GReadFields p (f :*: g)Defined in generic-data-1.1.0.2 · Generic.Data.Internal.ReadGReadSingle p f => GReadFields p (M1 S c f)Defined in generic-data-1.1.0.2 · Generic.Data.Internal.Read
Methods
gPrecReadNamed :: p (ReadPrec a, ReadPrec [a]) -> ReadPrec (f a)
Instances3GReadNamed
GReadNamed p U1Defined in generic-data-1.1.0.2 · Generic.Data.Internal.Read(GReadNamed p f, GReadNamed p g) => GReadNamed p (f :*: g)Defined in generic-data-1.1.0.2 · Generic.Data.Internal.Read(Selector c, GReadSingle p f) => GReadNamed p (M1 S c f)Defined in generic-data-1.1.0.2 · Generic.Data.Internal.Read
Methods
gPrecReadSingle :: p (ReadPrec a, ReadPrec [a]) -> ReadPrec (f a)
Instances4GReadSingle
GReadSingle Identity Par1Defined in generic-data-1.1.0.2 · Generic.Data.Internal.ReadRead1 f => GReadSingle Identity (Rec1 f)Defined in generic-data-1.1.0.2 · Generic.Data.Internal.ReadRead a => GReadSingle p (K1 i a)Defined in generic-data-1.1.0.2 · Generic.Data.Internal.Read(Read1 f, GReadSingle p g) => GReadSingle p (f :.: g)Defined in generic-data-1.1.0.2 · Generic.Data.Internal.Read
A backwards-compatible version of liftReadPrec. This is needed for
compatibility with base-4.9, where Read1 only offers liftReadsPrec,
not liftReadPrec.
Constructors
U1Leaf :: ReadPrecTree (U1 a1)M1Leaf :: ReadPrec (f a1) -> ReadPrecTree (M1 i c f a1)Branch :: ReadPrecTree (f a1) -> ReadPrecTree (g a1) -> ReadPrecTree ((:*:) f g a1)