Control.Monad.Trans.Order.Lazy

The Order monad

type Order o = OrderT o Identity

evalOrder :: (forall o. Order o a) -> a

evalOrderWith :: Algorithm -> (forall o. Order o a) -> a

The OrderT monad transformer

data OrderT o m a

Instances

MonadTrans (OrderT o)

Monad m => Monad (OrderT o m)

Functor m => Functor (OrderT o m)

Monad m => Applicative (OrderT o m)

MonadPlus m => Alternative (OrderT o m)

MonadPlus m => MonadPlus (OrderT o m)

MonadIO m => MonadIO (OrderT o m)

evalOrderT :: Monad m => (forall o. OrderT o m a) -> m a

evalOrderTWith :: Monad m => Algorithm -> (forall o. OrderT o m a) -> m a

force :: Monad m => OrderT o m ()

Elements

newMinimum :: Monad m => OrderT o m (Element o)

newMaximum :: Monad m => OrderT o m (Element o)

newAfter :: Monad m => Element o -> OrderT o m (Element o)

newBefore :: Monad m => Element o -> OrderT o m (Element o)