Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
Reader (e -> a) |
Orphan instances
(Applicative u, Monad u) => Monad (TU ((->) e :: Type -> Type) u) Source # | |
Functor u => Functor (TU ((->) e :: Type -> Type) u) Source # | |
Applicative u => Applicative (TU ((->) e :: Type -> Type) u) Source # | |
pure :: a -> TU ((->) e) u a # (<*>) :: TU ((->) e) u (a -> b) -> TU ((->) e) u a -> TU ((->) e) u b # liftA2 :: (a -> b -> c) -> TU ((->) e) u a -> TU ((->) e) u b -> TU ((->) e) u c # (*>) :: TU ((->) e) u a -> TU ((->) e) u b -> TU ((->) e) u b # (<*) :: TU ((->) e) u a -> TU ((->) e) u b -> TU ((->) e) u a # |