FRP.Dunai.LTLPast

Past LTL using MSFs.

Add assertions inside MSFs.

There are two ways of adding assertions to MSFs: piping the results of Boolean-carrying MSFs into other MSFs, or wrapping MSFs into other MSFs (using combinators).

Past LTL as MSFs

Propositional MSFs

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

Temporal MSFs

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

Past LTL combinators

type SPred m a = MSF m a Bool

A signal predicate is an MSF whose output is a Boolean value.

Propositional MSFs

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

Temporal MSFs

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