Data.Container.Opts

Documentation

type family ParamsOf op cont :: [*]

Instances

type ParamsOf TracksIxesOp (Vector a) = [] *

type ParamsOf IndexableOp (Vector a) = (:) * Unchecked ((:) * Try ([] *))

type ParamsOf FreeableOp (Vector a) = [] *

type ParamsOf InsertableOp (Vector a) = [] *

type ParamsOf RemovableOp (Vector a) = (:) * Try ([] *)

type ParamsOf AddableOp (Vector a) = [] *

type ParamsOf PrependableOp (Vector a) = [] *

type ParamsOf AppendableOp (Vector a) = [] *

type ParamsOf GrowableOp (Vector a) = [] *

type ParamsOf ExpandableOp (Vector a) = [] *

type ParamsOf AllocableOp (Vector a) = [] *

type ParamsOf SingletonOp (Vector a) = [] *

type ParamsOf MaxBoundedOp (Vector a) = [] *

type ParamsOf MinBoundedOp (Vector a) = [] *

type ParamsOf MeasurableOp (Vector a) = [] *

type ParamsOf TracksElemsOp (Resizable s a) = ParamsOf TracksElemsOp (Container a)

type ParamsOf TracksElemsOp (Reusable idx a) = [] *

type ParamsOf TracksIxesOp (Resizable s a) = ParamsOf TracksIxesOp (Container a)

type ParamsOf TracksIxesOp (Reusable idx a) = ParamsOf TracksIxesOp (Container a)

type ParamsOf TracksUsedIxesOp (Resizable s a) = ParamsOf TracksUsedIxesOp (Container a)

type ParamsOf TracksUsedIxesOp (Reusable idx a) = [] *

type ParamsOf TracksFreeIxesOp (Resizable s a) = ParamsOf TracksFreeIxesOp (Container a)

type ParamsOf TracksFreeIxesOp (Reusable idx a) = [] *

type ParamsOf IndexableOp (Resizable s a) = ParamsOf IndexableOp (Container a)

type ParamsOf IndexableOp (Reusable idx a) = ParamsOf IndexableOp (Container a)

type ParamsOf ReservableOp (Reusable idx a) = [] *

type ParamsOf FreeableOp (Resizable s a) = ParamsOf FreeableOp (Container a)

type ParamsOf FreeableOp (Reusable idx a) = ParamsOf FreeableOp (Container a)

type ParamsOf FreeableOp (Weak f a) = ParamsOf FreeableOp (Container a)

type ParamsOf InsertableOp (Resizable s a) = ParamsOf InsertableOp (Container a)

type ParamsOf InsertableOp (Reusable idx a) = (:) * Unchecked ((:) * Inplace (ParamsOf InsertableOp (Container a)))

type ParamsOf RemovableOp (Resizable s a) = ParamsOf RemovableOp (Container a)

type ParamsOf AddableOp (Resizable s a) = ParamsOf AddableOp (Container a)

type ParamsOf AddableOp (Reusable idx a) = ParamsOf AddableOp (Container a)

type ParamsOf AddableOp (Weak f a) = ParamsOf AddableOp (Container a)

type ParamsOf PrependableOp (Resizable s a) = ParamsOf PrependableOp (Container a)

type ParamsOf PrependableOp (Reusable idx a) = ParamsOf PrependableOp (Container a)

type ParamsOf PrependableOp (Weak f a) = ParamsOf PrependableOp (Container a)

type ParamsOf AppendableOp (Resizable s a) = ParamsOf AppendableOp (Container a)

type ParamsOf AppendableOp (Reusable idx a) = ParamsOf AppendableOp (Container a)

type ParamsOf AppendableOp (Weak f a) = ParamsOf AppendableOp (Container a)

type ParamsOf GrowableOp (Resizable s a) = ParamsOf GrowableOp (Container a)

type ParamsOf GrowableOp (Reusable idx a) = ParamsOf GrowableOp (Container a)

type ParamsOf GrowableOp (Weak f a) = ParamsOf GrowableOp (Container a)

type ParamsOf ExpandableOp (Resizable s a) = ParamsOf GrowableOp (Container a)

type ParamsOf ExpandableOp (Reusable idx a) = ParamsOf ExpandableOp (Container a)

type ParamsOf ExpandableOp (Weak f a) = ParamsOf GrowableOp (Container a)

type ParamsOf AllocableOp (Resizable s a) = ParamsOf AllocableOp (Container a)

type ParamsOf AllocableOp (Reusable idx a) = ParamsOf AllocableOp (Container a)

type ParamsOf AllocableOp (Weak f a) = ParamsOf AllocableOp (Container a)

type ParamsOf SingletonOp (Resizable s a) = ParamsOf SingletonOp (Container a)

type ParamsOf SingletonOp (Reusable idx a) = ParamsOf SingletonOp (Container a)

type ParamsOf SingletonOp (Weak f a) = ParamsOf SingletonOp (Container a)

type ParamsOf MaxBoundedOp (Resizable s a) = ParamsOf MaxBoundedOp (Container a)

type ParamsOf MaxBoundedOp (Reusable idx a) = ParamsOf MaxBoundedOp (Container a)

type ParamsOf MaxBoundedOp (Weak f a) = ParamsOf MaxBoundedOp (Container a)

type ParamsOf MinBoundedOp (Resizable s a) = ParamsOf MinBoundedOp (Container a)

type ParamsOf MinBoundedOp (Reusable idx a) = ParamsOf MinBoundedOp (Container a)

type ParamsOf MinBoundedOp (Weak f a) = ParamsOf MinBoundedOp (Container a)

type ParamsOf MeasurableOp (Resizable s a) = ParamsOf MeasurableOp (Container a)

type ParamsOf MeasurableOp (Reusable idx a) = ParamsOf MeasurableOp (Container a)

type ParamsOf MeasurableOp (Weak f a) = ParamsOf MeasurableOp (Container a)

type family ModsOf op cont :: [*]

Instances

type ModsOf TracksIxesOp (Vector a) = [] *

type ModsOf IndexableOp (Vector a) = (:) * Ixed ([] *)

type ModsOf FreeableOp (Vector a) = [] *

type ModsOf InsertableOp (Vector a) = (:) * Ixed ([] *)

type ModsOf RemovableOp (Vector a) = (:) * Ixed ([] *)

type ModsOf AddableOp (Vector a) = (:) * Ixed ([] *)

type ModsOf PrependableOp (Vector a) = (:) * Ixed ([] *)

type ModsOf AppendableOp (Vector a) = (:) * Ixed ([] *)

type ModsOf GrowableOp (Vector a) = (:) * Ixed ([] *)

type ModsOf ExpandableOp (Vector a) = (:) * Ixed ([] *)

type ModsOf AllocableOp (Vector a) = (:) * Ixed ([] *)

type ModsOf SingletonOp (Vector a) = (:) * Ixed ([] *)

type ModsOf MaxBoundedOp (Vector a) = [] *

type ModsOf MinBoundedOp (Vector a) = [] *

type ModsOf MeasurableOp (Vector a) = [] *

type ModsOf TracksElemsOp (Resizable s a) = ModsOf TracksElemsOp (Container a)

type ModsOf TracksElemsOp (Reusable idx a) = [] *

type ModsOf TracksIxesOp (Resizable s a) = ModsOf TracksIxesOp (Container a)

type ModsOf TracksIxesOp (Reusable idx a) = ModsOf TracksIxesOp (Container a)

type ModsOf TracksUsedIxesOp (Resizable s a) = ModsOf TracksUsedIxesOp (Container a)

type ModsOf TracksUsedIxesOp (Reusable idx a) = [] *

type ModsOf TracksFreeIxesOp (Resizable s a) = ModsOf TracksFreeIxesOp (Container a)

type ModsOf TracksFreeIxesOp (Reusable idx a) = [] *

type ModsOf IndexableOp (Resizable s a) = ModsOf IndexableOp (Container a)

type ModsOf IndexableOp (Reusable idx a) = ModsOf IndexableOp (Container a)

type ModsOf ReservableOp (Reusable idx a) = (:) * Ixed ([] *)

type ModsOf FreeableOp (Resizable s a) = ModsOf FreeableOp (Container a)

type ModsOf FreeableOp (Reusable idx a) = ModsOf FreeableOp (Container a)

type ModsOf FreeableOp (Weak f a) = ModsOf FreeableOp (Container a)

type ModsOf InsertableOp (Resizable s a) = ModsOf InsertableOp (Container a)

type ModsOf InsertableOp (Reusable idx a) = ModsOf InsertableOp (Container a)

type ModsOf RemovableOp (Resizable s a) = ModsOf RemovableOp (Container a)

type ModsOf AddableOp (Resizable s a) = ModsOf AddableOp (Container a)

type ModsOf AddableOp (Reusable idx a) = ModsOf AddableOp (Container a)

type ModsOf AddableOp (Weak f a) = ModsOf AddableOp (Container a)

type ModsOf PrependableOp (Resizable s a) = ModsOf PrependableOp (Container a)

type ModsOf PrependableOp (Reusable idx a) = ModsOf PrependableOp (Container a)

type ModsOf PrependableOp (Weak f a) = ModsOf PrependableOp (Container a)

type ModsOf AppendableOp (Resizable s a) = ModsOf AppendableOp (Container a)

type ModsOf AppendableOp (Reusable idx a) = ModsOf AppendableOp (Container a)

type ModsOf AppendableOp (Weak f a) = ModsOf AppendableOp (Container a)

type ModsOf GrowableOp (Resizable s a) = ModsOf GrowableOp (Container a)

type ModsOf GrowableOp (Reusable idx a) = ModsOf GrowableOp (Container a)

type ModsOf GrowableOp (Weak f a) = ModsOf GrowableOp (Container a)

type ModsOf ExpandableOp (Resizable s a) = ModsOf GrowableOp (Container a)

type ModsOf ExpandableOp (Reusable idx a) = ModsOf ExpandableOp (Container a)

type ModsOf ExpandableOp (Weak f a) = ModsOf GrowableOp (Container a)

type ModsOf AllocableOp (Resizable s a) = ModsOf AllocableOp (Container a)

type ModsOf AllocableOp (Reusable idx a) = ModsOf AllocableOp (Container a)

type ModsOf AllocableOp (Weak f a) = ModsOf AllocableOp (Container a)

type ModsOf SingletonOp (Resizable s a) = ModsOf SingletonOp (Container a)

type ModsOf SingletonOp (Reusable idx a) = ModsOf SingletonOp (Container a)

type ModsOf SingletonOp (Weak f a) = ModsOf SingletonOp (Container a)

type ModsOf MaxBoundedOp (Resizable s a) = ModsOf MaxBoundedOp (Container a)

type ModsOf MaxBoundedOp (Reusable idx a) = ModsOf MaxBoundedOp (Container a)

type ModsOf MaxBoundedOp (Weak f a) = ModsOf MaxBoundedOp (Container a)

type ModsOf MinBoundedOp (Resizable s a) = ModsOf MinBoundedOp (Container a)

type ModsOf MinBoundedOp (Reusable idx a) = ModsOf MinBoundedOp (Container a)

type ModsOf MinBoundedOp (Weak f a) = ModsOf MinBoundedOp (Container a)

type ModsOf MeasurableOp (Resizable s a) = ModsOf MeasurableOp (Container a)

type ModsOf MeasurableOp (Reusable idx a) = ModsOf MeasurableOp (Container a)

type ModsOf MeasurableOp (Weak f a) = ModsOf MeasurableOp (Container a)

data Opt a

Constructors

P a

N

Instances

(InsertableQM (GetOpts ms) (GetOpts ps) m idx el a, (~) * idx idx') => InsertableQM_ ms ((:) (Opt *) (P * Unchecked) ((:) (Opt *) (P * Inplace) ps)) m idx el (Reusable idx' a)

Show a => Show (Opt a)

(TracksUsedIxes idx (Reusable idx a), Indexable idx el (Reusable idx a), Monad m) => TracksElemsQM_ ([] (Opt *)) ps m el (Reusable idx a)

(TracksIxes idx (Reusable idx a), TracksFreeIxes idx (Reusable idx a), (~) * idx idx', Monad m, Eq idx) => TracksUsedIxesQM_ ([] (Opt *)) ps m idx (Reusable idx' a)

(Monad m, (~) * idx idx') => TracksFreeIxesQM_ ([] (Opt *)) ps m idx (Reusable idx' a)

(Monad m, (~) * idx (Index (Container a))) => ReservableQM_ ((:) (Opt *) (P * Ixed) ([] (Opt *))) ps m (Reusable idx a)

data Knowledge a

Constructors

Known a

Unknown

Instances

Show a => Show (Knowledge a)

type ConstrainCls TracksElemsOp ms ps (Info (Knowledge *) (Knowledge *) * idx (Known * el)) m = TracksElemsQM_ ms ps m el

type ConstrainCls TracksIxesOp ms ps (Info (Knowledge *) (Knowledge *) * (Known * idx) el) m = TracksIxesQM_ ms ps m idx

type ConstrainCls TracksUsedIxesOp ms ps (Info (Knowledge *) (Knowledge *) * (Known * idx) el) m = TracksUsedIxesQM_ ms ps m idx

type ConstrainCls TracksFreeIxesOp ms ps (Info (Knowledge *) (Knowledge *) * (Known * idx) el) m = TracksFreeIxesQM_ ms ps m idx

type ConstrainCls IndexableOp ms ps (Info (Knowledge *) (Knowledge *) * (Known * idx) (Known * el)) m = IndexableQM_ ms ps m idx el

type ConstrainCls FreeableOp ms ps (Info (Knowledge *) (Knowledge *) * (Known * idx) el) m = FreeableQM_ ms ps m idx

type ConstrainCls InsertableOp ms ps (Info (Knowledge *) (Knowledge *) * (Known * idx) (Known * el)) m = InsertableQM_ ms ps m idx el

type ConstrainCls RemovableOp ms ps (Info (Knowledge *) (Knowledge *) * idx (Known * el)) m = RemovableQM_ ms ps m el

type ConstrainCls AddableOp ms ps (Info (Knowledge *) (Knowledge *) * idx (Known * el)) m = AddableQM_ ms ps m el

type ConstrainCls PrependableOp ms ps (Info (Knowledge *) (Knowledge *) * idx (Known * el)) m = PrependableQM_ ms ps m el

type ConstrainCls AppendableOp ms ps (Info (Knowledge *) (Knowledge *) * idx (Known * el)) m = AppendableQM_ ms ps m el

type ConstrainCls SingletonOp ms ps (Info (Knowledge *) (Knowledge *) * idx (Known * el)) m = SingletonQM_ ms ps m el

type ConstrainCls MaxBoundedOp ms ps (Info (Knowledge *) (Knowledge *) * (Known * idx) el) m = MaxBoundedQM_ ms ps m idx

type ConstrainCls MinBoundedOp ms ps (Info (Knowledge *) (Knowledge *) * (Known * idx) el) m = MinBoundedQM_ ms ps m idx

type ModResult op (Info (Knowledge *) (Knowledge *) * (Unknown *) el cont) Ixed = IdxMod op (Index cont)

type ModResult op (Info (Knowledge *) (Knowledge *) * (Known * idx) el cont) Ixed = IdxMod op idx

data Ixed

Constructors

Ixed

Instances

(Monad m, (~) * idx (Index (Container a))) => ReservableQM_ ((:) (Opt *) (P * Ixed) ([] (Opt *))) ps m (Reusable idx a)

type ModResult op (Info (Knowledge *) (Knowledge *) * (Unknown *) el cont) Ixed = IdxMod op (Index cont)

type ModResult op (Info (Knowledge *) (Knowledge *) * (Known * idx) el cont) Ixed = IdxMod op idx

data Safe

Constructors

Safe

data Unchecked

Constructors

Unchecked

Instances

(InsertableQM (GetOpts ms) (GetOpts ps) m idx el a, (~) * idx idx') => InsertableQM_ ms ((:) (Opt *) (P * Unchecked) ((:) (Opt *) (P * Inplace) ps)) m idx el (Reusable idx' a)

data Unsafe

Constructors

Unsafe

data Inplace

Constructors

Inplace

Instances

(InsertableQM (GetOpts ms) (GetOpts ps) m idx el a, (~) * idx idx') => InsertableQM_ ms ((:) (Opt *) (P * Unchecked) ((:) (Opt *) (P * Inplace) ps)) m idx el (Reusable idx' a)

data Try

Constructors

Try

data Raw

Constructors

Raw

type family MatchOpts provided selected :: [Opt *]

Equations

MatchOpts (p : ps) sel = (p `CheckIfKnown` sel) : MatchOpts ps sel

MatchOpts `[]` sel = `[]`

type family CheckIfKnown flag flags :: Opt *

Equations

CheckIfKnown f (f : fs) = P f

CheckIfKnown f (f' : fs) = CheckIfKnown f fs

CheckIfKnown f `[]` = N

data Query mods params

Constructors

Query

data OptQuery mods params

Constructors

OptQuery

newtype OptBuilder mods params a

Constructors

OptBuilder a

Instances

((~) [*] mods mods', (~) [*] params params', (~) * f f') => FuncTrans mods params f (OptBuilder mods' params' f')

Functor (OptBuilder mods params)

((~) * t (f -> g), (~) [*] mods ([] *), (~) [*] params ([] *)) => FuncBuilder (f -> g) (OptBuilder mods params t)

Show a => Show (OptBuilder mods params a)

type OptBuilderBase = OptBuilder `[]` `[]`

class FuncTrans mods params f a | a mods params -> f where

Methods

transFunc :: OptBuilder mods params f -> a

Instances

(~) * f (Query mods params -> a -> b) => FuncTrans mods params f (a -> b)

((~) [*] mods mods', (~) [*] params params', (~) * f f') => FuncTrans mods params f (OptBuilder mods' params' f')

class FuncBuilder f a | a -> f where

Methods

buildFunc :: f -> a

Instances

((~) * f a, (~) * g b) => FuncBuilder (f -> g) (a -> b)

((~) * t (f -> g), (~) [*] mods ([] *), (~) [*] params ([] *)) => FuncBuilder (f -> g) (OptBuilder mods params t)

optBuilder :: f -> OptBuilderBase f

queryBuilder :: FuncTrans `[]` `[]` f a => f -> a

extendOptBuilder :: Query newMods newParams -> Query collectedMods collectedParams -> OptBuilder mods params a -> OptBuilder (Concat newMods (Concat collectedMods mods)) (Concat newParams (Concat collectedParams params)) a

appFunc :: (f -> g) -> OptBuilder ms ps f -> OptBuilder ms ps g

withTransFunc :: FuncTrans mods params f c => (f1 -> f) -> OptBuilder mods params f1 -> c

type Concat lst lst' = Concat' (Reverse lst) lst'

type family Concat' lst lst'

Equations

Concat' (x : xs) lst = Concat' xs (x : lst)

Concat' `[]` lst = lst

type Reverse lst = Reverse' lst `[]`

type family Reverse' lst lst'

Equations

Reverse' `[]` lst = lst

Reverse' (l : ls) lst = Reverse' ls (l : lst)

type family OptData provided datas opt

Equations

OptData (o : ps) (d, ds) o = d

OptData (p : ps) (d, ds) o = OptData ps ds o

type family QueryData provided query datas

Equations

QueryData p (q : qs) d = (OptData p d q, QueryData p qs d)

QueryData p `[]` d = ()

class GetOptData provided datas opt where

Methods

getOptData :: Proxy provided -> datas -> Proxy opt -> OptData provided datas opt

Instances

(~) * datas (a, as) => GetOptData ((:) * p ps) datas p

((~) * datas (a, as), GetOptData ps as o, (~) * (OptData * ps as o) (OptData * ((:) * p ps) (a, as) o)) => GetOptData ((:) * p ps) datas o

class GetQueryData provided query datas where

Methods

getQueryData :: Proxy provided -> Proxy query -> datas -> QueryData provided query datas

Instances

GetQueryData p ([] *) datas

(GetQueryData p qs datas, GetOptData p datas q) => GetQueryData p ((:) * q qs) datas

(.:) :: (b -> c) -> (a -> a1 -> b) -> a -> a1 -> c

ixed :: (FuncTrans ((:) * Ixed (Concat' * (Reverse' collectedMods ([] *)) mods)) (Concat' * (Reverse' collectedParams ([] *)) params) f c, FuncTrans ([] *) ([] *) (Query collectedMods collectedParams -> OptBuilder mods params f -> c) a) => a

raw :: (FuncTrans (Concat' * (Reverse' collectedMods ([] *)) mods) ((:) * Raw (Concat' * (Reverse' collectedParams ([] *)) params)) f c, FuncTrans ([] *) ([] *) (Query collectedMods collectedParams -> OptBuilder mods params f -> c) a) => a

try :: (FuncTrans (Concat' * (Reverse' collectedMods ([] *)) mods) ((:) * Try (Concat' * (Reverse' collectedParams ([] *)) params)) f c, FuncTrans ([] *) ([] *) (Query collectedMods collectedParams -> OptBuilder mods params f -> c) a) => a

unchecked :: (FuncTrans (Concat' * (Reverse' collectedMods ([] *)) mods) ((:) * Unchecked (Concat' * (Reverse' collectedParams ([] *)) params)) f c, FuncTrans ([] *) ([] *) (Query collectedMods collectedParams -> OptBuilder mods params f -> c) a) => a

unsafe :: (FuncTrans (Concat' * (Reverse' collectedMods ([] *)) mods) ((:) * Unsafe (Concat' * (Reverse' collectedParams ([] *)) params)) f c, FuncTrans ([] *) ([] *) (Query collectedMods collectedParams -> OptBuilder mods params f -> c) a) => a

inplace :: (FuncTrans (Concat' * (Reverse' collectedMods ([] *)) mods) ((:) * Inplace (Concat' * (Reverse' collectedParams ([] *)) params)) f c, FuncTrans ([] *) ([] *) (Query collectedMods collectedParams -> OptBuilder mods params f -> c) a) => a