Data.Container.Opts

type family ParamsOf op cont :: [*]

type family ModsOf op cont :: [*]

data Opt a

data Knowledge a

data Ixed

data Safe

data Unchecked

data Unsafe

data Inplace

data Try

data Raw

type family MatchOpts provided selected :: [Opt *]

type family CheckIfKnown flag flags :: Opt *

data Query mods params

data OptQuery mods params

data OptBuilder mods params a

type OptBuilderBase

class FuncTrans mods params f a

class FuncBuilder f a

optBuilder

queryBuilder

extendOptBuilder

appFunc

withTransFunc

type Concat lst lst'

type family Concat' lst lst'

type Reverse lst

type family Reverse' lst lst'

type family OptData provided datas opt

type family QueryData provided query datas

class GetOptData provided datas opt

class GetQueryData provided query datas

(.:)

ixed

raw

try

unchecked

unsafe

inplace