Module

Record.Format

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

#Fmt Source

kind Fmt

#Var Source

data Var :: Symbol -> Fmt

Instances

#Lit Source

data Lit :: Symbol -> Fmt

Instances

#FList Source

kind FList

A list of format tokens

#FNil Source

data FNil :: FList

Instances

#FCons Source

data FCons :: Fmt -> FList -> FList

Instances

#FProxy Source

data FProxy (fl :: FList)

Constructors

#Format Source

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

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

Members

Instances

#FormatParsed Source

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

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

Members

Instances

#FormatVar Source

class FormatVar a  where

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

Members

Instances

#Parse Source

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

Instances

#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

#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

#parse Source

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