ADP.Fusion.SynVar.Array.Type

Documentation

data ITbl arr c i x where

Immutable table.

Constructors

ITbl :: {..} -> ITbl arr c i x

Fields

• iTblBigOrder :: !Int
• iTblLittleOrder :: !Int
• iTblConstraint :: !c
• iTblArray :: !(arr i x)

Instances

SplitIxCol uId (SameSid uId (Elm ls i)) (Elm ls i) => SplitIxCol uId True (Elm ((:!:) ls (Split sId splitType (TwITblBt arr c j x mF mB r))) i)

Associated Types

type SplitIxTy (uId :: Symbol) (True :: Bool) (Elm ((:!:) ls (Split sId splitType (TwITblBt arr c j x mF mB r))) i) :: *

Methods

splitIxCol :: Proxy Symbol uId -> Proxy Bool True -> Elm (ls :!: Split sId splitType (TwITblBt arr c j x mF mB r)) i -> SplitIxTy uId True (Elm (ls :!: Split sId splitType (TwITblBt arr c j x mF mB r)) i)

SplitIxCol uId (SameSid uId (Elm ls i)) (Elm ls i) => SplitIxCol uId True (Elm ((:!:) ls (Split sId splitType (TwITbl m arr c j x))) i)

Associated Types

type SplitIxTy (uId :: Symbol) (True :: Bool) (Elm ((:!:) ls (Split sId splitType (TwITbl m arr c j x))) i) :: *

Methods

splitIxCol :: Proxy Symbol uId -> Proxy Bool True -> Elm (ls :!: Split sId splitType (TwITbl m arr c j x)) i -> SplitIxTy uId True (Elm (ls :!: Split sId splitType (TwITbl m arr c j x)) i)

(MutateCell h ((:.) ts (TwITbl im arr c i x)) im i, PrimArrayOps arr i x, Show i, IndexStream i, TableOrder ((:.) ts (TwITbl im arr c i x))) => MutateTables h ((:.) ts (TwITbl im arr c i x)) im

Methods

mutateTables :: (Monad om, PrimMonad om) => Proxy * h -> (forall a. im a -> om a) -> (ts :. TwITbl im arr c i x) -> om (ts :. TwITbl im arr c i x)

(PrimArrayOps arr ZS2 x, MPrimArrayOps arr ZS2 x, MutateCell MonotoneMCFG ts im ZS2) => MutateCell MonotoneMCFG ((:.) ts (TwITbl im arr c ZS2 x)) im ZS2

Methods

mutateCell :: (Monad om, PrimMonad om) => Proxy * MonotoneMCFG -> Int -> Int -> (forall a. im a -> om a) -> (ts :. TwITbl im arr c ZS2 x) -> ZS2 -> ZS2 -> om ()

(PrimArrayOps arr i x, MPrimArrayOps arr i x, MutateCell CFG ts im i) => MutateCell CFG ((:.) ts (TwITbl im arr c i x)) im i

Methods

mutateCell :: (Monad om, PrimMonad om) => Proxy * CFG -> Int -> Int -> (forall a. im a -> om a) -> (ts :. TwITbl im arr c i x) -> i -> i -> om ()

(PrimArrayOps arr (Subword I) x, MPrimArrayOps arr (Subword I) x, MutateCell h ts im ((:.) ((:.) Z (Subword I)) (Subword I))) => MutateCell h ((:.) ts (TwITbl im arr c (Subword I) x)) im ((:.) ((:.) Z (Subword I)) (Subword I))

Methods

mutateCell :: (Monad om, PrimMonad om) => Proxy * h -> Int -> Int -> (forall a. im a -> om a) -> (ts :. TwITbl im arr c (Subword I) x) -> ((Z :. Subword I) :. Subword I) -> ((Z :. Subword I) :. Subword I) -> om ()

(Monad mB, Element ls ((:.) is i), TableStaticVar ((:.) us u) ((:.) cs c) ((:.) is i), AddIndexDense (Elm ls ((:.) is i)) ((:.) us u) ((:.) cs c) ((:.) is i), MkStream mB ls ((:.) is i), PrimArrayOps arr ((:.) us u) x) => MkStream mB ((:!:) ls (TwITblBt arr ((:.) cs c) ((:.) us u) x mF mB r)) ((:.) is i)

Methods

mkStream :: (ls :!: TwITblBt arr (cs :. c) (us :. u) x mF mB r) -> Context (is :. i) -> (is :. i) -> (is :. i) -> Stream mB (Elm (ls :!: TwITblBt arr (cs :. c) (us :. u) x mF mB r) (is :. i))

(Monad m, Element ls ((:.) is i), TableStaticVar ((:.) us u) ((:.) cs c) ((:.) is i), AddIndexDense (Elm ls ((:.) is i)) ((:.) us u) ((:.) cs c) ((:.) is i), MkStream m ls ((:.) is i), PrimArrayOps arr ((:.) us u) x) => MkStream m ((:!:) ls (TwITbl m arr ((:.) cs c) ((:.) us u) x)) ((:.) is i)

Methods

mkStream :: (ls :!: TwITbl m arr (cs :. c) (us :. u) x) -> Context (is :. i) -> (is :. i) -> (is :. i) -> Stream m (Elm (ls :!: TwITbl m arr (cs :. c) (us :. u) x) (is :. i))

(Show x, Show i, Show (RunningIndex i), Show (Elm ls i)) => Show (Elm ((:!:) ls (TwITblBt arr c i x mF mB r)) i)

Methods

showsPrec :: Int -> Elm (ls :!: TwITblBt arr c i x mF mB r) i -> ShowS

show :: Elm (ls :!: TwITblBt arr c i x mF mB r) i -> String

showList :: [Elm (ls :!: TwITblBt arr c i x mF mB r) i] -> ShowS

(Show i, Show (RunningIndex i), Show (Elm ls i), Show x) => Show (Elm ((:!:) ls (TwITbl m arr c j x)) i)

Methods

showsPrec :: Int -> Elm (ls :!: TwITbl m arr c j x) i -> ShowS

show :: Elm (ls :!: TwITbl m arr c j x) i -> String

showList :: [Elm (ls :!: TwITbl m arr c j x) i] -> ShowS

(Monad mB, PrimArrayOps arr i x, IndexStream i, (~) * j i, (~) (* -> *) m mB) => Axiom (TW (Backtrack (TwITbl mF arr c i x) mF mB) (j -> j -> m [r]))

We need this somewhat annoying instance construction (i ~ j and m ~ mB) in order to force selection of this instance.

Associated Types

type AxiomStream (TW (Backtrack (TwITbl mF arr c i x) mF mB) (j -> j -> m [r])) :: *

Methods

axiom :: TW (Backtrack (TwITbl mF arr c i x) mF mB) (j -> j -> m [r]) -> AxiomStream (TW (Backtrack (TwITbl mF arr c i x) mF mB) (j -> j -> m [r]))

(TSBO ts, Typeable (* -> * -> *) arr, Typeable * c, Typeable * i, Typeable * x, PrimArrayOps arr i x, MPrimArrayOps arr i x, IndexStream i) => TSBO ((:.) ts (TwITbl Id arr c i x))

Methods

asDyn :: (ts :. TwITbl Id arr c i x) -> [Q]

fillWithDyn :: (Monad m, PrimMonad m) => [Q] -> (ts :. TwITbl Id arr c i x) -> m [Q]

TableOrder ts => TableOrder ((:.) ts (TwITbl im arr c i x))

Methods

tableLittleOrder :: (ts :. TwITbl im arr c i x) -> [Int]

tableBigOrder :: (ts :. TwITbl im arr c i x) -> [Int]

Element ls i => Element ((:!:) ls (TwITblBt arr c j x mF mB r)) i

Associated Types

data Elm ((:!:) ls (TwITblBt arr c j x mF mB r)) i :: *

type RecElm ((:!:) ls (TwITblBt arr c j x mF mB r)) i :: *

type Arg ((:!:) ls (TwITblBt arr c j x mF mB r)) :: *

Methods

getArg :: Elm (ls :!: TwITblBt arr c j x mF mB r) i -> Arg (ls :!: TwITblBt arr c j x mF mB r)

getIdx :: Elm (ls :!: TwITblBt arr c j x mF mB r) i -> RunningIndex i

getElm :: Elm (ls :!: TwITblBt arr c j x mF mB r) i -> RecElm (ls :!: TwITblBt arr c j x mF mB r) i

Element ls i => Element ((:!:) ls (TwITbl m arr c j x)) i

Associated Types

data Elm ((:!:) ls (TwITbl m arr c j x)) i :: *

type RecElm ((:!:) ls (TwITbl m arr c j x)) i :: *

type Arg ((:!:) ls (TwITbl m arr c j x)) :: *

Methods

getArg :: Elm (ls :!: TwITbl m arr c j x) i -> Arg (ls :!: TwITbl m arr c j x)

getIdx :: Elm (ls :!: TwITbl m arr c j x) i -> RunningIndex i

getElm :: Elm (ls :!: TwITbl m arr c j x) i -> RecElm (ls :!: TwITbl m arr c j x) i

Element ls i => Element ((:!:) ls (Split uId splitType (TwITblBt arr c j x mF mB r))) i

Associated Types

data Elm ((:!:) ls (Split uId splitType (TwITblBt arr c j x mF mB r))) i :: *

type RecElm ((:!:) ls (Split uId splitType (TwITblBt arr c j x mF mB r))) i :: *

type Arg ((:!:) ls (Split uId splitType (TwITblBt arr c j x mF mB r))) :: *

Methods

getArg :: Elm (ls :!: Split uId splitType (TwITblBt arr c j x mF mB r)) i -> Arg (ls :!: Split uId splitType (TwITblBt arr c j x mF mB r))

getIdx :: Elm (ls :!: Split uId splitType (TwITblBt arr c j x mF mB r)) i -> RunningIndex i

getElm :: Elm (ls :!: Split uId splitType (TwITblBt arr c j x mF mB r)) i -> RecElm (ls :!: Split uId splitType (TwITblBt arr c j x mF mB r)) i

Element ls i => Element ((:!:) ls (Split uId splitType (TwITbl m arr c j x))) i

Associated Types

data Elm ((:!:) ls (Split uId splitType (TwITbl m arr c j x))) i :: *

type RecElm ((:!:) ls (Split uId splitType (TwITbl m arr c j x))) i :: *

type Arg ((:!:) ls (Split uId splitType (TwITbl m arr c j x))) :: *

Methods

getArg :: Elm (ls :!: Split uId splitType (TwITbl m arr c j x)) i -> Arg (ls :!: Split uId splitType (TwITbl m arr c j x))

getIdx :: Elm (ls :!: Split uId splitType (TwITbl m arr c j x)) i -> RunningIndex i

getElm :: Elm (ls :!: Split uId splitType (TwITbl m arr c j x)) i -> RecElm (ls :!: Split uId splitType (TwITbl m arr c j x)) i

(Monad m, PrimArrayOps arr i x, IndexStream i) => Axiom (TwITbl m arr c i x)

Associated Types

type AxiomStream (TwITbl m arr c i x) :: *

Methods

axiom :: TwITbl m arr c i x -> AxiomStream (TwITbl m arr c i x)

Build (TwITbl m arr c i x)

Associated Types

type Stack (TwITbl m arr c i x) :: *

Methods

build :: TwITbl m arr c i x -> Stack (TwITbl m arr c i x)

GenBacktrackTable (TwITbl mF arr c i x) mF mB

Associated Types

data Backtrack (TwITbl mF arr c i x) (mF :: * -> *) (mB :: * -> *) :: *

type BacktrackIndex (TwITbl mF arr c i x) :: *

Methods

toBacktrack :: TwITbl mF arr c i x -> (forall a. mF a -> mB a) -> Backtrack (TwITbl mF arr c i x) mF mB

Build (TwITblBt arr c i x mF mB r)

Associated Types

type Stack (TwITblBt arr c i x mF mB r) :: *

Methods

build :: TwITblBt arr c i x mF mB r -> Stack (TwITblBt arr c i x mF mB r)

type SplitIxTy uId True (Elm ((:!:) ls (Split sId splitType (TwITblBt arr c j x mF mB r))) i)

type SplitIxTy uId True (Elm ((:!:) ls (Split sId splitType (TwITblBt arr c j x mF mB r))) i) = (:.) (SplitIxTy uId (SameSid uId (Elm ls i)) (Elm ls i)) i

type SplitIxTy uId True (Elm ((:!:) ls (Split sId splitType (TwITbl m arr c j x))) i)

type SplitIxTy uId True (Elm ((:!:) ls (Split sId splitType (TwITbl m arr c j x))) i) = (:.) (SplitIxTy uId (SameSid uId (Elm ls i)) (Elm ls i)) i

type AxiomStream (TW (Backtrack (TwITbl mF arr c i x) mF mB) (j -> j -> m [r]))

type AxiomStream (TW (Backtrack (TwITbl mF arr c i x) mF mB) (j -> j -> m [r])) = mB [r]

data Elm ((:!:) ls (TwITblBt arr c j x mF mB r))

data Elm ((:!:) ls (TwITblBt arr c j x mF mB r)) = ElmBtITbl !x [r] !(RunningIndex i) !(Elm ls i)

data Elm ((:!:) ls (TwITbl m arr c j x))

data Elm ((:!:) ls (TwITbl m arr c j x)) = ElmITbl !x !(RunningIndex i) !(Elm ls i)

data Elm ((:!:) ls (Split uId splitType (TwITblBt arr c j x mF mB r)))

data Elm ((:!:) ls (Split uId splitType (TwITblBt arr c j x mF mB r))) = ElmSplitBtITbl !(Proxy Symbol uId) !(CalcSplitType splitType (x, [r])) !(RunningIndex i) !(Elm ls i) !i

data Elm ((:!:) ls (Split uId splitType (TwITbl m arr c j x)))

data Elm ((:!:) ls (Split uId splitType (TwITbl m arr c j x))) = ElmSplitITbl !(Proxy Symbol uId) !(CalcSplitType splitType x) !(RunningIndex i) !(Elm ls i) !i

type Arg ((:!:) ls (TwITblBt arr c j x mF mB r))

type Arg ((:!:) ls (TwITblBt arr c j x mF mB r)) = (:.) (Arg ls) (x, [r])

type Arg ((:!:) ls (TwITbl m arr c j x))

type Arg ((:!:) ls (TwITbl m arr c j x)) = (:.) (Arg ls) x

type Arg ((:!:) ls (Split uId splitType (TwITblBt arr c j x mF mB r)))

type Arg ((:!:) ls (Split uId splitType (TwITblBt arr c j x mF mB r))) = (:.) (Arg ls) (CalcSplitType splitType (x, [r]))

type Arg ((:!:) ls (Split uId splitType (TwITbl m arr c j x)))

type Arg ((:!:) ls (Split uId splitType (TwITbl m arr c j x))) = (:.) (Arg ls) (CalcSplitType splitType x)

type RecElm ((:!:) ls (TwITblBt arr c j x mF mB r)) i

type RecElm ((:!:) ls (TwITblBt arr c j x mF mB r)) i = Elm ls i

type RecElm ((:!:) ls (TwITbl m arr c j x)) i

type RecElm ((:!:) ls (TwITbl m arr c j x)) i = Elm ls i

type RecElm ((:!:) ls (Split uId splitType (TwITblBt arr c j x mF mB r))) i

type RecElm ((:!:) ls (Split uId splitType (TwITblBt arr c j x mF mB r))) i = Elm ls i

type RecElm ((:!:) ls (Split uId splitType (TwITbl m arr c j x))) i

type RecElm ((:!:) ls (Split uId splitType (TwITbl m arr c j x))) i = Elm ls i

type BacktrackIndex (TwITbl mF arr c i x)

type BacktrackIndex (TwITbl mF arr c i x) = i

type AxiomStream (TwITbl m arr c i x)

type AxiomStream (TwITbl m arr c i x) = m x

type TNE (TwITbl m arr EmptyOk i x)

type TNE (TwITbl m arr EmptyOk i x) = TwITbl m arr NonEmpty i x

type TE (TwITbl m arr EmptyOk i x)

type TE (TwITbl m arr EmptyOk i x) = TwITbl m arr EmptyOk i x

type Stack (TwITbl m arr c i x)

type Stack (TwITbl m arr c i x) = (:!:) S (TwITbl m arr c i x)

type TermArg (TwITbl m arr c i x)

type TermArg (TwITbl m arr c i x) = x

data Backtrack (TwITbl mF arr c i x) mF

data Backtrack (TwITbl mF arr c i x) mF = BtITbl !c !(arr i x)

type TNE (TwITblBt arr EmptyOk i x mF mB r)

type TNE (TwITblBt arr EmptyOk i x mF mB r) = TwITblBt arr NonEmpty i x mF mB r

type TE (TwITblBt arr EmptyOk i x mF mB r)

type TE (TwITblBt arr EmptyOk i x mF mB r) = TwITblBt arr EmptyOk i x mF mB r

type Stack (TwITblBt arr c i x mF mB r)

type Stack (TwITblBt arr c i x mF mB r) = (:!:) S (TwITblBt arr c i x mF mB r)

type TermArg (TwITblBt arr c i x mF mB r)

type TermArg (TwITblBt arr c i x mF mB r) = (x, [r])

type TwITbl m arr c i x = TW (ITbl arr c i x) (i -> i -> m x)

type TwITblBt arr c i x mF mB r = TW (Backtrack (TwITbl mF arr c i x) mF mB) (i -> i -> mB [r])

axiom stuff

Element

Multi-dim extensions