module ADP.Fusion.Term.Deletion.Subword where
import Data.Proxy
import Data.Strict.Tuple
import Data.Vector.Fusion.Stream.Monadic as S
import Prelude hiding (map)
import Data.PrimitiveArray hiding (map)
import ADP.Fusion.Base
import ADP.Fusion.Term.Deletion.Type
instance
( TmkCtx1 m ls Deletion (Subword i)
) => MkStream m (ls :!: Deletion) (Subword i) where
mkStream (ls :!: Deletion) sv us is
= map (\(ss,ee,ii) -> ElmDeletion ii ss)
. addTermStream1 Deletion sv us is
$ mkStream ls (termStaticVar Deletion sv is) us (termStreamIndex Deletion sv is)
instance
( TstCtx m ts s x0 i0 is (Subword I)
) => TermStream m (TermSymbol ts Deletion) s (is:.Subword I) where
termStream (ts:|Deletion) (cs:.IStatic d) (us:.u) (is:.Subword (i:.j))
= S.map (\(TState s ii ee) -> TState s (ii:.:RiSwI j) (ee:.()) )
. termStream ts cs us is
termStream (ts:|Deletion) (cs:.IVariable d) (us:.u) (is:.Subword (i:.j))
= S.map (\(TState s ii ee) ->
let l = getIndex (getIdx s) (Proxy :: PRI is (Subword I))
in TState s (ii:.:l) (ee:.()) )
. termStream ts cs us is
instance
( TstCtx m ts s x0 i0 is (Subword O)
) => TermStream m (TermSymbol ts Deletion) s (is:.Subword O) where
termStream (ts:|Deletion) (cs:._) (us:.u) (is:.Subword (i:.j))
= S.map (\(TState s ii ee) ->
let RiSwO _ k oi oj = getIndex (getIdx s) (Proxy :: PRI is (Subword O))
in TState s (ii:.:RiSwO k k oi oj) (ee:.()) )
. termStream ts cs us is
instance TermStaticVar Deletion (Subword I) where
termStaticVar _ sv _ = sv
termStreamIndex _ _ ij = ij
instance TermStaticVar Deletion (Subword O) where
termStaticVar _ sv _ = sv
termStreamIndex _ _ ij = ij