Safe Haskell | None |
---|---|
Language | Haskell2010 |
- type Order o = OrderT o Identity
- perform :: (a -> Order o b) -> OrderPair o a -> OrderPair o b
- data OrderT o m a
- performT :: Functor f => (a -> OrderT o f b) -> OrderPair o a -> f (OrderPair o b)
- getOrderToken :: Applicative f => OrderT o f ()
- lift :: Functor f => f a -> OrderT o f a
- newMinimum :: Applicative f => OrderT o f (Element o)
- newMaximum :: Applicative f => OrderT o f (Element o)
- newAfter :: Applicative f => Element o -> OrderT o f (Element o)
- newBefore :: Applicative f => Element o -> OrderT o f (Element o)
The Order monad
The OrderT monad transformer
MonadTrans (OrderT o) Source # | |
Monad m => Monad (OrderT o m) Source # | |
Functor m => Functor (OrderT o m) Source # | |
MonadFix m => MonadFix (OrderT o m) Source # | |
Monad m => Applicative (OrderT o m) Source # | |
MonadIO m => MonadIO (OrderT o m) Source # | |
MonadPlus m => Alternative (OrderT o m) Source # | |
MonadPlus m => MonadPlus (OrderT o m) Source # | |
getOrderToken :: Applicative f => OrderT o f () Source #
Element creation
newMinimum :: Applicative f => OrderT o f (Element o) Source #
newMaximum :: Applicative f => OrderT o f (Element o) Source #