generic-data-functions-0.6.0: Familiar functions lifted to generic data types
Safe HaskellSafe-Inferred
LanguageGHC2021

Generic.Data.MetaParse.Internal

Synopsis

Documentation

data Raw Source #

Type-level parser tag. Return the string unparsed.

Instances

Instances details
CstrParser Raw Source # 
Instance details

Defined in Generic.Data.MetaParse.Cstr

Associated Types

type ParseCstr Raw str :: Either ErrorMessage (CstrParseResult tag :: Type) Source #

type ReifyCstrParseResult Raw x Source #

CstrParser' Raw Source # 
Instance details

Defined in Generic.Data.MetaParse.Cstr

Associated Types

type CstrParseResult Raw :: k1 Source #

type CstrParseResult Raw Source # 
Instance details

Defined in Generic.Data.MetaParse.Cstr

type CstrParseResult Raw = Symbol
type ParseCstr Raw str Source # 
Instance details

Defined in Generic.Data.MetaParse.Cstr

type ParseCstr Raw str = 'Right str :: Either ErrorMessage Symbol
type ReifyCstrParseResult Raw (str :: CstrParseResult Raw :: Type) Source # 
Instance details

Defined in Generic.Data.MetaParse.Cstr

type ReifyCstrParseResult Raw (str :: CstrParseResult Raw :: Type) = KnownSymbol str