Data.Symbol.Examples.Printf

Documentation

test :: String

data Specifier

Constructors

D

S

Lit Symbol

Instances

FormatF ([] :: [Specifier]) String

Defined in Data.Symbol.Examples.Printf

Methods

formatF :: String -> String

(FormatF rest fun, KnownSymbol l) => FormatF (Lit l ': rest) fun

Defined in Data.Symbol.Examples.Printf

Methods

formatF :: String -> fun

FormatF rest fun => FormatF (D ': rest) (Int -> fun)

Defined in Data.Symbol.Examples.Printf

Methods

formatF :: String -> Int -> fun

FormatF rest fun => FormatF (S ': rest) (String -> fun)

Defined in Data.Symbol.Examples.Printf

Methods

formatF :: String -> String -> fun

class FormatF (format :: [Specifier]) fun | format -> fun where

Methods

formatF :: String -> fun

Instances

FormatF ([] :: [Specifier]) String

Defined in Data.Symbol.Examples.Printf

Methods

formatF :: String -> String

(FormatF rest fun, KnownSymbol l) => FormatF (Lit l ': rest) fun

Defined in Data.Symbol.Examples.Printf

Methods

formatF :: String -> fun

FormatF rest fun => FormatF (D ': rest) (Int -> fun)

Defined in Data.Symbol.Examples.Printf

Methods

formatF :: String -> Int -> fun

FormatF rest fun => FormatF (S ': rest) (String -> fun)

Defined in Data.Symbol.Examples.Printf

Methods

formatF :: String -> String -> fun

class PrintF (sym :: Symbol) fun where

Methods

printf :: fun

Instances

(Listify sym lst, fmt ~ Parse lst, FormatF fmt fun) => PrintF sym fun

Defined in Data.Symbol.Examples.Printf

Methods

printf :: fun

type family Parse (lst :: [Symbol]) :: [Specifier] where ...

Equations

Parse '[] = '[Lit ""]

Parse ("%" ': ("d" ': xs)) = D ': Parse xs

Parse ("%" ': ("s" ': xs)) = S ': Parse xs

Parse (x ': xs) = Parse2 x (Parse xs)

type family Parse2 (c :: Symbol) (lst :: [Specifier]) :: [Specifier] where ...

Equations

Parse2 c (Lit s ': ss) = Lit (AppendSymbol c s) ': ss

Parse2 c ss = Lit c ': ss