Module
Text.Printf
- Package
- purescript-printf
- Repository
- eternasuno/purescript-printf
#Format Source
class Format :: SList -> Type -> Constraint
class Format (spec :: SList) fn | spec -> fn where
Members
Instances
Format SNil String
(IsSymbol common, Format rest fn) => Format (SCons (Common common) rest) fn
(IsSymbol controls, Format rest fn) => Format (SCons (D controls) rest) (Int -> fn)
(IsSymbol controls, Format rest fn) => Format (SCons (F controls) rest) (Number -> fn)
(IsSymbol controls, Format rest fn) => Format (SCons (S controls) rest) (String -> fn)
#Parse Source
class Parse :: Symbol -> Symbol -> Symbol -> Symbol -> SList -> Constraint
class Parse (mode :: Symbol) (head :: Symbol) (tail :: Symbol) (acc :: Symbol) (spec :: SList) | mode head tail acc -> spec
Instances
(Cons head' tail' tail, Parse "spec" head' tail' "" spec) => Parse "traverse" "%" tail acc (SCons (Common acc) spec)
(Append acc head acc') => Parse "traverse" head "" acc (SCons (Common acc') SNil)
(Cons head' tail' tail, Append acc head acc', Parse "traverse" head' tail' acc' spec) => Parse "traverse" head tail acc spec
Parse "spec" "%" "" "" (SCons (Common "%") SNil)
(Cons head' tail' tail, Parse "traverse" head' tail' "" spec) => Parse "spec" "%" tail "" (SCons (Common "%") spec)
(Cons head' tail' tail, Parse "spec1" head' tail' "+" spec) => Parse "spec" "+" tail "" spec
(Cons head' tail' tail, Parse "spec2" head' tail' "-" spec) => Parse "spec" "-" tail "" spec
(Cons head' tail' tail, Parse "spec2\'" head' tail' "\'" spec) => Parse "spec" "\'" tail "" spec
(Cons head' tail' tail, Parse "spec3" head' tail' "0" spec) => Parse "spec" "0" tail "" spec
(Cons head' tail' tail, Parse "spec3" head' tail' "1" spec) => Parse "spec" "1" tail "" spec
(Cons head' tail' tail, Parse "spec3" head' tail' "2" spec) => Parse "spec" "2" tail "" spec
(Cons head' tail' tail, Parse "spec3" head' tail' "3" spec) => Parse "spec" "3" tail "" spec
(Cons head' tail' tail, Parse "spec3" head' tail' "4" spec) => Parse "spec" "4" tail "" spec
(Cons head' tail' tail, Parse "spec3" head' tail' "5" spec) => Parse "spec" "5" tail "" spec
(Cons head' tail' tail, Parse "spec3" head' tail' "6" spec) => Parse "spec" "6" tail "" spec
(Cons head' tail' tail, Parse "spec3" head' tail' "7" spec) => Parse "spec" "7" tail "" spec
(Cons head' tail' tail, Parse "spec3" head' tail' "8" spec) => Parse "spec" "8" tail "" spec
(Cons head' tail' tail, Parse "spec3" head' tail' "9" spec) => Parse "spec" "9" tail "" spec
(Cons head' tail' tail, Parse "spec4" head' tail' "." spec) => Parse "spec" "." tail "" spec
Parse "spec" "d" "" "" (SCons (D "") SNil)
Parse "spec" "f" "" "" (SCons (F "") SNil)
Parse "spec" "s" "" "" (SCons (S "") SNil)
(Cons head' tail' tail, Parse "traverse" head' tail' "" spec) => Parse "spec" "d" tail "" (SCons (D "") spec)
(Cons head' tail' tail, Parse "traverse" head' tail' "" spec) => Parse "spec" "f" tail "" (SCons (F "") spec)
(Cons head' tail' tail, Parse "traverse" head' tail' "" spec) => Parse "spec" "s" tail "" (SCons (S "") spec)
(Cons head' tail' tail, Append acc "-" acc', Parse "spec2" head' tail' acc' spec) => Parse "spec1" "-" tail acc spec
(Cons head' tail' tail, Append acc "\'" acc', Parse "spec2\'" head' tail' acc' spec) => Parse "spec1" "\'" tail acc spec
(Cons head' tail' tail, Append acc "0" acc', Parse "spec3" head' tail' acc' spec) => Parse "spec1" "0" tail acc spec
(Cons head' tail' tail, Append acc "1" acc', Parse "spec3" head' tail' acc' spec) => Parse "spec1" "1" tail acc spec
(Cons head' tail' tail, Append acc "2" acc', Parse "spec3" head' tail' acc' spec) => Parse "spec1" "2" tail acc spec
(Cons head' tail' tail, Append acc "3" acc', Parse "spec3" head' tail' acc' spec) => Parse "spec1" "3" tail acc spec
(Cons head' tail' tail, Append acc "4" acc', Parse "spec3" head' tail' acc' spec) => Parse "spec1" "4" tail acc spec
(Cons head' tail' tail, Append acc "5" acc', Parse "spec3" head' tail' acc' spec) => Parse "spec1" "5" tail acc spec
(Cons head' tail' tail, Append acc "6" acc', Parse "spec3" head' tail' acc' spec) => Parse "spec1" "6" tail acc spec
(Cons head' tail' tail, Append acc "7" acc', Parse "spec3" head' tail' acc' spec) => Parse "spec1" "7" tail acc spec
(Cons head' tail' tail, Append acc "8" acc', Parse "spec3" head' tail' acc' spec) => Parse "spec1" "8" tail acc spec
(Cons head' tail' tail, Append acc "9" acc', Parse "spec3" head' tail' acc' spec) => Parse "spec1" "9" tail acc spec
(Cons head' tail' tail, Append acc "." acc', Parse "spec4" head' tail' acc' spec) => Parse "spec1" "." tail acc spec
Parse "spec1" "d" "" acc (SCons (D acc) SNil)
Parse "spec1" "f" "" acc (SCons (F acc) SNil)
Parse "spec1" "s" "" acc (SCons (S acc) SNil)
(Cons head' tail' tail, Parse "traverse" head' tail' "" spec) => Parse "spec1" "d" tail acc (SCons (D acc) spec)
(Cons head' tail' tail, Parse "traverse" head' tail' "" spec) => Parse "spec1" "f" tail acc (SCons (F acc) spec)
(Cons head' tail' tail, Parse "traverse" head' tail' "" spec) => Parse "spec1" "s" tail acc (SCons (S acc) spec)
(Cons head' tail' tail, Append acc "\'" acc', Parse "spec2\'" head' tail' acc' spec) => Parse "spec2" "\'" tail acc spec
(Cons head' tail' tail, Append acc "0" acc', Parse "spec3" head' tail' acc' spec) => Parse "spec2" "0" tail acc spec
(Cons head' tail' tail, Append acc "1" acc', Parse "spec3" head' tail' acc' spec) => Parse "spec2" "1" tail acc spec
(Cons head' tail' tail, Append acc "2" acc', Parse "spec3" head' tail' acc' spec) => Parse "spec2" "2" tail acc spec
(Cons head' tail' tail, Append acc "3" acc', Parse "spec3" head' tail' acc' spec) => Parse "spec2" "3" tail acc spec
(Cons head' tail' tail, Append acc "4" acc', Parse "spec3" head' tail' acc' spec) => Parse "spec2" "4" tail acc spec
(Cons head' tail' tail, Append acc "5" acc', Parse "spec3" head' tail' acc' spec) => Parse "spec2" "5" tail acc spec
(Cons head' tail' tail, Append acc "6" acc', Parse "spec3" head' tail' acc' spec) => Parse "spec2" "6" tail acc spec
(Cons head' tail' tail, Append acc "7" acc', Parse "spec3" head' tail' acc' spec) => Parse "spec2" "7" tail acc spec
(Cons head' tail' tail, Append acc "8" acc', Parse "spec3" head' tail' acc' spec) => Parse "spec2" "8" tail acc spec
(Cons head' tail' tail, Append acc "9" acc', Parse "spec3" head' tail' acc' spec) => Parse "spec2" "9" tail acc spec
(Cons head' tail' tail, Append acc "." acc', Parse "spec4" head' tail' acc' spec) => Parse "spec2" "." tail acc spec
Parse "spec2" "d" "" acc (SCons (D acc) SNil)
Parse "spec2" "f" "" acc (SCons (F acc) SNil)
Parse "spec2" "s" "" acc (SCons (S acc) SNil)
(Cons head' tail' tail, Parse "traverse" head' tail' "" spec) => Parse "spec2" "d" tail acc (SCons (D acc) spec)
(Cons head' tail' tail, Parse "traverse" head' tail' "" spec) => Parse "spec2" "f" tail acc (SCons (F acc) spec)
(Cons head' tail' tail, Parse "traverse" head' tail' "" spec) => Parse "spec2" "s" tail acc (SCons (S acc) spec)
(Cons head' tail' tail, Append acc any acc', Parse "spec3" head' tail' acc' spec) => Parse "spec2\'" any tail acc spec
(Cons head' tail' tail, Append acc "0" acc', Parse "spec3" head' tail' acc' spec) => Parse "spec3" "0" tail acc spec
(Cons head' tail' tail, Append acc "1" acc', Parse "spec3" head' tail' acc' spec) => Parse "spec3" "1" tail acc spec
(Cons head' tail' tail, Append acc "2" acc', Parse "spec3" head' tail' acc' spec) => Parse "spec3" "2" tail acc spec
(Cons head' tail' tail, Append acc "3" acc', Parse "spec3" head' tail' acc' spec) => Parse "spec3" "3" tail acc spec
(Cons head' tail' tail, Append acc "4" acc', Parse "spec3" head' tail' acc' spec) => Parse "spec3" "4" tail acc spec
(Cons head' tail' tail, Append acc "5" acc', Parse "spec3" head' tail' acc' spec) => Parse "spec3" "5" tail acc spec
(Cons head' tail' tail, Append acc "6" acc', Parse "spec3" head' tail' acc' spec) => Parse "spec3" "6" tail acc spec
(Cons head' tail' tail, Append acc "7" acc', Parse "spec3" head' tail' acc' spec) => Parse "spec3" "7" tail acc spec
(Cons head' tail' tail, Append acc "8" acc', Parse "spec3" head' tail' acc' spec) => Parse "spec3" "8" tail acc spec
(Cons head' tail' tail, Append acc "9" acc', Parse "spec3" head' tail' acc' spec) => Parse "spec3" "9" tail acc spec
(Cons head' tail' tail, Append acc "." acc', Parse "spec4" head' tail' acc' spec) => Parse "spec3" "." tail acc spec
Parse "spec3" "d" "" acc (SCons (D acc) SNil)
Parse "spec3" "f" "" acc (SCons (F acc) SNil)
Parse "spec3" "s" "" acc (SCons (S acc) SNil)
(Cons head' tail' tail, Parse "traverse" head' tail' "" spec) => Parse "spec3" "d" tail acc (SCons (D acc) spec)
(Cons head' tail' tail, Parse "traverse" head' tail' "" spec) => Parse "spec3" "f" tail acc (SCons (F acc) spec)
(Cons head' tail' tail, Parse "traverse" head' tail' "" spec) => Parse "spec3" "s" tail acc (SCons (S acc) spec)
(Cons head' tail' tail, Append acc "0" acc', Parse "spec4" head' tail' acc' spec) => Parse "spec4" "0" tail acc spec
(Cons head' tail' tail, Append acc "1" acc', Parse "spec4" head' tail' acc' spec) => Parse "spec4" "1" tail acc spec
(Cons head' tail' tail, Append acc "2" acc', Parse "spec4" head' tail' acc' spec) => Parse "spec4" "2" tail acc spec
(Cons head' tail' tail, Append acc "3" acc', Parse "spec4" head' tail' acc' spec) => Parse "spec4" "3" tail acc spec
(Cons head' tail' tail, Append acc "4" acc', Parse "spec4" head' tail' acc' spec) => Parse "spec4" "4" tail acc spec
(Cons head' tail' tail, Append acc "5" acc', Parse "spec4" head' tail' acc' spec) => Parse "spec4" "5" tail acc spec
(Cons head' tail' tail, Append acc "6" acc', Parse "spec4" head' tail' acc' spec) => Parse "spec4" "6" tail acc spec
(Cons head' tail' tail, Append acc "7" acc', Parse "spec4" head' tail' acc' spec) => Parse "spec4" "7" tail acc spec
(Cons head' tail' tail, Append acc "8" acc', Parse "spec4" head' tail' acc' spec) => Parse "spec4" "8" tail acc spec
(Cons head' tail' tail, Append acc "9" acc', Parse "spec4" head' tail' acc' spec) => Parse "spec4" "9" tail acc spec
Parse "spec4" "d" "" acc (SCons (D acc) SNil)
Parse "spec4" "f" "" acc (SCons (F acc) SNil)
Parse "spec4" "s" "" acc (SCons (S acc) SNil)
(Cons head' tail' tail, Parse "traverse" head' tail' "" spec) => Parse "spec4" "d" tail acc (SCons (D acc) spec)
(Cons head' tail' tail, Parse "traverse" head' tail' "" spec) => Parse "spec4" "f" tail acc (SCons (F acc) spec)
(Cons head' tail' tail, Parse "traverse" head' tail' "" spec) => Parse "spec4" "s" tail acc (SCons (S acc) spec)
#Common Source
data Common :: Symbol -> Specifier
data Common t0
Instances
(IsSymbol common, Format rest fn) => Format (SCons (Common common) rest) fn
(Cons head' tail' tail, Parse "spec" head' tail' "" spec) => Parse "traverse" "%" tail acc (SCons (Common acc) spec)
(Append acc head acc') => Parse "traverse" head "" acc (SCons (Common acc') SNil)
Parse "spec" "%" "" "" (SCons (Common "%") SNil)
(Cons head' tail' tail, Parse "traverse" head' tail' "" spec) => Parse "spec" "%" tail "" (SCons (Common "%") spec)
#D Source
data D :: Symbol -> Specifier
data D t0
Instances
(IsSymbol controls, Format rest fn) => Format (SCons (D controls) rest) (Int -> fn)
Parse "spec" "d" "" "" (SCons (D "") SNil)
(Cons head' tail' tail, Parse "traverse" head' tail' "" spec) => Parse "spec" "d" tail "" (SCons (D "") spec)
Parse "spec1" "d" "" acc (SCons (D acc) SNil)
(Cons head' tail' tail, Parse "traverse" head' tail' "" spec) => Parse "spec1" "d" tail acc (SCons (D acc) spec)
Parse "spec2" "d" "" acc (SCons (D acc) SNil)
(Cons head' tail' tail, Parse "traverse" head' tail' "" spec) => Parse "spec2" "d" tail acc (SCons (D acc) spec)
Parse "spec3" "d" "" acc (SCons (D acc) SNil)
(Cons head' tail' tail, Parse "traverse" head' tail' "" spec) => Parse "spec3" "d" tail acc (SCons (D acc) spec)
Parse "spec4" "d" "" acc (SCons (D acc) SNil)
(Cons head' tail' tail, Parse "traverse" head' tail' "" spec) => Parse "spec4" "d" tail acc (SCons (D acc) spec)
#F Source
data F :: Symbol -> Specifier
data F t0
Instances
(IsSymbol controls, Format rest fn) => Format (SCons (F controls) rest) (Number -> fn)
Parse "spec" "f" "" "" (SCons (F "") SNil)
(Cons head' tail' tail, Parse "traverse" head' tail' "" spec) => Parse "spec" "f" tail "" (SCons (F "") spec)
Parse "spec1" "f" "" acc (SCons (F acc) SNil)
(Cons head' tail' tail, Parse "traverse" head' tail' "" spec) => Parse "spec1" "f" tail acc (SCons (F acc) spec)
Parse "spec2" "f" "" acc (SCons (F acc) SNil)
(Cons head' tail' tail, Parse "traverse" head' tail' "" spec) => Parse "spec2" "f" tail acc (SCons (F acc) spec)
Parse "spec3" "f" "" acc (SCons (F acc) SNil)
(Cons head' tail' tail, Parse "traverse" head' tail' "" spec) => Parse "spec3" "f" tail acc (SCons (F acc) spec)
Parse "spec4" "f" "" acc (SCons (F acc) SNil)
(Cons head' tail' tail, Parse "traverse" head' tail' "" spec) => Parse "spec4" "f" tail acc (SCons (F acc) spec)
#S Source
data S :: Symbol -> Specifier
data S t0
Instances
(IsSymbol controls, Format rest fn) => Format (SCons (S controls) rest) (String -> fn)
Parse "spec" "s" "" "" (SCons (S "") SNil)
(Cons head' tail' tail, Parse "traverse" head' tail' "" spec) => Parse "spec" "s" tail "" (SCons (S "") spec)
Parse "spec1" "s" "" acc (SCons (S acc) SNil)
(Cons head' tail' tail, Parse "traverse" head' tail' "" spec) => Parse "spec1" "s" tail acc (SCons (S acc) spec)
Parse "spec2" "s" "" acc (SCons (S acc) SNil)
(Cons head' tail' tail, Parse "traverse" head' tail' "" spec) => Parse "spec2" "s" tail acc (SCons (S acc) spec)
Parse "spec3" "s" "" acc (SCons (S acc) SNil)
(Cons head' tail' tail, Parse "traverse" head' tail' "" spec) => Parse "spec3" "s" tail acc (SCons (S acc) spec)
Parse "spec4" "s" "" acc (SCons (S acc) SNil)
(Cons head' tail' tail, Parse "traverse" head' tail' "" spec) => Parse "spec4" "s" tail acc (SCons (S acc) spec)
#SNil Source
data SNil :: SList
data SNil
Instances
Format SNil String
(Append acc head acc') => Parse "traverse" head "" acc (SCons (Common acc') SNil)
Parse "spec" "%" "" "" (SCons (Common "%") SNil)
Parse "spec" "d" "" "" (SCons (D "") SNil)
Parse "spec" "f" "" "" (SCons (F "") SNil)
Parse "spec" "s" "" "" (SCons (S "") SNil)
Parse "spec1" "d" "" acc (SCons (D acc) SNil)
Parse "spec1" "f" "" acc (SCons (F acc) SNil)
Parse "spec1" "s" "" acc (SCons (S acc) SNil)
Parse "spec2" "d" "" acc (SCons (D acc) SNil)
Parse "spec2" "f" "" acc (SCons (F acc) SNil)
Parse "spec2" "s" "" acc (SCons (S acc) SNil)
Parse "spec3" "d" "" acc (SCons (D acc) SNil)
Parse "spec3" "f" "" acc (SCons (F acc) SNil)
Parse "spec3" "s" "" acc (SCons (S acc) SNil)
Parse "spec4" "d" "" acc (SCons (D acc) SNil)
Parse "spec4" "f" "" acc (SCons (F acc) SNil)
Parse "spec4" "s" "" acc (SCons (S acc) SNil)
#SCons Source
data SCons :: Specifier -> SList -> SList
data SCons t0 t1
Instances
(IsSymbol common, Format rest fn) => Format (SCons (Common common) rest) fn
(IsSymbol controls, Format rest fn) => Format (SCons (D controls) rest) (Int -> fn)
(IsSymbol controls, Format rest fn) => Format (SCons (F controls) rest) (Number -> fn)
(IsSymbol controls, Format rest fn) => Format (SCons (S controls) rest) (String -> fn)
(Cons head' tail' tail, Parse "spec" head' tail' "" spec) => Parse "traverse" "%" tail acc (SCons (Common acc) spec)
(Append acc head acc') => Parse "traverse" head "" acc (SCons (Common acc') SNil)
Parse "spec" "%" "" "" (SCons (Common "%") SNil)
(Cons head' tail' tail, Parse "traverse" head' tail' "" spec) => Parse "spec" "%" tail "" (SCons (Common "%") spec)
Parse "spec" "d" "" "" (SCons (D "") SNil)
Parse "spec" "f" "" "" (SCons (F "") SNil)
Parse "spec" "s" "" "" (SCons (S "") SNil)
(Cons head' tail' tail, Parse "traverse" head' tail' "" spec) => Parse "spec" "d" tail "" (SCons (D "") spec)
(Cons head' tail' tail, Parse "traverse" head' tail' "" spec) => Parse "spec" "f" tail "" (SCons (F "") spec)
(Cons head' tail' tail, Parse "traverse" head' tail' "" spec) => Parse "spec" "s" tail "" (SCons (S "") spec)
Parse "spec1" "d" "" acc (SCons (D acc) SNil)
Parse "spec1" "f" "" acc (SCons (F acc) SNil)
Parse "spec1" "s" "" acc (SCons (S acc) SNil)
(Cons head' tail' tail, Parse "traverse" head' tail' "" spec) => Parse "spec1" "d" tail acc (SCons (D acc) spec)
(Cons head' tail' tail, Parse "traverse" head' tail' "" spec) => Parse "spec1" "f" tail acc (SCons (F acc) spec)
(Cons head' tail' tail, Parse "traverse" head' tail' "" spec) => Parse "spec1" "s" tail acc (SCons (S acc) spec)
Parse "spec2" "d" "" acc (SCons (D acc) SNil)
Parse "spec2" "f" "" acc (SCons (F acc) SNil)
Parse "spec2" "s" "" acc (SCons (S acc) SNil)
(Cons head' tail' tail, Parse "traverse" head' tail' "" spec) => Parse "spec2" "d" tail acc (SCons (D acc) spec)
(Cons head' tail' tail, Parse "traverse" head' tail' "" spec) => Parse "spec2" "f" tail acc (SCons (F acc) spec)
(Cons head' tail' tail, Parse "traverse" head' tail' "" spec) => Parse "spec2" "s" tail acc (SCons (S acc) spec)
Parse "spec3" "d" "" acc (SCons (D acc) SNil)
Parse "spec3" "f" "" acc (SCons (F acc) SNil)
Parse "spec3" "s" "" acc (SCons (S acc) SNil)
(Cons head' tail' tail, Parse "traverse" head' tail' "" spec) => Parse "spec3" "d" tail acc (SCons (D acc) spec)
(Cons head' tail' tail, Parse "traverse" head' tail' "" spec) => Parse "spec3" "f" tail acc (SCons (F acc) spec)
(Cons head' tail' tail, Parse "traverse" head' tail' "" spec) => Parse "spec3" "s" tail acc (SCons (S acc) spec)
Parse "spec4" "d" "" acc (SCons (D acc) SNil)
Parse "spec4" "f" "" acc (SCons (F acc) SNil)
Parse "spec4" "s" "" acc (SCons (S acc) SNil)
(Cons head' tail' tail, Parse "traverse" head' tail' "" spec) => Parse "spec4" "d" tail acc (SCons (D acc) spec)
(Cons head' tail' tail, Parse "traverse" head' tail' "" spec) => Parse "spec4" "f" tail acc (SCons (F acc) spec)
(Cons head' tail' tail, Parse "traverse" head' tail' "" spec) => Parse "spec4" "s" tail acc (SCons (S acc) spec)
- Modules
- Text.
Printf