Hoogle Search
Within LTS Haskell 24.4 (ghc-9.10.2)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
ErrorArrow :: a b (Either ex c) -> ErrorArrow ex (a :: Type -> Type -> Type) b carrows Control.Arrow.Transformer.Error No documentation available.
newtype
ReaderArrow r (a :: Type -> Type -> Type) b carrows Control.Arrow.Transformer.Reader An arrow type that augments an existing arrow with a read-only state (or environment). The ArrowReader class contains the operations on this state.
ReaderArrow :: a (b, r) c -> ReaderArrow r (a :: Type -> Type -> Type) b carrows Control.Arrow.Transformer.Reader No documentation available.
newtype
StateArrow s (a :: Type -> Type -> Type) b carrows Control.Arrow.Transformer.State An arrow type that augments an existing arrow with a modifiable state. The ArrowState class contains the operations on this state.
StateArrow :: a (b, s) (c, s) -> StateArrow s (a :: Type -> Type -> Type) b carrows Control.Arrow.Transformer.State No documentation available.
newtype
StaticArrow (f :: Type -> Type) (a :: Type -> Type -> Type) b carrows Control.Arrow.Transformer.Static An arrow type that augments the underlying arrow with static information.
StaticArrow :: f (a b c) -> StaticArrow (f :: Type -> Type) (a :: Type -> Type -> Type) b carrows Control.Arrow.Transformer.Static No documentation available.
type
StaticArrowArrow (a :: Type -> Type -> Type) s = StaticArrow WrappedArrow a sarrows Control.Arrow.Transformer.Static A special case.
type
StaticMonadArrow (m :: Type -> Type) = StaticArrow WrappedMonad marrows Control.Arrow.Transformer.Static A special case is monads applied to the whole arrow, in contrast to Kleisli arrows, in which the monad is applied to the output.
newtype
StreamArrow (a :: Type -> Type -> Type) b carrows Control.Arrow.Transformer.Stream Arrows between streams. Note: lift is only a functor if *** in the underlying arrow is.