ADP.Fusion.Base.Multi

Multi-dimensional extension

data M

Terminates a multi-dimensional terminal symbol stack.

Constructors

M

Instances

Eq M

Show M

TermStaticVar M Z

Monad m => TermStream m M s Z

type TermArg M = Z

data TermSymbol a b

Terminal symbols are stacked together with a tails and b head.

Constructors

a :| b infixl 2

Instances

(SplitIxCol uId (SameSid uId (Elm ls i)) (Elm ls i), Zconcat (SplitIxTy uId (SameSid uId (Elm ls i)) (Elm ls i)) (SplitIxTy uId (SameSid uId (TermSymbol a b)) (TermSymbol a b))) => SplitIxCol uId True (Elm ((:!:) ls (TermSymbol a b)) i)

(Monad m, MkStream m ls i, Element ls i, TermStaticVar (TermSymbol a b) i, TermStream m (TermSymbol a b) (Elm ls i) i) => MkStream m ((:!:) ls (TermSymbol a b)) i

(Eq a, Eq b) => Eq (TermSymbol a b)

(Show i, Show (RunningIndex i), Show (TermArg (TermSymbol a b)), Show (Elm ls i)) => Show (Elm ((:!:) ls (TermSymbol a b)) i)

(Show a, Show b) => Show (TermSymbol a b)

Build (TermSymbol a b)

Element ls i => Element ((:!:) ls (TermSymbol a b)) i

(TermStaticVar a is, TermStaticVar b i) => TermStaticVar (TermSymbol a b) ((:.) is i)

type SplitIxTy uId True (Elm ((:!:) ls (TermSymbol a b)) i) = Zpp (SplitIxTy uId (SameSid uId (Elm ls i)) (Elm ls i)) (SplitIxTy uId (SameSid uId (TermSymbol a b)) (TermSymbol a b))

type Stack (TermSymbol a b) = (:!:) S (TermSymbol a b)

data Elm ((:!:) ls (TermSymbol a b)) = ElmTS !(TermArg (TermSymbol a b)) !(RunningIndex i) !(Elm ls i)

type Arg ((:!:) ls (TermSymbol a b)) = (:.) (Arg ls) (TermArg (TermSymbol a b))

type TermArg (TermSymbol a b) = (:.) (TermArg a) (TermArg b)

type family TermArg x :: *

Extracts the type of a multi-dimensional terminal argument.

Instances

type TermArg M = Z

type TermArg Deletion = ()

type TermArg Epsilon = ()

type TermArg (Edge e) = e

type TermArg (PeekIndex i) = PeekIndex i

type TermArg (TermSymbol a b) = (:.) (TermArg a) (TermArg b)

type TermArg (Chr r x) = r

type TermArg (Strng v x) = v x

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

type TermArg (IRec m c i x) = x

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

class TermStaticVar t i where

For multi-dimensional terminals we need to be able to calculate how the static/variable signal changes and if the index for the inner part needs to be modified.

Methods

termStaticVar :: t -> Context i -> i -> Context i

termStreamIndex :: t -> Context i -> i -> i

Instances

TermStaticVar M Z

(TermStaticVar a is, TermStaticVar b i) => TermStaticVar (TermSymbol a b) ((:.) is i)

class TableStaticVar u c i where

Methods

tableStaticVar :: Proxy u -> c -> Context i -> i -> Context i

tableStreamIndex :: Proxy u -> c -> Context i -> i -> i

Instances

TableStaticVar c u Z

(TableStaticVar us cs is, TableStaticVar u c i) => TableStaticVar ((:.) us u) ((:.) cs c) ((:.) is i)

data TermState s i e

Constructors

TState

Fields

tS :: !s

state coming in from the left , tIx :: !(RunningIndex a) -- I/C index from sS

iIx :: !(RunningIndex i)

I/C building up state to hand over to next symbol

eTS :: !e

element data

class TermStream m t s i where

Methods

termStream :: t -> Context i -> i -> i -> Stream m (TermState s Z Z) -> Stream m (TermState s i (TermArg t))

Instances

Monad m => TermStream m M s Z

addTermStream1 :: (Monad m, TermStream m (TermSymbol M t) (Elm (Term1 s) (Z :. i)) (Z :. i)) => t -> Context i -> i -> i -> Stream m s -> Stream m (s, TermArg t, RunningIndex i)

TODO need t -> ElmType t type function

TODO need to actually return an ElmType t can do that instead of returning u !!!

newtype Term1 s

Constructors

Term1 s

Instances

((~) * s (Elm x0 i), Element x0 i) => Element (Term1 s) ((:.) Z i)

data Elm (Term1 s) ((:.) Z i) = ElmTerm1 s

elmTerm1 :: s -> i -> Elm (Term1 s) (Z :. i)

type TmkCtx1 m ls t i = (Monad m, MkStream m ls i, TermStream m (TermSymbol M t) (Elm (Term1 (Elm ls i)) (Z :. i)) (Z :. i), Element ls i, TermStaticVar t i)

Term MkStream context

type TstCtx m ts s x0 sixty is i = (Monad m, TermStream m ts s is, GetIndex (RunningIndex sixty) (RunningIndex (is :. i)), GetIx (RunningIndex sixty) (RunningIndex (is :. i)) ~ RunningIndex i, Element x0 sixty, s ~ Elm x0 sixty)

Term TermStream context

type PRI is i = Proxy (RunningIndex (is :. i))

Shorthand for proxifying getIndex