module ADP.Fusion.Term.Deletion.Unit where
import Data.Proxy
import Data.Strict.Tuple
import qualified Data.Vector.Fusion.Stream.Monadic as S
import Data.PrimitiveArray
import ADP.Fusion.Core
import ADP.Fusion.Core.Unit
instance
( TmkCtx1 m ls Deletion (Unit i)
) => MkStream m (ls :!: Deletion) (Unit i) where
mkStream (ls :!: Deletion) sv us is
= S.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 (Unit I)
) => TermStream m (TermSymbol ts Deletion) s (is:.Unit I) where
termStream (ts:|Deletion) (cs:.IStatic ()) (us:._) (is:._)
= S.map (\(TState s ii ee) -> TState s (ii:.:RiU) (ee:.()))
. termStream ts cs us is
instance
( TstCtx m ts s x0 i0 is (Unit O)
) => TermStream m (TermSymbol ts Deletion) s (is:.Unit O) where
termStream (ts:|Deletion) (cs:.OStatic ()) (us:._) (is:._)
= S.map (\(TState s ii ee) -> TState s (ii:.:RiU) (ee:.()))
. termStream ts cs us is
instance TermStaticVar Deletion (Unit I) where
termStaticVar _ _ _ = IStatic ()
termStreamIndex _ _ _ = Unit
instance TermStaticVar Deletion (Unit O) where
termStaticVar _ _ _ = OStatic ()
termStreamIndex _ _ _ = Unit