Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- data TPred m a where
- Prop :: MSF m a Bool -> TPred m a
- And :: TPred m a -> TPred m a -> TPred m a
- Or :: TPred m a -> TPred m a -> TPred m a
- Not :: TPred m a -> TPred m a
- Implies :: TPred m a -> TPred m a -> TPred m a
- Always :: TPred m a -> TPred m a
- Eventually :: TPred m a -> TPred m a
- Next :: TPred m a -> TPred m a
- Until :: TPred m a -> TPred m a -> TPred m a
- tPredMap :: (Functor m, Applicative m, Monad m) => (MSF m a Bool -> m (MSF m a Bool)) -> TPred m a -> m (TPred m a)
- evalT :: (Functor m, Applicative m, Monad m) => TPred (ReaderT DTime m) a -> SignalSampleStream a -> m Bool
Documentation
Type representing future-time linear temporal logic with until and next.
Prop :: MSF m a Bool -> TPred m a | |
And :: TPred m a -> TPred m a -> TPred m a | |
Or :: TPred m a -> TPred m a -> TPred m a | |
Not :: TPred m a -> TPred m a | |
Implies :: TPred m a -> TPred m a -> TPred m a | |
Always :: TPred m a -> TPred m a | |
Eventually :: TPred m a -> TPred m a | |
Next :: TPred m a -> TPred m a | |
Until :: TPred m a -> TPred m a -> TPred m a |