Hoogle Search
Within LTS Haskell 24.6 (ghc-9.10.2)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
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.
StreamArrow :: a (Stream b) (Stream c) -> StreamArrow (a :: Type -> Type -> Type) b carrows Control.Arrow.Transformer.Stream No documentation available.
newtype
WriterArrow w (a :: Type -> Type -> Type) b carrows Control.Arrow.Transformer.Writer An arrow type that augments an existing arrow with accumulating output. The ArrowWriter class contains the relevant operations.
WriterArrow :: a b (c, w) -> WriterArrow w (a :: Type -> Type -> Type) b carrows Control.Arrow.Transformer.Writer No documentation available.