ADP.Fusion.Core.Multi

Multi-dimensional extension

data M

Terminates a multi-dimensional terminal symbol stack.

Constructors

M

Instances

Eq M

Methods

(==) :: M -> M -> Bool

(/=) :: M -> M -> Bool

Show M

Methods

showsPrec :: Int -> M -> ShowS

show :: M -> String

showList :: [M] -> ShowS

TermStaticVar M Z

Methods

termStaticVar :: M -> Context Z -> Z -> Context Z

termStreamIndex :: M -> Context Z -> Z -> Z

Monad m => TermStream m M s Z

Methods

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

type TermArg M

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)

Associated Types

type SplitIxTy (uId :: Symbol) (True :: Bool) (Elm ((:!:) ls (TermSymbol a b)) i) :: *

Methods

splitIxCol :: Proxy Symbol uId -> Proxy Bool True -> Elm (ls :!: TermSymbol a b) i -> SplitIxTy 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

Methods

mkStream :: (ls :!: TermSymbol a b) -> Context i -> i -> i -> Stream m (Elm (ls :!: TermSymbol a b) i)

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

Methods

(==) :: TermSymbol a b -> TermSymbol a b -> Bool

(/=) :: TermSymbol a b -> TermSymbol a b -> Bool

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

Methods

showsPrec :: Int -> Elm (ls :!: TermSymbol a b) i -> ShowS

show :: Elm (ls :!: TermSymbol a b) i -> String

showList :: [Elm (ls :!: TermSymbol a b) i] -> ShowS

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

Methods

showsPrec :: Int -> TermSymbol a b -> ShowS

show :: TermSymbol a b -> String

showList :: [TermSymbol a b] -> ShowS

Build (TermSymbol a b)

Associated Types

type Stack (TermSymbol a b) :: *

Methods

build :: TermSymbol a b -> Stack (TermSymbol a b)

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

Associated Types

data Elm ((:!:) ls (TermSymbol a b)) i :: *

type RecElm ((:!:) ls (TermSymbol a b)) i :: *

type Arg ((:!:) ls (TermSymbol a b)) :: *

Methods

getArg :: Elm (ls :!: TermSymbol a b) i -> Arg (ls :!: TermSymbol a b)

getIdx :: Elm (ls :!: TermSymbol a b) i -> RunningIndex i

getElm :: Elm (ls :!: TermSymbol a b) i -> RecElm (ls :!: TermSymbol a b) i

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

Methods

termStaticVar :: TermSymbol a b -> Context (is :. i) -> (is :. i) -> Context (is :. i)

termStreamIndex :: TermSymbol a b -> Context (is :. i) -> (is :. i) -> is :. i

type SplitIxTy uId True (Elm ((:!:) ls (TermSymbol a b)) 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)

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

data Elm ((:!:) ls (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))

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

type 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

type TermArg M = Z

type TermArg Deletion

type TermArg Deletion = ()

type TermArg Edge

type TermArg Edge = (:.) From To

type TermArg Epsilon

type TermArg Epsilon = ()

type TermArg (PeekIndex i)

type TermArg (PeekIndex i) = PeekIndex i

type TermArg (TermSymbol a b)

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

type TermArg (Chr r x)

type TermArg (Chr r x) = r

type TermArg (Strng v x)

type TermArg (Strng v x) = v x

type TermArg (TwIRec m c i x)

type TermArg (TwIRec m c i x) = x

type TermArg (TwITbl m arr c i x)

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

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

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

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.

Minimal complete definition

termStaticVar, termStreamIndex

Methods

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

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

Instances

TermStaticVar M Z

Methods

termStaticVar :: M -> Context Z -> Z -> Context Z

termStreamIndex :: M -> Context Z -> Z -> Z

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

Methods

termStaticVar :: TermSymbol a b -> Context (is :. i) -> (is :. i) -> Context (is :. i)

termStreamIndex :: TermSymbol a b -> Context (is :. i) -> (is :. i) -> is :. i

class TableStaticVar u c i where

Minimal complete definition

tableStaticVar, tableStreamIndex

Methods

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

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

Instances

TableStaticVar c u Z

Methods

tableStaticVar :: Proxy * c -> u -> Context Z -> Z -> Context Z

tableStreamIndex :: Proxy * c -> u -> Context Z -> Z -> Z

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

Methods

tableStaticVar :: Proxy * (us :. u) -> (cs :. c) -> Context (is :. i) -> (is :. i) -> Context (is :. i)

tableStreamIndex :: Proxy * (us :. u) -> (cs :. c) -> Context (is :. i) -> (is :. i) -> 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

Minimal complete definition

termStream

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

Methods

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

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)

Associated Types

data Elm (Term1 s) ((:.) Z i) :: *

type RecElm (Term1 s) ((:.) Z i) :: *

type Arg (Term1 s) :: *

Methods

getArg :: Elm (Term1 s) (Z :. i) -> Arg (Term1 s)

getIdx :: Elm (Term1 s) (Z :. i) -> RunningIndex (Z :. i)

getElm :: Elm (Term1 s) (Z :. i) -> RecElm (Term1 s) (Z :. i)

data Elm (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

Orphan instances

RuleContext Z

Associated Types

type Context Z :: *

Methods

initialContext :: Z -> Context Z

Monad m => MkStream m S Z

Methods

mkStream :: S -> Context Z -> Z -> Z -> Stream m (Elm S Z)

(RuleContext is, RuleContext i) => RuleContext ((:.) is i)

Associated Types

type Context ((:.) is i) :: *

Methods

initialContext :: (is :. i) -> Context (is :. i)