Idris2Doc
: rhone
Index
Default
Alternative
Black & White
Package rhone - Namespaces
Control.Applicative.Syntax
Data.MSF
Data.MSF.Core
Provides a data type for Monadic Stream Functions (MSFs) together with associated interface implementations and some core functionality.
Data.MSF.Event
Data.MSF.Running
Data.MSF.Switch
Switching Combinators
Data.MSF.Trans
Monad morphisms and interaction with monad transformer stacks.
Data.MSF.Util
Various utility combinators.
Data.VectorSpace