Control.Arrow.IOStateListArrow

Implementation of arrows with IO and a state

Documentation

newtype IOSLA s a b

list arrow combined with a state and the IO monad

Constructors

IOSLA

Fields

• runIOSLA :: s -> a -> IO (s, [b])

Instances

ArrowState s (IOSLA s)

Methods

changeState :: (s -> b -> s) -> IOSLA s b b

accessState :: (s -> b -> c) -> IOSLA s b c

getState :: IOSLA s b s

setState :: IOSLA s s s

nextState :: (s -> s) -> IOSLA s b s

Arrow (IOSLA s)

Methods

arr :: (b -> c) -> IOSLA s b c

first :: IOSLA s b c -> IOSLA s (b, d) (c, d)

second :: IOSLA s b c -> IOSLA s (d, b) (d, c)

(***) :: IOSLA s b c -> IOSLA s b' c' -> IOSLA s (b, b') (c, c')

(&&&) :: IOSLA s b c -> IOSLA s b c' -> IOSLA s b (c, c')

ArrowZero (IOSLA s)

Methods

zeroArrow :: IOSLA s b c

ArrowPlus (IOSLA s)

Methods

(<+>) :: IOSLA s b c -> IOSLA s b c -> IOSLA s b c

ArrowChoice (IOSLA s)

Methods

left :: IOSLA s b c -> IOSLA s (Either b d) (Either c d)

right :: IOSLA s b c -> IOSLA s (Either d b) (Either d c)

(+++) :: IOSLA s b c -> IOSLA s b' c' -> IOSLA s (Either b b') (Either c c')

(|||) :: IOSLA s b d -> IOSLA s c d -> IOSLA s (Either b c) d

ArrowApply (IOSLA s)

Methods

app :: IOSLA s (IOSLA s b c, b) c

ArrowList (IOSLA s)

Methods

arr2 :: (b1 -> b2 -> c) -> IOSLA s (b1, b2) c

arr3 :: (b1 -> b2 -> b3 -> c) -> IOSLA s (b1, (b2, b3)) c

arr4 :: (b1 -> b2 -> b3 -> b4 -> c) -> IOSLA s (b1, (b2, (b3, b4))) c

arr2A :: (b -> IOSLA s c d) -> IOSLA s (b, c) d

arrL :: (b -> [c]) -> IOSLA s b c

arr2L :: (b -> c -> [d]) -> IOSLA s (b, c) d

constA :: c -> IOSLA s b c

constL :: [c] -> IOSLA s b c

isA :: (b -> Bool) -> IOSLA s b b

(>>.) :: IOSLA s b c -> ([c] -> [d]) -> IOSLA s b d

(>.) :: IOSLA s b c -> ([c] -> d) -> IOSLA s b d

listA :: IOSLA s b c -> IOSLA s b [c]

unlistA :: IOSLA s [b] b

this :: IOSLA s b b

none :: IOSLA s b c

withDefault :: IOSLA s b c -> c -> IOSLA s b c

single :: IOSLA s b c -> IOSLA s b c

applyA :: IOSLA s b (IOSLA s b c) -> IOSLA s b c

($<) :: (c -> IOSLA s b d) -> IOSLA s b c -> IOSLA s b d

($<<) :: (c1 -> c2 -> IOSLA s b d) -> IOSLA s b (c1, c2) -> IOSLA s b d

($<<<) :: (c1 -> c2 -> c3 -> IOSLA s b d) -> IOSLA s b (c1, (c2, c3)) -> IOSLA s b d

($<<<<) :: (c1 -> c2 -> c3 -> c4 -> IOSLA s b d) -> IOSLA s b (c1, (c2, (c3, c4))) -> IOSLA s b d

($<$) :: (c -> IOSLA s b b) -> IOSLA s b c -> IOSLA s b b

mergeA :: (IOSLA s (a1, b1) a1 -> IOSLA s (a1, b1) b1 -> IOSLA s (a1, b1) c) -> IOSLA s (a1, b1) c

perform :: IOSLA s b c -> IOSLA s b b

catA :: [IOSLA s b c] -> IOSLA s b c

seqA :: [IOSLA s b b] -> IOSLA s b b

ArrowWNF (IOSLA s)

Methods

rwnfA :: WNFData c => IOSLA s b c -> IOSLA s b c

rwnf2A :: WNFData c => IOSLA s b c -> IOSLA s b c

ArrowNF (IOSLA s)

Methods

rnfA :: NFData c => IOSLA s b c -> IOSLA s b c

ArrowIf (IOSLA s)

Methods

ifA :: IOSLA s b c -> IOSLA s b d -> IOSLA s b d -> IOSLA s b d

ifP :: (b -> Bool) -> IOSLA s b d -> IOSLA s b d -> IOSLA s b d

neg :: IOSLA s b c -> IOSLA s b b

when :: IOSLA s b b -> IOSLA s b c -> IOSLA s b b

whenP :: IOSLA s b b -> (b -> Bool) -> IOSLA s b b

whenNot :: IOSLA s b b -> IOSLA s b c -> IOSLA s b b

whenNotP :: IOSLA s b b -> (b -> Bool) -> IOSLA s b b

guards :: IOSLA s b c -> IOSLA s b d -> IOSLA s b d

guardsP :: (b -> Bool) -> IOSLA s b d -> IOSLA s b d

filterA :: IOSLA s b c -> IOSLA s b b

containing :: IOSLA s b c -> IOSLA s c d -> IOSLA s b c

notContaining :: IOSLA s b c -> IOSLA s c d -> IOSLA s b c

orElse :: IOSLA s b c -> IOSLA s b c -> IOSLA s b c

choiceA :: [IfThen (IOSLA s b c) (IOSLA s b d)] -> IOSLA s b d

tagA :: IOSLA s b c -> IOSLA s b (Either b b)

spanA :: IOSLA s b b -> IOSLA s [b] ([b], [b])

partitionA :: IOSLA s b b -> IOSLA s [b] ([b], [b])

ArrowNavigatableTree (IOSLA s)

Methods

moveUp :: NavigatableTree t => IOSLA s (t b) (t b)

moveDown :: NavigatableTree t => IOSLA s (t b) (t b)

moveLeft :: NavigatableTree t => IOSLA s (t b) (t b)

moveRight :: NavigatableTree t => IOSLA s (t b) (t b)

ArrowTree (IOSLA s)

Methods

mkLeaf :: Tree t => b -> IOSLA s c (t b)

mkTree :: Tree t => b -> [t b] -> IOSLA s c (t b)

getChildren :: Tree t => IOSLA s (t b) (t b)

getNode :: Tree t => IOSLA s (t b) b

hasNode :: Tree t => (b -> Bool) -> IOSLA s (t b) (t b)

setChildren :: Tree t => [t b] -> IOSLA s (t b) (t b)

setNode :: Tree t => b -> IOSLA s (t b) (t b)

changeChildren :: Tree t => ([t b] -> [t b]) -> IOSLA s (t b) (t b)

changeNode :: Tree t => (b -> b) -> IOSLA s (t b) (t b)

processChildren :: Tree t => IOSLA s (t b) (t b) -> IOSLA s (t b) (t b)

replaceChildren :: Tree t => IOSLA s (t b) (t b) -> IOSLA s (t b) (t b)

(/>) :: Tree t => IOSLA s b (t c) -> IOSLA s (t c) d -> IOSLA s b d

(//>) :: Tree t => IOSLA s b (t c) -> IOSLA s (t c) d -> IOSLA s b d

(</) :: Tree t => IOSLA s (t b) (t b) -> IOSLA s (t b) (t b) -> IOSLA s (t b) (t b)

deep :: Tree t => IOSLA s (t b) c -> IOSLA s (t b) c

deepest :: Tree t => IOSLA s (t b) c -> IOSLA s (t b) c

multi :: Tree t => IOSLA s (t b) c -> IOSLA s (t b) c

processBottomUp :: Tree t => IOSLA s (t b) (t b) -> IOSLA s (t b) (t b)

processTopDown :: Tree t => IOSLA s (t b) (t b) -> IOSLA s (t b) (t b)

processBottomUpWhenNot :: Tree t => IOSLA s (t b) (t b) -> IOSLA s (t b) (t b) -> IOSLA s (t b) (t b)

processTopDownUntil :: Tree t => IOSLA s (t b) (t b) -> IOSLA s (t b) (t b)

insertChildrenAt :: Tree t => Int -> IOSLA s (t b) (t b) -> IOSLA s (t b) (t b)

insertChildrenAfter :: Tree t => IOSLA s (t b) (t b) -> IOSLA s (t b) (t b) -> IOSLA s (t b) (t b)

insertTreeTemplate :: Tree t => IOSLA s (t b) (t b) -> [IfThen (IOSLA s (t b) c) (IOSLA s (t b) (t b))] -> IOSLA s (t b) (t b)

ArrowIOIf (IOSLA s)

Methods

isIOA :: (b -> IO Bool) -> IOSLA s b b

ArrowIO (IOSLA s)

Methods

arrIO :: (b -> IO c) -> IOSLA s b c

arrIO0 :: IO c -> IOSLA s b c

arrIO2 :: (b1 -> b2 -> IO c) -> IOSLA s (b1, b2) c

arrIO3 :: (b1 -> b2 -> b3 -> IO c) -> IOSLA s (b1, (b2, b3)) c

arrIO4 :: (b1 -> b2 -> b3 -> b4 -> IO c) -> IOSLA s (b1, (b2, (b3, b4))) c

ArrowExc (IOSLA s)

Methods

tryA :: IOSLA s b c -> IOSLA s b (Either SomeException c)

catchA :: IOSLA s b c -> IOSLA s SomeException c -> IOSLA s b c

ArrowDTD (IOSLA s)

Methods

isDTDDoctype :: IOSLA s XmlTree XmlTree

isDTDElement :: IOSLA s XmlTree XmlTree

isDTDContent :: IOSLA s XmlTree XmlTree

isDTDAttlist :: IOSLA s XmlTree XmlTree

isDTDEntity :: IOSLA s XmlTree XmlTree

isDTDPEntity :: IOSLA s XmlTree XmlTree

isDTDNotation :: IOSLA s XmlTree XmlTree

isDTDCondSect :: IOSLA s XmlTree XmlTree

isDTDName :: IOSLA s XmlTree XmlTree

isDTDPERef :: IOSLA s XmlTree XmlTree

hasDTDAttr :: String -> IOSLA s XmlTree XmlTree

getDTDAttrValue :: String -> IOSLA s XmlTree String

setDTDAttrValue :: String -> String -> IOSLA s XmlTree XmlTree

mkDTDElem :: DTDElem -> Attributes -> IOSLA s n XmlTree -> IOSLA s n XmlTree

mkDTDDoctype :: Attributes -> IOSLA s n XmlTree -> IOSLA s n XmlTree

mkDTDElement :: Attributes -> IOSLA s n XmlTree

mkDTDEntity :: Attributes -> IOSLA s n XmlTree

mkDTDPEntity :: Attributes -> IOSLA s n XmlTree

ArrowXml (IOSLA s)

Methods

isText :: IOSLA s XmlTree XmlTree

isBlob :: IOSLA s XmlTree XmlTree

isCharRef :: IOSLA s XmlTree XmlTree

isEntityRef :: IOSLA s XmlTree XmlTree

isCmt :: IOSLA s XmlTree XmlTree

isCdata :: IOSLA s XmlTree XmlTree

isPi :: IOSLA s XmlTree XmlTree

isXmlPi :: IOSLA s XmlTree XmlTree

isElem :: IOSLA s XmlTree XmlTree

isDTD :: IOSLA s XmlTree XmlTree

isAttr :: IOSLA s XmlTree XmlTree

isError :: IOSLA s XmlTree XmlTree

isRoot :: IOSLA s XmlTree XmlTree

hasText :: (String -> Bool) -> IOSLA s XmlTree XmlTree

isWhiteSpace :: IOSLA s XmlTree XmlTree

hasNameWith :: (QName -> Bool) -> IOSLA s XmlTree XmlTree

hasQName :: QName -> IOSLA s XmlTree XmlTree

hasName :: String -> IOSLA s XmlTree XmlTree

hasLocalPart :: String -> IOSLA s XmlTree XmlTree

hasNamePrefix :: String -> IOSLA s XmlTree XmlTree

hasNamespaceUri :: String -> IOSLA s XmlTree XmlTree

hasAttr :: String -> IOSLA s XmlTree XmlTree

hasQAttr :: QName -> IOSLA s XmlTree XmlTree

hasAttrValue :: String -> (String -> Bool) -> IOSLA s XmlTree XmlTree

hasQAttrValue :: QName -> (String -> Bool) -> IOSLA s XmlTree XmlTree

mkText :: IOSLA s String XmlTree

mkBlob :: IOSLA s Blob XmlTree

mkCharRef :: IOSLA s Int XmlTree

mkEntityRef :: IOSLA s String XmlTree

mkCmt :: IOSLA s String XmlTree

mkCdata :: IOSLA s String XmlTree

mkError :: Int -> IOSLA s String XmlTree

mkElement :: QName -> IOSLA s n XmlTree -> IOSLA s n XmlTree -> IOSLA s n XmlTree

mkAttr :: QName -> IOSLA s n XmlTree -> IOSLA s n XmlTree

mkPi :: QName -> IOSLA s n XmlTree -> IOSLA s n XmlTree

mkqelem :: QName -> [IOSLA s n XmlTree] -> [IOSLA s n XmlTree] -> IOSLA s n XmlTree

mkelem :: String -> [IOSLA s n XmlTree] -> [IOSLA s n XmlTree] -> IOSLA s n XmlTree

aelem :: String -> [IOSLA s n XmlTree] -> IOSLA s n XmlTree

selem :: String -> [IOSLA s n XmlTree] -> IOSLA s n XmlTree

eelem :: String -> IOSLA s n XmlTree

root :: [IOSLA s n XmlTree] -> [IOSLA s n XmlTree] -> IOSLA s n XmlTree

qattr :: QName -> IOSLA s n XmlTree -> IOSLA s n XmlTree

attr :: String -> IOSLA s n XmlTree -> IOSLA s n XmlTree

txt :: String -> IOSLA s n XmlTree

blb :: Blob -> IOSLA s n XmlTree

charRef :: Int -> IOSLA s n XmlTree

entityRef :: String -> IOSLA s n XmlTree

cmt :: String -> IOSLA s n XmlTree

warn :: String -> IOSLA s n XmlTree

err :: String -> IOSLA s n XmlTree

fatal :: String -> IOSLA s n XmlTree

spi :: String -> String -> IOSLA s n XmlTree

sqattr :: QName -> String -> IOSLA s n XmlTree

sattr :: String -> String -> IOSLA s n XmlTree

getText :: IOSLA s XmlTree String

getCharRef :: IOSLA s XmlTree Int

getEntityRef :: IOSLA s XmlTree String

getCmt :: IOSLA s XmlTree String

getCdata :: IOSLA s XmlTree String

getPiName :: IOSLA s XmlTree QName

getPiContent :: IOSLA s XmlTree XmlTree

getElemName :: IOSLA s XmlTree QName

getAttrl :: IOSLA s XmlTree XmlTree

getDTDPart :: IOSLA s XmlTree DTDElem

getDTDAttrl :: IOSLA s XmlTree Attributes

getAttrName :: IOSLA s XmlTree QName

getErrorLevel :: IOSLA s XmlTree Int

getErrorMsg :: IOSLA s XmlTree String

getQName :: IOSLA s XmlTree QName

getName :: IOSLA s XmlTree String

getUniversalName :: IOSLA s XmlTree String

getUniversalUri :: IOSLA s XmlTree String

getLocalPart :: IOSLA s XmlTree String

getNamePrefix :: IOSLA s XmlTree String

getNamespaceUri :: IOSLA s XmlTree String

getAttrValue :: String -> IOSLA s XmlTree String

getAttrValue0 :: String -> IOSLA s XmlTree String

getQAttrValue :: QName -> IOSLA s XmlTree String

getQAttrValue0 :: QName -> IOSLA s XmlTree String

changeText :: (String -> String) -> IOSLA s XmlTree XmlTree

changeBlob :: (Blob -> Blob) -> IOSLA s XmlTree XmlTree

changeCmt :: (String -> String) -> IOSLA s XmlTree XmlTree

changeQName :: (QName -> QName) -> IOSLA s XmlTree XmlTree

changeElemName :: (QName -> QName) -> IOSLA s XmlTree XmlTree

changeAttrName :: (QName -> QName) -> IOSLA s XmlTree XmlTree

changePiName :: (QName -> QName) -> IOSLA s XmlTree XmlTree

changeAttrValue :: (String -> String) -> IOSLA s XmlTree XmlTree

changeAttrl :: (XmlTrees -> XmlTrees -> XmlTrees) -> IOSLA s XmlTree XmlTree -> IOSLA s XmlTree XmlTree

setQName :: QName -> IOSLA s XmlTree XmlTree

setElemName :: QName -> IOSLA s XmlTree XmlTree

setAttrName :: QName -> IOSLA s XmlTree XmlTree

setPiName :: QName -> IOSLA s XmlTree XmlTree

setAttrl :: IOSLA s XmlTree XmlTree -> IOSLA s XmlTree XmlTree

addAttrl :: IOSLA s XmlTree XmlTree -> IOSLA s XmlTree XmlTree

addAttr :: String -> String -> IOSLA s XmlTree XmlTree

removeAttr :: String -> IOSLA s XmlTree XmlTree

removeQAttr :: QName -> IOSLA s XmlTree XmlTree

processAttrl :: IOSLA s XmlTree XmlTree -> IOSLA s XmlTree XmlTree

processTopDownWithAttrl :: IOSLA s XmlTree XmlTree -> IOSLA s XmlTree XmlTree

(+=) :: IOSLA s b XmlTree -> IOSLA s b XmlTree -> IOSLA s b XmlTree

xshow :: IOSLA s n XmlTree -> IOSLA s n String

xshowBlob :: IOSLA s n XmlTree -> IOSLA s n Blob

Category * (IOSLA s)

Methods

id :: cat a a

(.) :: cat b c -> cat a b -> cat a c

liftSt :: 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.

runSt :: 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.