Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
Instances
Monad (State s) Source # | |
Functor (State s) Source # | |
Applicative (State s) Source # | |
Composition (State s) Source # | |
Transformer (State s) Source # | |
Adaptable (Writer e) (State e) Source # | |
Adaptable (Reader e) (State e) Source # | |
type Primary (State s) a Source # | |
type Schema (State s) u Source # | |
statefully :: s -> State s a -> (s, a) Source #
Orphan instances
Adaptable (Writer e) (State e) Source # | |
Adaptable (Reader e) (State e) Source # | |
Monad u => Monad (TUT ((->) s :: Type -> Type) u ((,) s)) Source # | |
Functor u => Functor (TUT ((->) s :: Type -> Type) u ((,) s)) Source # | |
Monad u => Applicative (TUT ((->) s :: Type -> Type) u ((,) s)) Source # | |
pure :: a -> TUT ((->) s) u ((,) s) a # (<*>) :: TUT ((->) s) u ((,) s) (a -> b) -> TUT ((->) s) u ((,) s) a -> TUT ((->) s) u ((,) s) b # liftA2 :: (a -> b -> c) -> TUT ((->) s) u ((,) s) a -> TUT ((->) s) u ((,) s) b -> TUT ((->) s) u ((,) s) c # (*>) :: TUT ((->) s) u ((,) s) a -> TUT ((->) s) u ((,) s) b -> TUT ((->) s) u ((,) s) b # (<*) :: TUT ((->) s) u ((,) s) a -> TUT ((->) s) u ((,) s) b -> TUT ((->) s) u ((,) s) a # |