Module

Data.Printf

class Format (string :: Symbol) fun | string -> fun where

class FormatF (format :: FList) fun | format -> fun where

class Parse (string :: Symbol) (format :: FList) | string -> format

data FList :: Type

data FNil :: FList

data FCons :: Specifier -> FList -> FList

(FormatF rest fun) => FormatF (FCons D rest) (Int -> fun)
(FormatF rest fun) => FormatF (FCons S rest) (String -> fun)
(IsSymbol lit, FormatF rest fun) => FormatF (FCons (Lit lit) rest) fun
Parse "" (FCons (Lit "") FNil)
Match a "" (FCons (Lit a) FNil)
(Cons h t s, MatchFmt h spec, Parse t rest) => Match "%" s (FCons (Lit "") (FCons spec rest))
(Parse s (FCons (Lit acc) r), Cons o acc rest) => Match o s (FCons (Lit rest) r)

data FProxy (f :: FList)

class Match (head :: Symbol) (tail :: Symbol) (out :: FList) | head tail -> out

Match a "" (FCons (Lit a) FNil)
(Cons h t s, MatchFmt h spec, Parse t rest) => Match "%" s (FCons (Lit "") (FCons spec rest))
(Parse s (FCons (Lit acc) r), Cons o acc rest) => Match o s (FCons (Lit rest) r)

class MatchFmt (head :: Symbol) (out :: Specifier) | head -> out

data Specifier :: Type

data D :: Specifier

data S :: Specifier

data Lit :: Symbol -> Specifier

(IsSymbol lit, FormatF rest fun) => FormatF (FCons (Lit lit) rest) fun
Parse "" (FCons (Lit "") FNil)
Match a "" (FCons (Lit a) FNil)
(Cons h t s, MatchFmt h spec, Parse t rest) => Match "%" s (FCons (Lit "") (FCons spec rest))
(Parse s (FCons (Lit acc) r), Cons o acc rest) => Match o s (FCons (Lit rest) r)