module ADP.Fusion.Term.Chr.Subword where
import Data.Proxy
import Data.Strict.Tuple
import Data.Vector.Fusion.Util (delay_inline)
import Debug.Trace
import Data.Vector.Fusion.Stream.Monadic as S
import qualified Data.Vector.Generic as VG
import Prelude hiding (map)
import Data.PrimitiveArray hiding (map)
import ADP.Fusion.Base
import ADP.Fusion.Term.Chr.Type
instance
( TmkCtx1 m ls (Chr r x) (Subword i)
) => MkStream m (ls :!: Chr r x) (Subword i) where
mkStream (ls :!: Chr f xs) sv us is
= S.map (\(ss,ee,ii) -> ElmChr ee ii ss)
. addTermStream1 (Chr f xs) sv us is
$ mkStream ls (termStaticVar (Chr f xs) sv is) us (termStreamIndex (Chr f xs) sv is)
instance
( TstCtx m ts s x0 i0 is (Subword I)
) => TermStream m (TermSymbol ts (Chr r x)) s (is:.Subword I) where
termStream (ts:|Chr f xs) (cs:.IStatic ()) (us:.u) (is:.Subword (i:.j))
= id
. map (\(TState s ii ee) ->
TState s (ii:.: RiSwI j) (ee:.f xs (j1)) )
. termStream ts cs us is
termStream (ts:|Chr f xs) (cs:.IVariable ()) (us:.u) (is:.Subword (i:.j))
= map (\(TState s ii ee) ->
let RiSwI l = getIndex (getIdx s) (Proxy :: PRI is (Subword I))
in TState s (ii:.:RiSwI (l+1)) (ee:.f xs l) )
. termStream ts cs us is
instance
( TstCtx m ts s x0 i0 is (Subword O)
) => TermStream m (TermSymbol ts (Chr r x)) s (is:.Subword O) where
termStream (ts:|Chr f xs) (cs:.OStatic (di:.dj)) (us:.u) (is:.Subword (i:.j))
= map (\(TState s ii ee) ->
let RiSwO _ k oi oj = getIndex (getIdx s) (Proxy :: PRI is (Subword O))
l = k dj
in TState s (ii:.: RiSwO k (k+1) oi oj) (ee:.f xs k) )
. termStream ts cs us is
termStream (ts:|Chr f xs) (cs:.ORightOf (di:.dj)) (us:.u) (is:.i)
= map (\(TState s ii ee) ->
let RiSwO _ k oi oj = getIndex (getIdx s) (Proxy :: PRI is (Subword O))
l = k dj 1
in TState s (ii:.:RiSwO (k1) k oi oj) (ee:.f xs l) )
. termStream ts cs us is
termStream (ts:|Chr f xs) (cs:.OFirstLeft (di:.dj)) (us:.u) (is:.i)
= 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+1) oi oj) (ee:.f xs k) )
. termStream ts cs us is
termStream (ts:|Chr f xs) (cs:.OLeftOf (di:.dj)) (us:.u) (is:.i)
= 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+1) oi oj) (ee:.f xs k) )
. termStream ts cs us is
instance TermStaticVar (Chr r x) (Subword I) where
termStaticVar _ sv _ = sv
termStreamIndex _ _ (Subword (i:.j)) = subword i (j1)
instance TermStaticVar (Chr r x) (Subword O) where
termStaticVar _ (OStatic (di:.dj)) _ = OStatic (di :.dj+1)
termStaticVar _ (ORightOf (di:.dj)) _ = ORightOf (di :.dj+1)
termStaticVar _ (OFirstLeft (di:.dj)) _ = OFirstLeft (di+1:.dj )
termStaticVar _ (OLeftOf (di:.dj)) _ = OLeftOf (di+1:.dj )
termStreamIndex _ _ sw = sw