ADP.Fusion.PointL.Core

Contexts, and running indices.

Inside

Single-tape

Multi-tape

Outside

Single-tape

Multi-tape

Complemented

Single-tape

Multi-tape

Table index modification

Orphan instances

MinSize minSize => TableStaticVar (pos :: k) minSize u (PointL C)

Methods

tableStreamIndex :: Proxy pos -> minSize -> LimitType u -> PointL C -> PointL C

MinSize minSize => TableStaticVar (pos :: k) minSize u (PointL O)

Methods

tableStreamIndex :: Proxy pos -> minSize -> LimitType u -> PointL O -> PointL O

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

Methods

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

Generic (RunningIndex (PointL I))

Associated Types

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

Methods

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

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

Generic (RunningIndex (PointL O))

Associated Types

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

Methods

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

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

Generic (RunningIndex (PointL C))

Associated Types

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

Methods

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

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

NFData (RunningIndex (PointL I))

Methods

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

Monad m => MkStream m Complement S (PointL C)

Methods

mkStream :: Proxy Complement -> S -> Int# -> LimitType (PointL C) -> PointL C -> Stream m (Elm S (PointL C))

(Monad m, MkStream m ps S is) => MkStream m (ps :. Complement :: Type) S (is :. PointL C)

Methods

mkStream :: Proxy (ps :. Complement) -> S -> Int# -> LimitType (is :. PointL C) -> (is :. PointL C) -> Stream m (Elm S (is :. PointL C))

(Monad m, MkStream m ps S is, KnownNat d) => MkStream m (ps :. OFirstLeft d :: Type) S (is :. PointL O)

Methods

mkStream :: Proxy (ps :. OFirstLeft d) -> S -> Int# -> LimitType (is :. PointL O) -> (is :. PointL O) -> Stream m (Elm S (is :. PointL O))

(Monad m, MkStream m ps S is, KnownNat d) => MkStream m (ps :. OStatic d :: Type) S (is :. PointL O)

Methods

mkStream :: Proxy (ps :. OStatic d) -> S -> Int# -> LimitType (is :. PointL O) -> (is :. PointL O) -> Stream m (Elm S (is :. PointL O))

(Monad m, KnownNat d) => MkStream m (OFirstLeft d :: Type) S (PointL O)

Methods

mkStream :: Proxy (OFirstLeft d) -> S -> Int# -> LimitType (PointL O) -> PointL O -> Stream m (Elm S (PointL O))

(Monad m, KnownNat d) => MkStream m (OStatic d :: Type) S (PointL O)

Methods

mkStream :: Proxy (OStatic d) -> S -> Int# -> LimitType (PointL O) -> PointL O -> Stream m (Elm S (PointL O))

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

Methods

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

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

Methods

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

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

Methods

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

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

Methods

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