Data.Configifier

config types

data a :*> b

data s :> t

data a :>: s

data ConfigCode k

type family ToConfigCode a :: ConfigCode *

type family NoDesc a :: ConfigCode *

type family ToConfig a f :: *

data MaybeO a

data Id a

sources

data Source

data ConfigFile

data ShellEnv

data CommandLine

tagged values

data Tagged cfg

data TaggedM cfg

results and errors

type Result cfg

data Error

the main function

configify

configify'

yaml / json

parseConfigFile

renderConfigFile

shell env

type Env

class HasParseShellEnv cfg

cli

type Args

class HasParseCommandLine cfg

primitiveParseCommandLine

parseArgs

parseArgsWithEqSign

parseArgsWithSpace

parseArgName

accessing config values

(>>.)

type family ToVal a p :: Maybe *

type family OrElse x y :: Maybe k

data CMaybe a

orElse

options

type family ToValueMaybe a :: Maybe *

toValueMaybe

class NothingValue a

cfg traversal

class Sel cfg ps

class Sel' cfg ps

static lookup error handling

type ToValE a p

data Exc a b

data LookupFailed a p

type family ToExc a x :: Exc k l

merge configs

merge

freeze

thaw

class Freeze c

class CanonicalizePartial a

docs

docs

data Doc

data DocOptional

concatDoc

class HasToDoc a

class HasRenderDoc t