Control.Monad.Trans.Order.Strict

Contents

• The Order monad
• The OrderT monad transformer
• Elements
• Converting between lazy and strict OrderT

Synopsis

• type Order o = OrderT o Identity
• evalOrder :: (forall o. Order o a) -> a
• evalOrderWith :: Algorithm -> (forall o. Order o a) -> a
• data OrderT o m a
• evalOrderT :: Monad m => (forall o. OrderT o m a) -> m a
• force :: Monad m => OrderT o m ()
• data Element o
• 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)
• lazyToStrictOrderT :: OrderT o m a -> OrderT o m a
• strictToLazyOrderT :: OrderT o m a -> OrderT o m a

The Order monad

The OrderT monad transformer

Elements

Converting between lazy and strict OrderT