Module

Record.Format

Package: purescript-record-format
Repository: kcsongor/purescript-record-format

#Fmt Source

data Fmt :: Type

#Var Source

data Var :: Symbol -> Fmt

Instances

(IsSymbol key, Cons key typ tail row, FormatParsed ks row, FormatVar typ) => FormatParsed (FCons (Var key) ks) row
(Cons h' t' t, ParseVar h' t' (Var match) rest, Parse rest pRest) => ParseLit "{" t (FCons (Lit "") (FCons (Var match) pRest))
ParseVar "" a (Var "") ""
ParseVar "}" i (Var "") i
ParseVar curr "" (Var curr) ""
(Cons h' t' t, ParseVar h' t' (Var var) rest, Cons h var var') => ParseVar h t (Var var') rest

#Lit Source

data Lit :: Symbol -> Fmt

Instances

(IsSymbol l, FormatParsed ks row) => FormatParsed (FCons (Lit l) ks) row
ParseLit o "" (FCons (Lit o) FNil)
(Cons h' t' t, ParseVar h' t' (Var match) rest, Parse rest pRest) => ParseLit "{" t (FCons (Lit "") (FCons (Var match) pRest))
(Parse i (FCons (Lit l) fs), Cons c l cl) => ParseLit c i (FCons (Lit cl) fs)

#FList Source

data FList :: Type

A list of format tokens

#FNil Source

data FNil :: FList

Instances

FormatParsed FNil row
Parse "" FNil
ParseLit o "" (FCons (Lit o) FNil)

#FCons Source

data FCons :: Fmt -> FList -> FList

Instances

(IsSymbol key, Cons key typ tail row, FormatParsed ks row, FormatVar typ) => FormatParsed (FCons (Var key) ks) row
(IsSymbol l, FormatParsed ks row) => FormatParsed (FCons (Lit l) ks) row
ParseLit o "" (FCons (Lit o) FNil)
(Cons h' t' t, ParseVar h' t' (Var match) rest, Parse rest pRest) => ParseLit "{" t (FCons (Lit "") (FCons (Var match) pRest))
(Parse i (FCons (Lit l) fs), Cons c l cl) => ParseLit c i (FCons (Lit cl) fs)

#FProxy Source

data FProxy (fl :: FList)

Constructors

FProxy

#Format Source

class Format (string :: Symbol) (row :: Row Type)  where

Format a row with a (type-level) format string. If @row@ doesn't contain

Members

format :: SProxy string -> Record row -> String

Instances

(Parse string parsed, FormatParsed parsed row) => Format string row

#FormatParsed Source

class FormatParsed (strings :: FList) (row :: Row Type)  where

Format a row with a list of format tokens. If @row@ doesn't contain

Members

formatParsed :: FProxy strings -> Record row -> String

Instances

FormatParsed FNil row
(IsSymbol key, Cons key typ tail row, FormatParsed ks row, FormatVar typ) => FormatParsed (FCons (Var key) ks) row
(IsSymbol l, FormatParsed ks row) => FormatParsed (FCons (Lit l) ks) row

#FormatVar Source

class FormatVar a  where

Formatting variables - we don't want to show the quotes around strings, so

Members

fmtVar :: a -> String

Instances

FormatVar String
(Show a) => FormatVar a

#Parse Source

class Parse (i :: Symbol) (o :: FList) | i -> o

Instances

Parse "" FNil
(Cons h t i, ParseLit h t o) => Parse i o

#ParseLit Source

class ParseLit (h :: Symbol) (t :: Symbol) (o :: FList) | h t -> o

Parse literals. @h@ is the current character, @t@ is the remaining string

Instances

ParseLit o "" (FCons (Lit o) FNil)
(Cons h' t' t, ParseVar h' t' (Var match) rest, Parse rest pRest) => ParseLit "{" t (FCons (Lit "") (FCons (Var match) pRest))
(Parse i (FCons (Lit l) fs), Cons c l cl) => ParseLit c i (FCons (Lit cl) fs)

#ParseVar Source

class ParseVar (h :: Symbol) (t :: Symbol) (var :: Fmt) (rest :: Symbol) | h t -> var rest

Parse variables. Returns the symbol between {}s and the remaining string

Instances

ParseVar "" a (Var "") ""
ParseVar "}" i (Var "") i
ParseVar curr "" (Var curr) ""
(Cons h' t' t, ParseVar h' t' (Var var) rest, Cons h var var') => ParseVar h t (Var var') rest

#parse Source

parse :: forall o i. Parse i o => SProxy i -> FProxy o

Modules: Record.Format