module ADP.Fusion.Term.Epsilon.Subword where
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.Epsilon.Type
instance
( Monad m
, MkStream m ls Subword
) => MkStream m (ls :!: Epsilon) Subword where
mkStream (ls :!: Epsilon) (IStatic ()) hh ij@(Subword (i:.j))
= staticCheck (i==j)
$ map (ElmEpsilon (subword i j) (subword 0 0))
$ mkStream ls (IStatic ()) hh ij
instance
( Monad m
, MkStream m ls (Outside Subword)
) => MkStream m (ls :!: Epsilon) (Outside Subword) where
mkStream (ls :!: Epsilon) (OStatic d) u ij@(O (Subword (i:.j)))
= map (ElmEpsilon (O $ subword i j) (O $ subword i j))
$ mkStream ls (OStatic d) u ij