Fmt.Config

data DefaultUseToString

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)

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)

data Config

data MkConfig :: Symbol -> Symbol -> Type -> Configdata MkConfig t0 t1 t2

Instances

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

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

class EvalConfigSpec :: Config -> Config -> Constraintclass EvalConfigSpec (spec :: Config) (config :: Config) | spec -> config

Instances

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

class SymbolIsChar :: Symbol -> Constraintclass SymbolIsChar (sym :: Symbol) 

Instances

• (Fail (Text "Cannot be empty")) => SymbolIsChar ""
• (Cons head tail sym, SymbolIsChar' head tail) => SymbolIsChar sym

class SymbolIsChar' :: Symbol -> Symbol -> Constraintclass SymbolIsChar' (head :: Symbol) (tail :: Symbol) 

Instances

• SymbolIsChar' head ""
• (Fail (Beside (QuoteLabel sym) (Text " must be single character")), Append head tail sym) => SymbolIsChar' head tail