ADP.Fusion.PointR.Core

Contexts, and running indices.

Inside

Single-tape

Multi-tape

Outside

Single-tape

Complemented

Single-tape

Multi-tape

Table index modification

Orphan instances

MinSize minSize => TableStaticVar (pos :: k) minSize u (PointR I)

Methods

tableStreamIndex :: Proxy pos -> minSize -> LimitType u -> PointR I -> PointR I

Generic (RunningIndex (PointR I))

Associated Types

type Rep (RunningIndex (PointR I)) :: Type -> Type

Methods

from :: RunningIndex (PointR I) -> Rep (RunningIndex (PointR I)) x

to :: Rep (RunningIndex (PointR I)) x -> RunningIndex (PointR I)

Generic (RunningIndex (PointR O))

Associated Types

type Rep (RunningIndex (PointR O)) :: Type -> Type

Methods

from :: RunningIndex (PointR O) -> Rep (RunningIndex (PointR O)) x

to :: Rep (RunningIndex (PointR O)) x -> RunningIndex (PointR O)

Generic (RunningIndex (PointR C))

Associated Types

type Rep (RunningIndex (PointR C)) :: Type -> Type

Methods

from :: RunningIndex (PointR C) -> Rep (RunningIndex (PointR C)) x

to :: Rep (RunningIndex (PointR C)) x -> RunningIndex (PointR C)

NFData (RunningIndex (PointR I))

Methods

rnf :: RunningIndex (PointR I) -> ()

(Monad m, MkStream m ps S is, KnownNat d) => MkStream m (ps :. IVariable d :: Type) S (is :. PointR I)

Methods

mkStream :: Proxy (ps :. IVariable d) -> S -> Int# -> LimitType (is :. PointR I) -> (is :. PointR I) -> Stream m (Elm S (is :. PointR I))

(Monad m, MkStream m ps S is, KnownNat d) => MkStream m (ps :. IStatic d :: Type) S (is :. PointR I)

Methods

mkStream :: Proxy (ps :. IStatic d) -> S -> Int# -> LimitType (is :. PointR I) -> (is :. PointR I) -> Stream m (Elm S (is :. PointR I))

(Monad m, KnownNat d) => MkStream m (IVariable d :: Type) S (PointR I)

Methods

mkStream :: Proxy (IVariable d) -> S -> Int# -> LimitType (PointR I) -> PointR I -> Stream m (Elm S (PointR I))

(Monad m, KnownNat d) => MkStream m (IStatic d :: Type) S (PointR I)

Methods

mkStream :: Proxy (IStatic d) -> S -> Int# -> LimitType (PointR I) -> PointR I -> Stream m (Elm S (PointR I))