Top.Monad.Select

Documentation

newtype Select t m a

Constructors

Select (m a)

Instances

(MonadState s m, Embedded label s t) => MonadState t (Select t m)

MonadTrans (Select t)

Monad m => Monad (Select t m)

(MonadState s m, HasBasic m info, HasTI m info, Embedded ClassSubst s (GreedyState info)) => HasSubst (Select (GreedyState info) m) info

(MonadState s m, HasBasic m info, HasTI m info, Embedded ClassSubst s (SimpleState info)) => HasSubst (Select (SimpleState info) m) info

(HasBasic m info, HasTI m info, HasQual m info, HasTG m info, MonadWriter LogEntries m, Show info, MonadState s m, Embedded ClassSubst s (TypeGraphState info)) => HasSubst (Select (TypeGraphState info) m) info

(MonadState s m, HasBasic m info, HasTI m info, TypeConstraintInfo info, Embedded ClassQual s (OverloadingState info)) => HasQual (Select (OverloadingState info) m) info

(MonadState s m, Embedded ClassTI s (TIState info)) => HasTI (Select (TIState info) m) info

(MonadState s m, Embedded ClassSubst s (TypeGraphState info)) => HasTG (Select (TypeGraphState info) m) info

select :: m a -> Select t m a

data SelectFix t m a

Constructors

SelectFix (m a)

Instances

MonadTrans (SelectFix t)

(MonadState s m, Embedded label s (t m)) => MonadState (t m) (SelectFix t m)

Monad m => Monad (SelectFix t m)

(MonadState s m, Embedded ClassBasic s (BasicState info m)) => HasBasic (SelectFix (BasicState info) m) info

selectFix :: m a -> SelectFix t m a

class Embedded label s t | label s -> t, t -> label where

Methods

embedding :: Embedding s t

Instances

Embedded ClassSubst (GreedyState info) (GreedyState info)

Embedded ClassSubst (SimpleState info) (SimpleState info)

Embedded ClassSubst (TypeGraphState info) (TypeGraphState info)

Embedded ClassQual (OverloadingState info) (OverloadingState info)

Embedded c s2 t => Embedded c (s1, s2) t

Embedded ClassBasic (BasicState info m) (BasicState info m)

Embedded c x s => Embedded c (Fix a x m) s

Embedded c x s => Embedded c (Simple a x m) s

Embedded ClassSubst (Simple (GreedyState info) m b) (GreedyState info)

Embedded ClassSubst (Simple (SimpleState info) x m) (SimpleState info)

Embedded ClassSubst (Simple (TypeGraphState info) x m) (TypeGraphState info)

Embedded ClassQual (Simple (OverloadingState info) x m) (OverloadingState info)

Embedded ClassTI (Simple (TIState info) x m) (TIState info)

Embedded ClassBasic (Fix (BasicState info) x m) (BasicState info m)

Embedded c (f (g x m) m) s => Embedded c (And f g x m) s

deselect :: Select t m a -> m a

deselectFor :: (Embedded label s t, MonadState s m) => label -> Select t m a -> m a

deselectFix :: SelectFix t m a -> m a

deselectFixFor :: (Embedded label s (t m), MonadState s m) => label -> SelectFix t m a -> m a

module Control.Monad.State