Safe Haskell	Safe
Language	Haskell2010

GHC.TypeLits.Printf.Parse

Synopsis

type ParseFmtStr str = EvalParser FmtStrParser str
type ParseFmtStr_ str = EvalParser_ FmtStrParser str
data FormatAdjustment
- = LeftAdjust
- | ZeroPad
data FormatSign
- = SignPlus
- | SignSpace
data WidthMod
- = WMhh
- | WMh
- | WMl
- | WMll
- | WML
data Flags = Flags {
- fAdjust :: Maybe FormatAdjustment
- fSign :: Maybe FormatSign
- fAlternate :: Bool
}
type EmptyFlags = 'Flags 'Nothing 'Nothing 'False
data FieldFormat = FF {
- fmtFlags :: Flags
- fmtWidth :: Maybe Nat
- fmtPrecision :: Maybe Nat
- fmtWidthMod :: Maybe WidthMod
- fmtChar :: SChar
}
type SChar = Symbol
type family Demote k = a | a -> k
class Reflect (x :: a) where
- reflect :: p x -> Demote a

Documentation

type ParseFmtStr str = EvalParser FmtStrParser str Source #

type ParseFmtStr_ str = EvalParser_ FmtStrParser str Source #

data FormatAdjustment #

Whether to left-adjust or zero-pad a field. These are mutually exclusive, with LeftAdjust taking precedence.

Since: base-4.7.0.0

Constructors

LeftAdjust
ZeroPad

Instances

Instances details

Reflect 'ZeroPad Source #
Instance details Defined in GHC.TypeLits.Printf.Parse Methods reflect :: p 'ZeroPad -> Demote a Source #
Reflect 'LeftAdjust Source #
Instance details Defined in GHC.TypeLits.Printf.Parse Methods reflect :: p 'LeftAdjust -> Demote a Source #
type Demote FormatAdjustment Source #
Instance details Defined in GHC.TypeLits.Printf.Parse type Demote FormatAdjustment = FormatAdjustment

data FormatSign #

How to handle the sign of a numeric field. These are mutually exclusive, with SignPlus taking precedence.

Since: base-4.7.0.0

Constructors

SignPlus
SignSpace

Instances

Instances details

Reflect 'SignSpace Source #
Instance details Defined in GHC.TypeLits.Printf.Parse Methods reflect :: p 'SignSpace -> Demote a Source #
Reflect 'SignPlus Source #
Instance details Defined in GHC.TypeLits.Printf.Parse Methods reflect :: p 'SignPlus -> Demote a Source #
type Demote FormatSign Source #
Instance details Defined in GHC.TypeLits.Printf.Parse type Demote FormatSign = FormatSign

data WidthMod Source #

Constructors

WMhh
WMh
WMl
WMll
WML

Instances

Instances details

Reflect 'WMhh Source #
Instance details Defined in GHC.TypeLits.Printf.Parse Methods reflect :: p 'WMhh -> Demote a Source #
Reflect 'WMh Source #
Instance details Defined in GHC.TypeLits.Printf.Parse Methods reflect :: p 'WMh -> Demote a Source #
Reflect 'WMl Source #
Instance details Defined in GHC.TypeLits.Printf.Parse Methods reflect :: p 'WMl -> Demote a Source #
Reflect 'WMll Source #
Instance details Defined in GHC.TypeLits.Printf.Parse Methods reflect :: p 'WMll -> Demote a Source #
Reflect 'WML Source #
Instance details Defined in GHC.TypeLits.Printf.Parse Methods reflect :: p 'WML -> Demote a Source #
type Demote WidthMod Source #
Instance details Defined in GHC.TypeLits.Printf.Parse type Demote WidthMod = WidthMod

data Flags Source #

Constructors

Flags
Fields fAdjust :: Maybe FormatAdjustment fSign :: Maybe FormatSign fAlternate :: Bool

Instances

Instances details

(Reflect d, Reflect i, Reflect l) => Reflect ('Flags d i l :: Flags) Source #
Instance details Defined in GHC.TypeLits.Printf.Parse Methods reflect :: p ('Flags d i l) -> Demote a Source #
type Demote Flags Source #
Instance details Defined in GHC.TypeLits.Printf.Parse type Demote Flags = Flags

type EmptyFlags = 'Flags 'Nothing 'Nothing 'False Source #

data FieldFormat Source #

Constructors

FF
Fields fmtFlags :: Flags fmtWidth :: Maybe Nat fmtPrecision :: Maybe Nat fmtWidthMod :: Maybe WidthMod fmtChar :: SChar

Instances

Instances details

(Reflect flags, Reflect width, Reflect prec, Reflect mods, Reflect chr) => Reflect ('FF flags width prec mods chr :: FieldFormat) Source #
Instance details Defined in GHC.TypeLits.Printf.Parse Methods reflect :: p ('FF flags width prec mods chr) -> Demote a Source #
FormatFun ('[] :: [Either Symbol FieldFormat]) String Source #
Instance details Defined in GHC.TypeLits.Printf.Internal Methods formatFun :: p '[] -> String -> String Source #
RFormat ('[] :: [Either Symbol FieldFormat]) ('[] :: [SChar]) Source #
Instance details Defined in GHC.TypeLits.Printf.Internal Methods rformat :: p '[] -> FormatArgs '[] -> ShowS Source #
(KnownSymbol str, FormatFun ffs fun) => FormatFun (('Left str :: Either Symbol FieldFormat) ': ffs) fun Source #
Instance details Defined in GHC.TypeLits.Printf.Internal Methods formatFun :: p ('Left str ': ffs) -> String -> fun Source #
(KnownSymbol str, RFormat ffs ps) => RFormat (('Left str :: Either Symbol FieldFormat) ': ffs) ps Source #
Instance details Defined in GHC.TypeLits.Printf.Internal Methods rformat :: p ('Left str ': ffs) -> FormatArgs ps -> ShowS Source #
(Reflect ff, ff ~ 'FF f w p m c, FormatChar c a, FormatFun ffs fun) => FormatFun (('Right ff :: Either Symbol FieldFormat) ': ffs) (a -> fun) Source #
Instance details Defined in GHC.TypeLits.Printf.Internal Methods formatFun :: p ('Right ff ': ffs) -> String -> a -> fun Source #
(Reflect ff, ff ~ 'FF f w p m c, RFormat ffs ps) => RFormat (('Right ff :: Either Symbol FieldFormat) ': ffs) (c ': ps) Source #
Instance details Defined in GHC.TypeLits.Printf.Internal Methods rformat :: p ('Right ff ': ffs) -> FormatArgs (c ': ps) -> ShowS Source #
type Demote FieldFormat Source #
Instance details Defined in GHC.TypeLits.Printf.Parse type Demote FieldFormat = FieldFormat

type SChar = Symbol Source #

A type synonym for a single-character symbol

type family Demote k = a | a -> k Source #

Instances

Instances details

type Demote Bool Source #
Instance details Defined in GHC.TypeLits.Printf.Parse type Demote Bool = Bool
type Demote Nat Source #
Instance details Defined in GHC.TypeLits.Printf.Parse type Demote Nat = Natural
type Demote Symbol Source #
Instance details Defined in GHC.TypeLits.Printf.Parse type Demote Symbol = Text
type Demote FormatAdjustment Source #
Instance details Defined in GHC.TypeLits.Printf.Parse type Demote FormatAdjustment = FormatAdjustment
type Demote FormatSign Source #
Instance details Defined in GHC.TypeLits.Printf.Parse type Demote FormatSign = FormatSign
type Demote FieldFormat Source #
Instance details Defined in GHC.TypeLits.Printf.Parse type Demote FieldFormat = FieldFormat
type Demote WidthMod Source #
Instance details Defined in GHC.TypeLits.Printf.Parse type Demote WidthMod = WidthMod
type Demote Flags Source #
Instance details Defined in GHC.TypeLits.Printf.Parse type Demote Flags = Flags
type Demote (Maybe a) Source #
Instance details Defined in GHC.TypeLits.Printf.Parse type Demote (Maybe a) = Maybe (Demote a)

class Reflect (x :: a) where Source #

Methods

reflect :: p x -> Demote a Source #

Instances

Instances details

Reflect 'False Source #
Instance details Defined in GHC.TypeLits.Printf.Parse Methods reflect :: p 'False -> Demote a Source #
Reflect 'True Source #
Instance details Defined in GHC.TypeLits.Printf.Parse Methods reflect :: p 'True -> Demote a Source #
KnownNat n => Reflect (n :: Nat) Source #
Instance details Defined in GHC.TypeLits.Printf.Parse Methods reflect :: p n -> Demote a Source #
KnownSymbol n => Reflect (n :: Symbol) Source #
Instance details Defined in GHC.TypeLits.Printf.Parse Methods reflect :: p n -> Demote a Source #
Reflect 'ZeroPad Source #
Instance details Defined in GHC.TypeLits.Printf.Parse Methods reflect :: p 'ZeroPad -> Demote a Source #
Reflect 'LeftAdjust Source #
Instance details Defined in GHC.TypeLits.Printf.Parse Methods reflect :: p 'LeftAdjust -> Demote a Source #
Reflect 'SignSpace Source #
Instance details Defined in GHC.TypeLits.Printf.Parse Methods reflect :: p 'SignSpace -> Demote a Source #
Reflect 'SignPlus Source #
Instance details Defined in GHC.TypeLits.Printf.Parse Methods reflect :: p 'SignPlus -> Demote a Source #
Reflect 'WMhh Source #
Instance details Defined in GHC.TypeLits.Printf.Parse Methods reflect :: p 'WMhh -> Demote a Source #
Reflect 'WMh Source #
Instance details Defined in GHC.TypeLits.Printf.Parse Methods reflect :: p 'WMh -> Demote a Source #
Reflect 'WMl Source #
Instance details Defined in GHC.TypeLits.Printf.Parse Methods reflect :: p 'WMl -> Demote a Source #
Reflect 'WMll Source #
Instance details Defined in GHC.TypeLits.Printf.Parse Methods reflect :: p 'WMll -> Demote a Source #
Reflect 'WML Source #
Instance details Defined in GHC.TypeLits.Printf.Parse Methods reflect :: p 'WML -> Demote a Source #
(Reflect d, Reflect i, Reflect l) => Reflect ('Flags d i l :: Flags) Source #
Instance details Defined in GHC.TypeLits.Printf.Parse Methods reflect :: p ('Flags d i l) -> Demote a Source #
(Reflect flags, Reflect width, Reflect prec, Reflect mods, Reflect chr) => Reflect ('FF flags width prec mods chr :: FieldFormat) Source #
Instance details Defined in GHC.TypeLits.Printf.Parse Methods reflect :: p ('FF flags width prec mods chr) -> Demote a Source #
Reflect ('Nothing :: Maybe a) Source #
Instance details Defined in GHC.TypeLits.Printf.Parse Methods reflect :: p 'Nothing -> Demote a0 Source #
Reflect x => Reflect ('Just x :: Maybe a) Source #
Instance details Defined in GHC.TypeLits.Printf.Parse Methods reflect :: p ('Just x) -> Demote a0 Source #