ADP.Fusion.PointL.Term.Str

Orphan instances

(TermStream m (Z :. pos) (TermSymbol M (Str linked minSz maxSz v x)) (Elm (Term1 (Elm ls (PointL i))) (Z :. PointL i)) (Z :. PointL i), posLeft ~ LeftPosTy pos (Str linked minSz maxSz v x) (PointL i), TermStaticVar pos (Str linked minSz maxSz v x) (PointL i), MkStream m posLeft ls (PointL i)) => MkStream m (pos :: Type) (ls :!: Str linked minSz maxSz v x) (PointL i)

Methods

mkStream :: Proxy pos -> (ls :!: Str linked minSz maxSz v x) -> Int# -> LimitType (PointL i) -> PointL i -> Stream m (Elm (ls :!: Str linked minSz maxSz v x) (PointL i))

TermStreamContext m ps ts s x0 i0 is (PointL I) => TermStream m (ps :. IStatic d :: Type) (TermSymbol ts (Str (Nothing :: Maybe Symbol) minSz (Nothing :: Maybe Nat) v x)) s (is :. PointL I)

Note that the minSz should automatically work out due to the encoding in d.

Methods

termStream :: Proxy (ps :. IStatic d) -> TermSymbol ts (Str Nothing minSz Nothing v x) -> LimitType (is :. PointL I) -> (is :. PointL I) -> Stream m (TermState s Z Z) -> Stream m (TermState s (is :. PointL I) (TermArg (TermSymbol ts (Str Nothing minSz Nothing v x))))

KnownNat minSz => TermStaticVar (IStatic d :: Type) (Str (Nothing :: Maybe Symbol) minSz (Nothing :: Maybe Nat) v x) (PointL I)

Methods

termStreamIndex :: Proxy (IStatic d) -> Str Nothing minSz Nothing v x -> PointL I -> PointL I

termStaticCheck :: Proxy (IStatic d) -> Str Nothing minSz Nothing v x -> LimitType (PointL I) -> PointL I -> Int# -> Int#