module ADP.Fusion.Term.Strng.Subword where
import Data.Proxy
import Data.Strict.Tuple
import Data.Vector.Fusion.Util (delay_inline)
import Debug.Trace
import Prelude hiding (map)
import qualified Data.Vector.Fusion.Stream.Monadic as S
import qualified Data.Vector.Generic as VG
import Data.PrimitiveArray
import ADP.Fusion.Base
import ADP.Fusion.Term.Strng.Type
instance
( TmkCtx1 m ls (Strng v x) (Subword i)
) => MkStream m (ls :!: Strng v x) (Subword i) where
mkStream (ls :!: strng) sv us is
= S.map (\(ss,ee,ii) -> ElmStrng ee ii ss)
. addTermStream1 strng sv us is
$ mkStream ls (termStaticVar strng sv is) us (termStreamIndex strng sv is)
instance
( TstCtx m ts s x0 i0 is (Subword I)
) => TermStream m (TermSymbol ts (Strng v x)) s (is:.Subword I) where
termStream (ts:|Strng f minL maxL v) (cs:.IStatic d) (us:.Subword (ui:.uj)) (is:.Subword (i:.j))
= S.filter (\(TState s _ _) ->
let RiSwI l = getIndex (getIdx s) (Proxy :: PRI is (Subword I))
k = undefined
in lk <= maxL)
. S.map (\(TState s ii ee) ->
let RiSwI l = getIndex (getIdx s) (Proxy :: PRI is (Subword I))
in TState s (ii:.:RiSwI j) (ee:.f l (jl) v) )
. termStream ts cs us is
termStream (ts:|Strng f minL maxL v) (cs:.IVariable d) (us:._) (is:.Subword (i:.j))
= S.flatten mk step . termStream ts cs us is
where mk (tstate@(TState s ii ee)) =
let RiSwI k = getIndex (getIdx s) (Proxy :: PRI is (Subword I))
in return (tstate, k+minL, min j (k+maxL))
step = undefined