FRP.Dunai.LTLPast

SFs that implement temporal combinators

sofarSF :: Monad m => MSF m Bool Bool

everSF :: Monad m => MSF m Bool Bool

untilSF :: Monad m => MSF m (Bool, Bool) Bool

lastSF :: Monad m => MSF m Bool Bool

andSF :: Monad m => MSF m (Bool, Bool) Bool

orSF :: Monad m => MSF m (Bool, Bool) Bool

notSF :: Monad m => MSF m Bool Bool

impliesSF :: Monad m => MSF m (Bool, Bool) Bool

SF combinators that implement temporal combinators

type SPred m a = MSF m a Bool

notSF' :: Monad m => SPred m a -> SPred m a

andSF' :: Monad m => SPred m a -> SPred m a -> SPred m a

orSF' :: Monad m => SPred m a -> SPred m a -> SPred m a

implySF' :: Monad m => SPred m a -> SPred m a -> SPred m a

history' :: Monad m => SPred m a -> SPred m a

ever' :: Monad m => SPred m a -> SPred m a

prev' :: Monad m => SPred m a -> SPred m a

prev :: Monad m => b -> MSF m a b -> MSF m a b