Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
newtype TagTreePosStateT str f a Source #
TagTreePosStateT (TagTreePos str -> f (Maybe (TagTreePos str, a))) |
Instances
type TagTreePosState str a = TagTreePosStateT str Identity a Source #
tagTreePosState :: (TagTreePos str -> Maybe (TagTreePos str, a)) -> TagTreePosState str a Source #
runTagTreePosStateT :: TagTreePosStateT str f a -> TagTreePos str -> f (Maybe (TagTreePos str, a)) Source #
evalTagTreePosStateT :: Functor f => TagTreePosStateT str f a -> TagTreePos str -> f (Maybe a) Source #
execTagTreePosStateT :: Functor f => TagTreePosStateT str f a -> TagTreePos str -> f (Maybe (TagTreePos str)) Source #
runTagTreePosState :: TagTreePosState str a -> TagTreePos str -> Maybe (TagTreePos str, a) Source #
evalTagTreePosState :: TagTreePosState str a -> TagTreePos str -> Maybe a Source #
execTagTreePosState :: TagTreePosState str a -> TagTreePos str -> Maybe (TagTreePos str) Source #
modifyTagTreePosStateT :: Functor f => (TagTreePos x -> f (Maybe (TagTreePos x))) -> TagTreePosStateT x f () Source #
modifyTagTreePosState :: (TagTreePos x -> Maybe (TagTreePos x)) -> TagTreePosState x () Source #
getsTagTreePosStateT :: Functor f => (TagTreePos x -> f (Maybe a)) -> TagTreePosStateT x f a Source #
getsTagTreePosState :: (TagTreePos x -> Maybe a) -> TagTreePosState x a Source #
maybeTagTreePosStateT :: Functor f => f (Maybe a) -> TagTreePosStateT x f a Source #
maybeTagTreePosState :: Maybe a -> TagTreePosState x a Source #
putTagTreePosStateT :: Functor f => f (Maybe (TagTreePos x)) -> TagTreePosStateT x f () Source #
putTagTreePosState :: Maybe (TagTreePos x) -> TagTreePosState x () Source #
getTagTreePosT :: Applicative f => TagTreePosStateT x f (TagTree x) Source #
getTagTreePos :: TagTreePosState x (TagTree x) Source #
root :: TagTreePosState str () Source #
parent :: TagTreePosState str () Source #
firstChild :: TagTreePosState str () Source #
lastChild :: TagTreePosState str () Source #
prevSibling :: TagTreePosState str () Source #
nextSibling :: TagTreePosState str () Source #
content :: TagTreePosState x (TagTree x) Source #
before :: TagTreePosState x [TagTree x] Source #
after :: TagTreePosState x [TagTree x] Source #
parents :: TagTreePosState x [TagTreePosParent x] Source #
liftTagTreePosState :: Applicative f => TagTreePosState str a -> TagTreePosStateT str f a Source #
putTagTree :: TagTree str -> TagTreePosState str () Source #