HORIZON HASKELLDocslts/ghc-9.10.x248f8f02026-10-05Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · 248f8f0 · 2026-10-05

Modulehxt-9.3.1.22Haskell2010

Control.Arrow.IOStateListArrow

Implementation of arrows with IO and a state

  • 1 type
  • 2 values
  • Packagehxt-9.3.1.22
  • Exports3
  • LanguageHaskell2010
  • LicenceMIT
  • SourceIOStateListArrow.hs
newtypenewtype IOSLA s a b
#

list arrow combined with a state and the IO monad

Constructors

Instances18Category, ArrowState, Arrow, ArrowApply, ArrowChoice, ArrowPlus, …
  • Category (IOSLA s)Defined in hxt-9.3.1.22 · Control.Arrow.IOStateListArrow
  • ArrowState s (IOSLA s)Defined in hxt-9.3.1.22 · Control.Arrow.IOStateListArrow
  • Arrow (IOSLA s)Defined in hxt-9.3.1.22 · Control.Arrow.IOStateListArrow
  • ArrowApply (IOSLA s)Defined in hxt-9.3.1.22 · Control.Arrow.IOStateListArrow
  • ArrowChoice (IOSLA s)Defined in hxt-9.3.1.22 · Control.Arrow.IOStateListArrow
  • ArrowPlus (IOSLA s)Defined in hxt-9.3.1.22 · Control.Arrow.IOStateListArrow
  • ArrowZero (IOSLA s)Defined in hxt-9.3.1.22 · Control.Arrow.IOStateListArrow
  • ArrowExc (IOSLA s)Defined in hxt-9.3.1.22 · Control.Arrow.IOStateListArrow
  • ArrowIO (IOSLA s)Defined in hxt-9.3.1.22 · Control.Arrow.IOStateListArrow
  • ArrowIOIf (IOSLA s)Defined in hxt-9.3.1.22 · Control.Arrow.IOStateListArrow
  • ArrowIf (IOSLA s)Defined in hxt-9.3.1.22 · Control.Arrow.IOStateListArrow
  • ArrowList (IOSLA s)Defined in hxt-9.3.1.22 · Control.Arrow.IOStateListArrow
  • ArrowNF (IOSLA s)Defined in hxt-9.3.1.22 · Control.Arrow.IOStateListArrow
  • ArrowWNF (IOSLA s)Defined in hxt-9.3.1.22 · Control.Arrow.IOStateListArrow
  • ArrowNavigatableTree (IOSLA s)Defined in hxt-9.3.1.22 · Control.Arrow.IOStateListArrow
  • ArrowTree (IOSLA s)Defined in hxt-9.3.1.22 · Control.Arrow.IOStateListArrow
  • ArrowXml (IOSLA s)Defined in hxt-9.3.1.22 · Text.XML.HXT.Arrow.XmlArrow
  • ArrowDTD (IOSLA s)Defined in hxt-9.3.1.22 · Text.XML.HXT.Arrow.XmlArrow
valueliftSt :: IOSLA s1 b c -> IOSLA (s1, s2) b c
#

lift the state of an IOSLA arrow to a state with an additional component.

This is uesful, when running predefined IO arrows, e.g. for document input, in a context with a more complex state component.

valuerunSt :: s2 -> IOSLA (s1, s2) b c -> IOSLA s1 b c
#

run an arrow with augmented state in the context of a simple state arrow. An initial value for the new state component is needed.

This is useful, when running an arrow with an extra environment component, e.g. for namespace handling in XML.