Bound.Class

Documentation

class Bound t where

This may or may not be a monad transformer,

If it is, then you can use m >>>= f = m >>= lift . f

This is useful for types like expression lists, case alternatives, schemas, etc. that may not be expressions in their own right, but often contain one.

Methods

(>>>=) :: Monad f => t f a -> (a -> f c) -> t f c

Instances

Bound (Scope b)

(=<<<) :: (Bound t, Monad f) => (a -> f c) -> t f a -> t f c