Module

Text.Printf

Package
purescript-printf
Repository
eternasuno/purescript-printf

#Printf Source

class Printf :: Symbol -> Type -> Constraintclass Printf (template :: Symbol) fn | template -> fn where

Members

Instances

#Format Source

class Format :: SList -> Type -> Constraintclass Format (spec :: SList) fn | spec -> fn where

Members

Instances

#Parse Source

class Parse :: Symbol -> Symbol -> Symbol -> Symbol -> SList -> Constraintclass 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)

#Specifier Source

#Common Source

data Common :: Symbol -> Specifierdata Common t0

Instances

#D Source

data D :: Symbol -> Specifierdata D t0

Instances

#F Source

data F :: Symbol -> Specifierdata F t0

Instances

#S Source

data S :: Symbol -> Specifierdata S t0

Instances

#SList Source

data SList

#SProxy Source

data SProxy :: SList -> Typedata SProxy (s :: SList)

Constructors

#SNil Source

data SNil :: SListdata SNil

Instances

#SCons Source

data SCons :: Specifier -> SList -> SListdata SCons t0 t1

Instances

#formatInt Source

#formatFloat Source

#formatString Source

Modules
Text.Printf