Module

Fmt

Package: purescript-fmt
Repository: thought2/purescript-fmt

#fmt Source

fmt :: forall @sym sym' head tail replace. Parse DefaultConfig head tail replace => Append sym EOF sym' => Cons head tail sym' => replace -> String

#fmtWith Source

fmtWith :: forall @config @sym config' sym' head tail replace. Parse config' head tail replace => Append sym EOF sym' => Cons head tail sym' => EvalConfigSpec config config' => replace -> String

#Parse Source

class Parse :: Config -> Symbol -> Symbol -> Type -> Constraintclass Parse (config :: Config) (head :: Symbol) (tail :: Symbol) (replace :: Type)  where

Members

parse :: Proxy config -> Proxy head -> Proxy tail -> replace -> String -> String

Instances

Parse config EOF "" replace
(Cons head' tail' tail, ParseId config head' tail' "" (Record replace), TypeEquals config (MkConfig open close useToString)) => Parse (MkConfig open close useToString) open tail (Record replace)
(Cons head' tail' tail, Parse config head' tail' (Record replace), IsSymbol head) => Parse config head tail (Record replace)

#ParseId Source

class ParseId :: Config -> Symbol -> Symbol -> Symbol -> Type -> Constraintclass ParseId (config :: Config) (head :: Symbol) (tail :: Symbol) (id :: Symbol) (replace :: Type)  where

Members

parseId :: Proxy config -> Proxy head -> Proxy tail -> Proxy id -> replace -> String -> String

Instances

ParseId config EOF "" id replace
(Cons head' tail' tail, ParseTypeId config head' tail' id "" (Record replace)) => ParseId config "@" tail id (Record replace)
(Cons head' tail' tail, Parse config head' tail' (Record replace), IsSymbol id, Cons id a replace' replace, ToStringBy useToString a typSym, TypeEquals config (MkConfig open close useToString)) => ParseId (MkConfig open close useToString) close tail id (Record replace)
(Cons head' tail' tail, ParseId config head' tail' id' (Record replace), Append id head id') => ParseId config head tail id (Record replace)

#ParseTypeId Source

class ParseTypeId :: Config -> Symbol -> Symbol -> Symbol -> Symbol -> Type -> Constraintclass ParseTypeId (config :: Config) (head :: Symbol) (tail :: Symbol) (id :: Symbol) (typeId :: Symbol) (replace :: Type)  where

Members

parseTypeId :: Proxy config -> Proxy head -> Proxy tail -> Proxy id -> Proxy typeId -> replace -> String -> String

Instances

ParseTypeId config EOF "" id typeId replace
(Cons head' tail' tail, Parse config head' tail' (Record replace), IsSymbol id, Cons id a replace' replace, ToStringBy useToString a typeId, TypeEquals config (MkConfig open close useToString)) => ParseTypeId (MkConfig open close useToString) close tail id typeId (Record replace)
(Cons head' tail' tail, ParseTypeId config head' tail' id typeId' (Record replace), Append typeId head typeId') => ParseTypeId config head tail id typeId (Record replace)

#ToString Source

class ToString :: Type -> Symbol -> Constraintclass ToString (a :: Type) (sym :: Symbol) | a -> sym where

Members

toString :: a -> String

Instances

ToString String "string"
ToString Int "int"
ToString Number "number"
ToString Char "char"

#ToStringBy Source

class ToStringBy :: Type -> Type -> Symbol -> Constraintclass ToStringBy (tok :: Type) (a :: Type) (sym :: Symbol) | tok a -> sym where

Members

toStringBy :: Proxy tok -> a -> String

Instances

(ToString a sym) => ToStringBy DefaultUseToString a sym

#EOF Source

type EOF :: Symboltype EOF = "$"

Instances

Parse config EOF "" replace
ParseId config EOF "" id replace
ParseTypeId config EOF "" id typeId replace

Re-exports from Fmt.Config

#SetToString Source

data SetToString :: Type -> Config -> Configdata SetToString t0 t1

Instances

(EvalConfigSpec tail (MkConfig open close toStringX), SymbolIsChar open, SymbolIsChar close) => EvalConfigSpec (SetToString useToString tail) (MkConfig open close useToString)

#SetOpenClose Source

data SetOpenClose :: Symbol -> Symbol -> Config -> Configdata SetOpenClose t0 t1 t2

Instances

(EvalConfigSpec tail (MkConfig openX closeX useToString), SymbolIsChar open, SymbolIsChar close) => EvalConfigSpec (SetOpenClose open close tail) (MkConfig open close useToString)

#DefaultConfig Source

type DefaultConfig :: Configtype DefaultConfig = MkConfig "{" "}" DefaultUseToString

#Config Source

data Config

Re-exports from Type.Function

#type (#) Source

Operator alias for Type.Function.FLIP (left-associative / precedence 1)

Modules: Fmt; Fmt.Config