Copyright | (C) 2015, Yu Fukuzawa |
---|---|
License | BSD3 |
Maintainer | minpou.primer@email.com |
Stability | experimental |
Portability | portable |
Safe Haskell | None |
Language | Haskell2010 |
- liftOp :: Monad m => (a -> b) -> Ref m a -> Ref m b
- liftOp2 :: Monad m => (a -> b -> c) -> Ref m a -> Ref m b -> Ref m c
- (~$) :: Monad m => (a -> b) -> Ref m a -> Ref m b
- (~*) :: Monad m => Ref m (a -> b) -> Ref m a -> Ref m b
- (/.) :: Monad m => Integral a => Ref m a -> Ref m a -> Ref m a
- (%.) :: Monad m => Integral a => Ref m a -> Ref m a -> Ref m a
- (^.) :: (Num a, Integral b, Monad m) => Ref m a -> Ref m b -> Ref m a
- (&&.) :: Monad m => Ref m Bool -> Ref m Bool -> Ref m Bool
- (||.) :: Monad m => Ref m Bool -> Ref m Bool -> Ref m Bool
- (==.) :: (Ord a, Monad m) => Ref m a -> Ref m a -> Ref m Bool
- (/=.) :: (Ord a, Monad m) => Ref m a -> Ref m a -> Ref m Bool
- (>=.) :: (Ord a, Monad m) => Ref m a -> Ref m a -> Ref m Bool
- (<=.) :: (Ord a, Monad m) => Ref m a -> Ref m a -> Ref m Bool
- (>.) :: (Ord a, Monad m) => Ref m a -> Ref m a -> Ref m Bool
- (<.) :: (Ord a, Monad m) => Ref m a -> Ref m a -> Ref m Bool
- notR :: Monad m => Ref m Bool -> Ref m Bool
- (&.) :: (Bits a, Monad m) => Ref m a -> Ref m a -> Ref m a
- (|.) :: (Bits a, Monad m) => Ref m a -> Ref m a -> Ref m a
- xorR :: (Bits a, Monad m) => Ref m a -> Ref m a -> Ref m a
- complR :: (Bits a, Monad m) => Ref m a -> Ref m a
- (<<.) :: (Bits a, Monad m) => Ref m a -> Ref m Int -> Ref m a
- (>>.) :: (Bits a, Monad m) => Ref m a -> Ref m Int -> Ref m a
- assignModify :: MonadBase (BaseEff m) m => (a -> b -> a) -> Ref (BaseEff m) a -> Ref (BaseEff m) b -> m ()
- (=:) :: MonadBase (BaseEff m) m => Ref (BaseEff m) a -> Ref (BaseEff m) a -> m ()
- (+=:) :: (Num a, MonadBase (BaseEff m) m) => Ref (BaseEff m) a -> Ref (BaseEff m) a -> m ()
- (-=:) :: (Num a, MonadBase (BaseEff m) m) => Ref (BaseEff m) a -> Ref (BaseEff m) a -> m ()
- (*=:) :: (Num a, MonadBase (BaseEff m) m) => Ref (BaseEff m) a -> Ref (BaseEff m) a -> m ()
- (/=:) :: (Integral a, MonadBase (BaseEff m) m) => Ref (BaseEff m) a -> Ref (BaseEff m) a -> m ()
- (%=:) :: (Integral a, MonadBase (BaseEff m) m) => Ref (BaseEff m) a -> Ref (BaseEff m) a -> m ()
- (^=:) :: (Num a, Integral b, MonadBase (BaseEff m) m) => Ref (BaseEff m) a -> Ref (BaseEff m) b -> m ()
- (//=:) :: (Fractional a, MonadBase (BaseEff m) m) => Ref (BaseEff m) a -> Ref (BaseEff m) a -> m ()
- (**=:) :: (Floating a, MonadBase (BaseEff m) m) => Ref (BaseEff m) a -> Ref (BaseEff m) a -> m ()
- (<>=:) :: (Monoid a, MonadBase (BaseEff m) m) => Ref (BaseEff m) a -> Ref (BaseEff m) a -> m ()
- (&&=:) :: MonadBase (BaseEff m) m => Ref (BaseEff m) Bool -> Ref (BaseEff m) Bool -> m ()
- (||=:) :: MonadBase (BaseEff m) m => Ref (BaseEff m) Bool -> Ref (BaseEff m) Bool -> m ()
- (&=:) :: (Bits a, MonadBase (BaseEff m) m) => Ref (BaseEff m) a -> Ref (BaseEff m) a -> m ()
- (|=:) :: (Bits a, MonadBase (BaseEff m) m) => Ref (BaseEff m) a -> Ref (BaseEff m) a -> m ()
- (<<=:) :: (Bits a, MonadBase (BaseEff m) m) => Ref (BaseEff m) a -> Ref (BaseEff m) Int -> m ()
- (>>=:) :: (Bits a, MonadBase (BaseEff m) m) => Ref (BaseEff m) a -> Ref (BaseEff m) Int -> m ()
- (<~) :: MonadBase (BaseEff m) m => Ref (BaseEff m) a -> m a -> m ()
- (<&~) :: MonadBase (BaseEff m) m => Ref (BaseEff m) a -> (a -> a) -> m ()
Operators
liftOp :: Monad m => (a -> b) -> Ref m a -> Ref m b Source
Apply a function to a stored value without rewriting original one.
liftOp2 :: Monad m => (a -> b -> c) -> Ref m a -> Ref m b -> Ref m c Source
Apply a binary function to two Ref
s.
(~*) :: Monad m => Ref m (a -> b) -> Ref m a -> Ref m b infixl 4 Source
Analogous to (<*>) for Applicative.
Binary Operation
Assignment Operators
assignModify :: MonadBase (BaseEff m) m => (a -> b -> a) -> Ref (BaseEff m) a -> Ref (BaseEff m) b -> m () Source
(=:) :: MonadBase (BaseEff m) m => Ref (BaseEff m) a -> Ref (BaseEff m) a -> m () infix 2 Source
An assignment operator.
(+=:) :: (Num a, MonadBase (BaseEff m) m) => Ref (BaseEff m) a -> Ref (BaseEff m) a -> m () infix 2 Source
(-=:) :: (Num a, MonadBase (BaseEff m) m) => Ref (BaseEff m) a -> Ref (BaseEff m) a -> m () infix 2 Source
(*=:) :: (Num a, MonadBase (BaseEff m) m) => Ref (BaseEff m) a -> Ref (BaseEff m) a -> m () infix 2 Source
(/=:) :: (Integral a, MonadBase (BaseEff m) m) => Ref (BaseEff m) a -> Ref (BaseEff m) a -> m () infix 2 Source
(%=:) :: (Integral a, MonadBase (BaseEff m) m) => Ref (BaseEff m) a -> Ref (BaseEff m) a -> m () infix 2 Source
(^=:) :: (Num a, Integral b, MonadBase (BaseEff m) m) => Ref (BaseEff m) a -> Ref (BaseEff m) b -> m () infix 2 Source
(//=:) :: (Fractional a, MonadBase (BaseEff m) m) => Ref (BaseEff m) a -> Ref (BaseEff m) a -> m () infix 2 Source
(**=:) :: (Floating a, MonadBase (BaseEff m) m) => Ref (BaseEff m) a -> Ref (BaseEff m) a -> m () infix 2 Source
(<>=:) :: (Monoid a, MonadBase (BaseEff m) m) => Ref (BaseEff m) a -> Ref (BaseEff m) a -> m () infix 2 Source
(&&=:) :: MonadBase (BaseEff m) m => Ref (BaseEff m) Bool -> Ref (BaseEff m) Bool -> m () infix 2 Source
(||=:) :: MonadBase (BaseEff m) m => Ref (BaseEff m) Bool -> Ref (BaseEff m) Bool -> m () infix 2 Source
(&=:) :: (Bits a, MonadBase (BaseEff m) m) => Ref (BaseEff m) a -> Ref (BaseEff m) a -> m () infix 2 Source
(|=:) :: (Bits a, MonadBase (BaseEff m) m) => Ref (BaseEff m) a -> Ref (BaseEff m) a -> m () infix 2 Source
(<<=:) :: (Bits a, MonadBase (BaseEff m) m) => Ref (BaseEff m) a -> Ref (BaseEff m) Int -> m () infix 2 Source
(>>=:) :: (Bits a, MonadBase (BaseEff m) m) => Ref (BaseEff m) a -> Ref (BaseEff m) Int -> m () infix 2 Source