Safe Haskell	None
Language	Haskell2010

Blucontrol.Monad.Control.Count

Documentation

data ControlCountT m a Source #

Instances

Instances details

MonadTrans ControlCountT Source #
Instance details Defined in Blucontrol.Monad.Control.Count Methods lift :: Monad m => m a -> ControlCountT m a #
MonadTransControl ControlCountT Source #
Instance details Defined in Blucontrol.Monad.Control.Count Associated Types type StT ControlCountT a # Methods liftWith :: Monad m => (Run ControlCountT -> m a) -> ControlCountT m a # restoreT :: Monad m => m (StT ControlCountT a) -> ControlCountT m a #
MonadBase b m => MonadBase b (ControlCountT m) Source #
Instance details Defined in Blucontrol.Monad.Control.Count Methods liftBase :: b α -> ControlCountT m α #
MonadBaseControl b m => MonadBaseControl b (ControlCountT m) Source #
Instance details Defined in Blucontrol.Monad.Control.Count Associated Types type StM (ControlCountT m) a # Methods liftBaseWith :: (RunInBase (ControlCountT m) b -> b a) -> ControlCountT m a # restoreM :: StM (ControlCountT m) a -> ControlCountT m a #
Monad m => Monad (ControlCountT m) Source #
Instance details Defined in Blucontrol.Monad.Control.Count Methods (>>=) :: ControlCountT m a -> (a -> ControlCountT m b) -> ControlCountT m b # (>>) :: ControlCountT m a -> ControlCountT m b -> ControlCountT m b # return :: a -> ControlCountT m a #
Functor m => Functor (ControlCountT m) Source #
Instance details Defined in Blucontrol.Monad.Control.Count Methods fmap :: (a -> b) -> ControlCountT m a -> ControlCountT m b # (<$) :: a -> ControlCountT m b -> ControlCountT m a #
Monad m => Applicative (ControlCountT m) Source #
Instance details Defined in Blucontrol.Monad.Control.Count Methods pure :: a -> ControlCountT m a # (<>) :: ControlCountT m (a -> b) -> ControlCountT m a -> ControlCountT m b # liftA2 :: (a -> b -> c) -> ControlCountT m a -> ControlCountT m b -> ControlCountT m c # (>) :: ControlCountT m a -> ControlCountT m b -> ControlCountT m b # (<*) :: ControlCountT m a -> ControlCountT m b -> ControlCountT m a #
MonadBaseControl IO m => MonadControl (ControlCountT m) Source #
Instance details Defined in Blucontrol.Monad.Control.Count Associated Types type ControlConstraint (ControlCountT m) a Source # Methods doInbetween :: ControlConstraint (ControlCountT m) a => a -> ControlCountT m () Source #
type StT ControlCountT a Source #
Instance details Defined in Blucontrol.Monad.Control.Count type StT ControlCountT a
type StM (ControlCountT m) a Source #
Instance details Defined in Blucontrol.Monad.Control.Count type StM (ControlCountT m) a = StM (StateT Natural (ReaderT ConfigCount m)) a
type ControlConstraint (ControlCountT m) a Source #
Instance details Defined in Blucontrol.Monad.Control.Count type ControlConstraint (ControlCountT m) a = CountableException a

runControlCountT :: Monad m => ConfigCount -> ControlCountT m a -> m a Source #

newtype ConfigCount Source #

Constructors

ConfigCount
Fields maxCount :: Natural

Instances

Instances details

Eq ConfigCount Source #
Instance details Defined in Blucontrol.Monad.Control.Count Methods (==) :: ConfigCount -> ConfigCount -> Bool # (/=) :: ConfigCount -> ConfigCount -> Bool #
Ord ConfigCount Source #
Instance details Defined in Blucontrol.Monad.Control.Count Methods compare :: ConfigCount -> ConfigCount -> Ordering # (<) :: ConfigCount -> ConfigCount -> Bool # (<=) :: ConfigCount -> ConfigCount -> Bool # (>) :: ConfigCount -> ConfigCount -> Bool # (>=) :: ConfigCount -> ConfigCount -> Bool # max :: ConfigCount -> ConfigCount -> ConfigCount # min :: ConfigCount -> ConfigCount -> ConfigCount #
Read ConfigCount Source #
Instance details Defined in Blucontrol.Monad.Control.Count Methods readsPrec :: Int -> ReadS ConfigCount # readList :: ReadS [ConfigCount] # readPrec :: ReadPrec ConfigCount # readListPrec :: ReadPrec [ConfigCount] #
Show ConfigCount Source #
Instance details Defined in Blucontrol.Monad.Control.Count Methods showsPrec :: Int -> ConfigCount -> ShowS # show :: ConfigCount -> String # showList :: [ConfigCount] -> ShowS #
Generic ConfigCount Source #
Instance details Defined in Blucontrol.Monad.Control.Count Associated Types type Rep ConfigCount :: Type -> Type # Methods from :: ConfigCount -> Rep ConfigCount x # to :: Rep ConfigCount x -> ConfigCount #
Default ConfigCount Source #
Instance details Defined in Blucontrol.Monad.Control.Count Methods def :: ConfigCount #
NFData ConfigCount Source #
Instance details Defined in Blucontrol.Monad.Control.Count Methods rnf :: ConfigCount -> () #
type Rep ConfigCount Source #
Instance details Defined in Blucontrol.Monad.Control.Count type Rep ConfigCount = D1 ('MetaData "ConfigCount" "Blucontrol.Monad.Control.Count" "blucontrol-0.5.1.1-inplace" 'True) (C1 ('MetaCons "ConfigCount" 'PrefixI 'True) (S1 ('MetaSel ('Just "maxCount") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural)))

class CountableException a where Source #

Methods

isException :: a -> Bool Source #

Instances

Instances details

CountableException () Source #
Instance details Defined in Blucontrol.Monad.Control.Count Methods isException :: () -> Bool Source #
CountableException a => CountableException (Maybe a) Source #
Instance details Defined in Blucontrol.Monad.Control.Count Methods isException :: Maybe a -> Bool Source #
CountableException a => CountableException (Either b a) Source #
Instance details Defined in Blucontrol.Monad.Control.Count Methods isException :: Either b a -> Bool Source #