Data.MonadicStreamFunction.Core

Definitions

data MSF m a b

Monadic computations and MSFs

Lifting point-wise computations

Lifting MSFs

Lifting across monad stacks

Generic MSF Lifting

Delays

Switching

Feedback loops

Execution/simulation