Safe Haskell	Safe-Inferred
Language	Haskell2010

Org.Walk

Documentation

type DoubleList a = MatchWith [[a]] (Trav (Compose [] []) a) Source #

type List a = Trav [] a Source #

type Query m = Query MWTag m Source #

type WalkM m = Walk MWTag m Source #

type Walk = Walk MWTag Identity Source #

data MWTag Source #

Instances

Instances details

MultiTag MWTag Source #
Instance details Defined in Org.Walk Associated Types type MultiTypes MWTag :: [Type]
MultiSub MWTag Citation Source #
Instance details Defined in Org.Walk Associated Types type SubTypes MWTag Citation :: Spec type HasSubTag MWTag Citation
MultiSub MWTag ListItem Source #
Instance details Defined in Org.Walk Associated Types type SubTypes MWTag ListItem :: Spec type HasSubTag MWTag ListItem
MultiSub MWTag OrgDocument Source #
Instance details Defined in Org.Walk Associated Types type SubTypes MWTag OrgDocument :: Spec type HasSubTag MWTag OrgDocument
MultiSub MWTag OrgElement Source #
Instance details Defined in Org.Walk Associated Types type SubTypes MWTag OrgElement :: Spec type HasSubTag MWTag OrgElement
MultiSub MWTag OrgElementData Source #
Instance details Defined in Org.Walk Associated Types type SubTypes MWTag OrgElementData :: Spec type HasSubTag MWTag OrgElementData
MultiSub MWTag OrgObject Source #
Instance details Defined in Org.Walk Associated Types type SubTypes MWTag OrgObject :: Spec type HasSubTag MWTag OrgObject
MultiSub MWTag OrgSection Source #
Instance details Defined in Org.Walk Associated Types type SubTypes MWTag OrgSection :: Spec type HasSubTag MWTag OrgSection
type MultiTypes MWTag Source #
Instance details Defined in Org.Walk type MultiTypes MWTag = '[OrgDocument, OrgSection, OrgElement, OrgElementData, ListItem, OrgObject, Citation]
type HasSubTag MWTag Citation Source #
Instance details Defined in Org.Walk type HasSubTag MWTag Citation = GSubTag
type HasSubTag MWTag ListItem Source #
Instance details Defined in Org.Walk type HasSubTag MWTag ListItem = GSubTag
type HasSubTag MWTag OrgDocument Source #
Instance details Defined in Org.Walk type HasSubTag MWTag OrgDocument = GSubTag
type HasSubTag MWTag OrgElement Source #
Instance details Defined in Org.Walk type HasSubTag MWTag OrgElement = GSubTag
type HasSubTag MWTag OrgElementData Source #
Instance details Defined in Org.Walk type HasSubTag MWTag OrgElementData = GSubTag
type HasSubTag MWTag OrgObject Source #
Instance details Defined in Org.Walk type HasSubTag MWTag OrgObject = GSubTag
type HasSubTag MWTag OrgSection Source #
Instance details Defined in Org.Walk type HasSubTag MWTag OrgSection = GSubTag
type SubTypes MWTag Citation Source #
Instance details Defined in Org.Walk type SubTypes MWTag Citation = 'SpecList '[ToSpec (List OrgObject), ToSpec (List (Under CiteReference 'NoSel (List OrgObject)))]
type SubTypes MWTag ListItem Source #
Instance details Defined in Org.Walk type SubTypes MWTag ListItem = 'SpecList '[ToSpec (List OrgObject), ToSpec (List OrgElement)]
type SubTypes MWTag OrgDocument Source #
Instance details Defined in Org.Walk type SubTypes MWTag OrgDocument = 'SpecList '[ToSpec (List OrgElement), ToSpec (List OrgSection)]
type SubTypes MWTag OrgElement Source #
Instance details Defined in Org.Walk type SubTypes MWTag OrgElement = 'SpecList '[ToSpec OrgElementData, ToSpec (Trav (Map Text) (Under KeywordValue 'NoSel (List OrgObject)))]
type SubTypes MWTag OrgElementData Source #
Instance details Defined in Org.Walk type SubTypes MWTag OrgElementData = 'SpecList '[ToSpec (List OrgElement), ToSpec (List OrgObject), ToSpec (Under KeywordValue 'NoSel (List OrgObject)), ToSpec (List ListItem), ToSpec (List (Under TableRow 'NoSel (DoubleList OrgObject))), ToSpec (DoubleList OrgObject)]
type SubTypes MWTag OrgObject Source #
Instance details Defined in Org.Walk type SubTypes MWTag OrgObject = 'SpecList '[ToSpec (List OrgObject), ToSpec (Under FootnoteRefData 'NoSel (List OrgElement)), ToSpec Citation]
type SubTypes MWTag OrgSection Source #
Instance details Defined in Org.Walk type SubTypes MWTag OrgSection = 'SpecList '[ToSpec (List OrgObject), ToSpec (List OrgElement), ToSpec (List OrgSection)]

query :: (MultiWalk MWTag c, MultiWalk MWTag t, Monoid m) => (t -> m) -> c -> m Source #

walkM :: (MultiWalk MWTag c, MultiWalk MWTag t, Monad m) => (t -> m t) -> c -> m c Source #

walk :: (MultiWalk MWTag c, MultiWalk MWTag t) => (t -> t) -> c -> c Source #

buildMultiQ :: (MultiWalk MWTag a, Monoid m) => (Query m -> QList m (MultiTypes MWTag) -> QList m (MultiTypes MWTag)) -> a -> m Source #

buildMultiW :: (MultiWalk MWTag a, Applicative m) => (WalkM m -> FList m (MultiTypes MWTag) -> FList m (MultiTypes MWTag)) -> a -> m a Source #

type MultiWalk tag t = (AllMods (TContains (MultiTypes tag)) (SubTypes tag t), QContains (MultiTypes tag) t, FContains (MultiTypes tag) t, HasSub (HasSubTag tag t) (SubTypes tag t) t) #

(.>) :: forall (ls :: [Type]) t m. FContains ls t => FList m ls -> (t -> m t) -> FList m ls #

(?>) :: forall (ls :: [Type]) t m. QContains ls t => QList m ls -> (t -> m) -> QList m ls #