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.StateListArrow

Implementation of list arrows with a state

  • 1 type
  • 1 value
  • Packagehxt-9.3.1.22
  • Exports2
  • LanguageHaskell2010
  • LicenceMIT
  • SourceStateListArrow.hs
newtypenewtype SLA s a b
#

list arrow combined with a state

Constructors

Instances15Category, ArrowState, Arrow, ArrowApply, ArrowChoice, ArrowPlus, …
  • Category (SLA s)Defined in hxt-9.3.1.22 · Control.Arrow.StateListArrow
  • ArrowState s (SLA s)Defined in hxt-9.3.1.22 · Control.Arrow.StateListArrow
  • Arrow (SLA s)Defined in hxt-9.3.1.22 · Control.Arrow.StateListArrow
  • ArrowApply (SLA s)Defined in hxt-9.3.1.22 · Control.Arrow.StateListArrow
  • ArrowChoice (SLA s)Defined in hxt-9.3.1.22 · Control.Arrow.StateListArrow
  • ArrowPlus (SLA s)Defined in hxt-9.3.1.22 · Control.Arrow.StateListArrow
  • ArrowZero (SLA s)Defined in hxt-9.3.1.22 · Control.Arrow.StateListArrow
  • ArrowIf (SLA s)Defined in hxt-9.3.1.22 · Control.Arrow.StateListArrow
  • ArrowList (SLA s)Defined in hxt-9.3.1.22 · Control.Arrow.StateListArrow
  • ArrowNF (SLA s)Defined in hxt-9.3.1.22 · Control.Arrow.StateListArrow
  • ArrowWNF (SLA s)Defined in hxt-9.3.1.22 · Control.Arrow.StateListArrow
  • ArrowNavigatableTree (SLA s)Defined in hxt-9.3.1.22 · Control.Arrow.StateListArrow
  • ArrowTree (SLA s)Defined in hxt-9.3.1.22 · Control.Arrow.StateListArrow
  • ArrowXml (SLA s)Defined in hxt-9.3.1.22 · Text.XML.HXT.Arrow.XmlArrow
  • ArrowDTD (SLA s)Defined in hxt-9.3.1.22 · Text.XML.HXT.Arrow.XmlArrow
valuefromSLA :: ArrowList a => s -> SLA s b c -> a b c
#

conversion of state list arrows into arbitray other list arrows.

allows running a state list arrow within another arrow:

example:

... >>> fromSLA 0 (... setState ... getState ... ) >>> ...

runs a state arrow with initial state 0 (e..g. an Int) within another arrow sequence