Safe Haskell	Safe-Inferred
Language	Haskell2010

Org.Types

Contents

Document
- Helpers
Sections
- Helpers
OrgContent
Elements
Objects
Quotes
Babel

Synopsis

data OrgDocument = OrgDocument {
- documentProperties :: Properties
- documentChildren :: [OrgElement]
- documentSections :: [OrgSection]
}
type Properties = Map Text Text
lookupProperty :: Text -> OrgDocument -> Maybe Text
data OrgSection = OrgSection {
- sectionLevel :: Int
- sectionProperties :: Properties
- sectionTodo :: Maybe TodoKeyword
- sectionIsComment :: Bool
- sectionPriority :: Maybe Priority
- sectionTitle :: [OrgObject]
- sectionRawTitle :: Text
- sectionAnchor :: Id
- sectionTags :: [Tag]
- sectionPlanning :: PlanningInfo
- sectionChildren :: [OrgElement]
- sectionSubsections :: [OrgSection]
}
data TodoKeyword = TodoKeyword {
- todoState :: TodoState
- todoName :: Text
}
data TodoState
- = Todo
- | Done
type Tag = Text
data Priority
- = LetterPriority Char
- | NumericPriority Int
data PlanningInfo = PlanningInfo {
- planningClosed :: Maybe TimestampData
- planningDeadline :: Maybe TimestampData
- planningScheduled :: Maybe TimestampData
}
lookupSectionProperty :: Text -> OrgSection -> Maybe Text
type OrgContent = ([OrgElement], [OrgSection])
documentContent :: OrgDocument -> OrgContent
mapContentM :: Monad m => (OrgContent -> m OrgContent) -> OrgDocument -> m OrgDocument
mapContent :: (OrgContent -> OrgContent) -> OrgDocument -> OrgDocument
sectionContent :: OrgSection -> OrgContent
mapSectionContentM :: Monad m => (OrgContent -> m OrgContent) -> OrgSection -> m OrgSection
mapSectionContent :: (OrgContent -> OrgContent) -> OrgSection -> OrgSection
data OrgElement = OrgElement {
- affiliatedKeywords :: Keywords
- elementData :: OrgElementData
}
data OrgElementData
- = Clock TimestampData (Maybe Time)
- | GreaterBlock {
  - blkType :: GreaterBlockType
  - blkElements :: [OrgElement]
  }
- | Drawer {
  - drawerName :: Text
  - drawerElements :: [OrgElement]
  }
- | PlainList {
  - listType :: ListType
  - listItems :: [ListItem]
  }
- | ExportBlock Text Text
- | ExampleBlock (Map Text Text) [SrcLine]
- | SrcBlock {
  - srcBlkLang :: Text
  - srcBlkSwitches :: Map Text Text
  - srcBlkArguments :: [(Text, Text)]
  - srcBlkLines :: [SrcLine]
  }
- | VerseBlock [[OrgObject]]
- | HorizontalRule
- | Keyword {
  - keywordKey :: Text
  - keywordValue :: KeywordValue
  }
- | LaTeXEnvironment Text Text
- | Paragraph [OrgObject]
- | Table [TableRow]
- | FootnoteDef Text [OrgElement]
- | Comment
data GreaterBlockType
- = Center
- | Quote
- | Special Text
data SrcLine
- = SrcLine Text
- | RefLine Id Text Text
srcLineContent :: SrcLine -> Text
srcLinesToText :: [SrcLine] -> Text
srcLineMap :: (Text -> Text) -> SrcLine -> SrcLine
data ListType
- = Ordered OrderedStyle
- | Descriptive
- | Unordered Char
data OrderedStyle
- = OrderedNum
- | OrderedAlpha
orderedStyle :: Text -> OrderedStyle
data ListItem = ListItem Bullet (Maybe Int) (Maybe Checkbox) [OrgObject] [OrgElement]
data Bullet
- = Bullet Char
- | Counter Text Char
data Checkbox
- = BoolBox Bool
- | PartialBox
listItemType :: ListItem -> ListType
type Keywords = Map Text KeywordValue
data KeywordValue
- = ValueKeyword Text
- | ParsedKeyword [OrgObject]
- | BackendKeyword [(Text, Text)]
lookupValueKeyword :: Text -> Keywords -> Text
lookupParsedKeyword :: Text -> Keywords -> [OrgObject]
lookupBackendKeyword :: Text -> Keywords -> [(Text, Text)]
keywordsFromList :: [(Text, KeywordValue)] -> Keywords
data TableRow
- = StandardRow [TableCell]
- | ColumnPropsRow [Maybe ColumnAlignment]
- | RuleRow
type TableCell = [OrgObject]
data ColumnAlignment
- = AlignLeft
- | AlignCenter
- | AlignRight
data OrgObject
- = Plain Text
- | LineBreak
- | Italic [OrgObject]
- | Underline [OrgObject]
- | Bold [OrgObject]
- | Strikethrough [OrgObject]
- | Superscript [OrgObject]
- | Subscript [OrgObject]
- | Quoted QuoteType [OrgObject]
- | Code Text
- | Verbatim Text
- | Timestamp TimestampData
- | Entity Text
- | LaTeXFragment FragmentType Text
- | ExportSnippet Text Text
- | FootnoteRef FootnoteRefData
- | Cite Citation
- | InlBabelCall BabelCall
- | Src Text Text Text
- | Link LinkTarget [OrgObject]
- | Target Id Text
- | Macro Text [Text]
- | StatisticCookie (Either (Int, Int) Int)
data LinkTarget
- = URILink Protocol Text
- | InternalLink Id
- | UnresolvedLink Text
type Protocol = Text
type Id = Text
linkTargetToText :: LinkTarget -> Text
data FragmentType
- = RawFragment
- | InlMathFragment
- | DispMathFragment
data Citation = Citation {
- citationStyle :: Text
- citationVariant :: Text
- citationPrefix :: [OrgObject]
- citationSuffix :: [OrgObject]
- citationReferences :: [CiteReference]
}
data CiteReference = CiteReference {
- refId :: Text
- refPrefix :: [OrgObject]
- refSuffix :: [OrgObject]
}
data FootnoteRefData
- = FootnoteRefLabel Text
- | FootnoteRefDef (Maybe Text) [OrgObject]
data TimestampData
- = TimestampData Bool DateTime
- | TimestampRange Bool DateTime DateTime
type DateTime = (Date, Maybe Time, Maybe TimestampMark, Maybe TimestampMark)
type TimestampMark = (Text, Int, Char)
type Date = (Int, Int, Int, Maybe Text)
type Time = (Int, Int)
data QuoteType
- = SingleQuote
- | DoubleQuote
data BabelCall = BabelCall {
- babelCallName :: Text
- babelCallHeader1 :: Text
- babelCallHeader2 :: Text
- babelCallArguments :: Text
}

Document

data OrgDocument Source #

Constructors

OrgDocument
Fields documentProperties :: Properties documentChildren :: [OrgElement] documentSections :: [OrgSection]

Instances

Instances details

Generic OrgDocument Source #
Instance details Defined in Org.Types Associated Types type Rep OrgDocument :: Type -> Type Source # Methods from :: OrgDocument -> Rep OrgDocument x Source # to :: Rep OrgDocument x -> OrgDocument Source #
Read OrgDocument Source #
Instance details Defined in Org.Types Methods readsPrec :: Int -> ReadS OrgDocument Source # readList :: ReadS [OrgDocument] Source # readPrec :: ReadPrec OrgDocument Source # readListPrec :: ReadPrec [OrgDocument] Source #
Show OrgDocument Source #
Instance details Defined in Org.Types Methods showsPrec :: Int -> OrgDocument -> ShowS Source # show :: OrgDocument -> String Source # showList :: [OrgDocument] -> ShowS Source #
NFData OrgDocument Source #
Instance details Defined in Org.Types Methods rnf :: OrgDocument -> () Source #
Eq OrgDocument Source #
Instance details Defined in Org.Types Methods (==) :: OrgDocument -> OrgDocument -> Bool Source # (/=) :: OrgDocument -> OrgDocument -> Bool Source #
Ord OrgDocument Source #
Instance details Defined in Org.Types Methods compare :: OrgDocument -> OrgDocument -> Ordering Source # (<) :: OrgDocument -> OrgDocument -> Bool Source # (<=) :: OrgDocument -> OrgDocument -> Bool Source # (>) :: OrgDocument -> OrgDocument -> Bool Source # (>=) :: OrgDocument -> OrgDocument -> Bool Source # max :: OrgDocument -> OrgDocument -> OrgDocument Source # min :: OrgDocument -> OrgDocument -> OrgDocument Source #
MultiSub MWTag OrgDocument
Instance details Defined in Org.Walk Associated Types type SubTypes MWTag OrgDocument :: Spec type HasSubTag MWTag OrgDocument
type Rep OrgDocument Source #
Instance details Defined in Org.Types type Rep OrgDocument = D1 ('MetaData "OrgDocument" "Org.Types" "org-parser-0.1.0.0-inplace" 'False) (C1 ('MetaCons "OrgDocument" 'PrefixI 'True) (S1 ('MetaSel ('Just "documentProperties") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Properties) :: (S1 ('MetaSel ('Just "documentChildren") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [OrgElement]) :: S1 ('MetaSel ('Just "documentSections") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [OrgSection]))))
type HasSubTag MWTag OrgDocument
Instance details Defined in Org.Walk type HasSubTag MWTag OrgDocument = GSubTag
type SubTypes MWTag OrgDocument
Instance details Defined in Org.Walk type SubTypes MWTag OrgDocument = 'SpecList '[ToSpec (List OrgElement), ToSpec (List OrgSection)]

type Properties = Map Text Text Source #

Helpers

lookupProperty :: Text -> OrgDocument -> Maybe Text Source #

Sections

data OrgSection Source #

Constructors

OrgSection

Fields

sectionLevel :: Int
sectionProperties :: Properties
sectionTodo :: Maybe TodoKeyword
sectionIsComment :: Bool
sectionPriority :: Maybe Priority
sectionTitle :: [OrgObject]
sectionRawTitle :: Text
sectionAnchor :: Id
Section custom ID (Warning: this field is not populated by the parser! in the near future, fields like this one and the Id type will be removed in favor of AST extensibility). See also the documentation for LinkTarget
sectionTags :: [Tag]
sectionPlanning :: PlanningInfo
sectionChildren :: [OrgElement]
sectionSubsections :: [OrgSection]

Instances

Instances details

Data OrgSection Source #
Instance details Defined in Org.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> OrgSection -> c OrgSection Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c OrgSection Source # toConstr :: OrgSection -> Constr Source # dataTypeOf :: OrgSection -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c OrgSection) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c OrgSection) Source # gmapT :: (forall b. Data b => b -> b) -> OrgSection -> OrgSection Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> OrgSection -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> OrgSection -> r Source # gmapQ :: (forall d. Data d => d -> u) -> OrgSection -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> OrgSection -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> OrgSection -> m OrgSection Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> OrgSection -> m OrgSection Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> OrgSection -> m OrgSection Source #
Generic OrgSection Source #
Instance details Defined in Org.Types Associated Types type Rep OrgSection :: Type -> Type Source # Methods from :: OrgSection -> Rep OrgSection x Source # to :: Rep OrgSection x -> OrgSection Source #
Read OrgSection Source #
Instance details Defined in Org.Types Methods readsPrec :: Int -> ReadS OrgSection Source # readList :: ReadS [OrgSection] Source # readPrec :: ReadPrec OrgSection Source # readListPrec :: ReadPrec [OrgSection] Source #
Show OrgSection Source #
Instance details Defined in Org.Types Methods showsPrec :: Int -> OrgSection -> ShowS Source # show :: OrgSection -> String Source # showList :: [OrgSection] -> ShowS Source #
NFData OrgSection Source #
Instance details Defined in Org.Types Methods rnf :: OrgSection -> () Source #
Eq OrgSection Source #
Instance details Defined in Org.Types Methods (==) :: OrgSection -> OrgSection -> Bool Source # (/=) :: OrgSection -> OrgSection -> Bool Source #
Ord OrgSection Source #
Instance details Defined in Org.Types Methods compare :: OrgSection -> OrgSection -> Ordering Source # (<) :: OrgSection -> OrgSection -> Bool Source # (<=) :: OrgSection -> OrgSection -> Bool Source # (>) :: OrgSection -> OrgSection -> Bool Source # (>=) :: OrgSection -> OrgSection -> Bool Source # max :: OrgSection -> OrgSection -> OrgSection Source # min :: OrgSection -> OrgSection -> OrgSection Source #
MultiSub MWTag OrgSection
Instance details Defined in Org.Walk Associated Types type SubTypes MWTag OrgSection :: Spec type HasSubTag MWTag OrgSection
type Rep OrgSection Source #
Instance details Defined in Org.Types type Rep OrgSection = D1 ('MetaData "OrgSection" "Org.Types" "org-parser-0.1.0.0-inplace" 'False) (C1 ('MetaCons "OrgSection" 'PrefixI 'True) (((S1 ('MetaSel ('Just "sectionLevel") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :: (S1 ('MetaSel ('Just "sectionProperties") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Properties) :: S1 ('MetaSel ('Just "sectionTodo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe TodoKeyword)))) :: (S1 ('MetaSel ('Just "sectionIsComment") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :: (S1 ('MetaSel ('Just "sectionPriority") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Priority)) :: S1 ('MetaSel ('Just "sectionTitle") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [OrgObject])))) :: ((S1 ('MetaSel ('Just "sectionRawTitle") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: (S1 ('MetaSel ('Just "sectionAnchor") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Id) :: S1 ('MetaSel ('Just "sectionTags") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Tag]))) :: (S1 ('MetaSel ('Just "sectionPlanning") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PlanningInfo) :: (S1 ('MetaSel ('Just "sectionChildren") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [OrgElement]) :*: S1 ('MetaSel ('Just "sectionSubsections") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [OrgSection]))))))
type HasSubTag MWTag OrgSection
Instance details Defined in Org.Walk type HasSubTag MWTag OrgSection = GSubTag
type SubTypes MWTag OrgSection
Instance details Defined in Org.Walk type SubTypes MWTag OrgSection = 'SpecList '[ToSpec (List OrgObject), ToSpec (List OrgElement), ToSpec (List OrgSection)]

data TodoKeyword Source #

A to-do keyword like TODO or DONE.

Constructors

TodoKeyword
Fields todoState :: TodoState todoName :: Text

Instances

Instances details

FromJSON TodoKeyword Source #
Instance details Defined in Org.Types Methods parseJSON :: Value -> Parser TodoKeyword Source # parseJSONList :: Value -> Parser [TodoKeyword] Source #
ToJSON TodoKeyword Source #
Instance details Defined in Org.Types Methods toJSON :: TodoKeyword -> Value Source # toEncoding :: TodoKeyword -> Encoding Source # toJSONList :: [TodoKeyword] -> Value Source # toEncodingList :: [TodoKeyword] -> Encoding Source #
Data TodoKeyword Source #
Instance details Defined in Org.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TodoKeyword -> c TodoKeyword Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TodoKeyword Source # toConstr :: TodoKeyword -> Constr Source # dataTypeOf :: TodoKeyword -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TodoKeyword) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TodoKeyword) Source # gmapT :: (forall b. Data b => b -> b) -> TodoKeyword -> TodoKeyword Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TodoKeyword -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TodoKeyword -> r Source # gmapQ :: (forall d. Data d => d -> u) -> TodoKeyword -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> TodoKeyword -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> TodoKeyword -> m TodoKeyword Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TodoKeyword -> m TodoKeyword Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TodoKeyword -> m TodoKeyword Source #
Generic TodoKeyword Source #
Instance details Defined in Org.Types Associated Types type Rep TodoKeyword :: Type -> Type Source # Methods from :: TodoKeyword -> Rep TodoKeyword x Source # to :: Rep TodoKeyword x -> TodoKeyword Source #
Read TodoKeyword Source #
Instance details Defined in Org.Types Methods readsPrec :: Int -> ReadS TodoKeyword Source # readList :: ReadS [TodoKeyword] Source # readPrec :: ReadPrec TodoKeyword Source # readListPrec :: ReadPrec [TodoKeyword] Source #
Show TodoKeyword Source #
Instance details Defined in Org.Types Methods showsPrec :: Int -> TodoKeyword -> ShowS Source # show :: TodoKeyword -> String Source # showList :: [TodoKeyword] -> ShowS Source #
NFData TodoKeyword Source #
Instance details Defined in Org.Types Methods rnf :: TodoKeyword -> () Source #
Eq TodoKeyword Source #
Instance details Defined in Org.Types Methods (==) :: TodoKeyword -> TodoKeyword -> Bool Source # (/=) :: TodoKeyword -> TodoKeyword -> Bool Source #
Ord TodoKeyword Source #
Instance details Defined in Org.Types Methods compare :: TodoKeyword -> TodoKeyword -> Ordering Source # (<) :: TodoKeyword -> TodoKeyword -> Bool Source # (<=) :: TodoKeyword -> TodoKeyword -> Bool Source # (>) :: TodoKeyword -> TodoKeyword -> Bool Source # (>=) :: TodoKeyword -> TodoKeyword -> Bool Source # max :: TodoKeyword -> TodoKeyword -> TodoKeyword Source # min :: TodoKeyword -> TodoKeyword -> TodoKeyword Source #
type Rep TodoKeyword Source #
Instance details Defined in Org.Types type Rep TodoKeyword = D1 ('MetaData "TodoKeyword" "Org.Types" "org-parser-0.1.0.0-inplace" 'False) (C1 ('MetaCons "TodoKeyword" 'PrefixI 'True) (S1 ('MetaSel ('Just "todoState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TodoState) :*: S1 ('MetaSel ('Just "todoName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data TodoState Source #

The states in which a todo item can be

Constructors

Todo
Done

Instances

Instances details

FromJSON TodoState Source #
Instance details Defined in Org.Types Methods parseJSON :: Value -> Parser TodoState Source # parseJSONList :: Value -> Parser [TodoState] Source #
ToJSON TodoState Source #
Instance details Defined in Org.Types Methods toJSON :: TodoState -> Value Source # toEncoding :: TodoState -> Encoding Source # toJSONList :: [TodoState] -> Value Source # toEncodingList :: [TodoState] -> Encoding Source #
Data TodoState Source #
Instance details Defined in Org.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TodoState -> c TodoState Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TodoState Source # toConstr :: TodoState -> Constr Source # dataTypeOf :: TodoState -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TodoState) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TodoState) Source # gmapT :: (forall b. Data b => b -> b) -> TodoState -> TodoState Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TodoState -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TodoState -> r Source # gmapQ :: (forall d. Data d => d -> u) -> TodoState -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> TodoState -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> TodoState -> m TodoState Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TodoState -> m TodoState Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TodoState -> m TodoState Source #
Generic TodoState Source #
Instance details Defined in Org.Types Associated Types type Rep TodoState :: Type -> Type Source # Methods from :: TodoState -> Rep TodoState x Source # to :: Rep TodoState x -> TodoState Source #
Read TodoState Source #
Instance details Defined in Org.Types Methods readsPrec :: Int -> ReadS TodoState Source # readList :: ReadS [TodoState] Source # readPrec :: ReadPrec TodoState Source # readListPrec :: ReadPrec [TodoState] Source #
Show TodoState Source #
Instance details Defined in Org.Types Methods showsPrec :: Int -> TodoState -> ShowS Source # show :: TodoState -> String Source # showList :: [TodoState] -> ShowS Source #
NFData TodoState Source #
Instance details Defined in Org.Types Methods rnf :: TodoState -> () Source #
Eq TodoState Source #
Instance details Defined in Org.Types Methods (==) :: TodoState -> TodoState -> Bool Source # (/=) :: TodoState -> TodoState -> Bool Source #
Ord TodoState Source #
Instance details Defined in Org.Types Methods compare :: TodoState -> TodoState -> Ordering Source # (<) :: TodoState -> TodoState -> Bool Source # (<=) :: TodoState -> TodoState -> Bool Source # (>) :: TodoState -> TodoState -> Bool Source # (>=) :: TodoState -> TodoState -> Bool Source # max :: TodoState -> TodoState -> TodoState Source # min :: TodoState -> TodoState -> TodoState Source #
type Rep TodoState Source #
Instance details Defined in Org.Types type Rep TodoState = D1 ('MetaData "TodoState" "Org.Types" "org-parser-0.1.0.0-inplace" 'False) (C1 ('MetaCons "Todo" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Done" 'PrefixI 'False) (U1 :: Type -> Type))

type Tag = Text Source #

data Priority Source #

Constructors

LetterPriority Char
NumericPriority Int

Instances

Instances details

Data Priority Source #
Instance details Defined in Org.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Priority -> c Priority Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Priority Source # toConstr :: Priority -> Constr Source # dataTypeOf :: Priority -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Priority) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Priority) Source # gmapT :: (forall b. Data b => b -> b) -> Priority -> Priority Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Priority -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Priority -> r Source # gmapQ :: (forall d. Data d => d -> u) -> Priority -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> Priority -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Priority -> m Priority Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Priority -> m Priority Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Priority -> m Priority Source #
Generic Priority Source #
Instance details Defined in Org.Types Associated Types type Rep Priority :: Type -> Type Source # Methods from :: Priority -> Rep Priority x Source # to :: Rep Priority x -> Priority Source #
Read Priority Source #
Instance details Defined in Org.Types Methods readsPrec :: Int -> ReadS Priority Source # readList :: ReadS [Priority] Source # readPrec :: ReadPrec Priority Source # readListPrec :: ReadPrec [Priority] Source #
Show Priority Source #
Instance details Defined in Org.Types Methods showsPrec :: Int -> Priority -> ShowS Source # show :: Priority -> String Source # showList :: [Priority] -> ShowS Source #
NFData Priority Source #
Instance details Defined in Org.Types Methods rnf :: Priority -> () Source #
Eq Priority Source #
Instance details Defined in Org.Types Methods (==) :: Priority -> Priority -> Bool Source # (/=) :: Priority -> Priority -> Bool Source #
Ord Priority Source #
Instance details Defined in Org.Types Methods compare :: Priority -> Priority -> Ordering Source # (<) :: Priority -> Priority -> Bool Source # (<=) :: Priority -> Priority -> Bool Source # (>) :: Priority -> Priority -> Bool Source # (>=) :: Priority -> Priority -> Bool Source # max :: Priority -> Priority -> Priority Source # min :: Priority -> Priority -> Priority Source #
type Rep Priority Source #
Instance details Defined in Org.Types type Rep Priority = D1 ('MetaData "Priority" "Org.Types" "org-parser-0.1.0.0-inplace" 'False) (C1 ('MetaCons "LetterPriority" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Char)) :+: C1 ('MetaCons "NumericPriority" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

data PlanningInfo Source #

Planning information for a subtree/headline.

Constructors

PlanningInfo
Fields planningClosed :: Maybe TimestampData planningDeadline :: Maybe TimestampData planningScheduled :: Maybe TimestampData

Instances

Instances details

Data PlanningInfo Source #
Instance details Defined in Org.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PlanningInfo -> c PlanningInfo Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PlanningInfo Source # toConstr :: PlanningInfo -> Constr Source # dataTypeOf :: PlanningInfo -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c PlanningInfo) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PlanningInfo) Source # gmapT :: (forall b. Data b => b -> b) -> PlanningInfo -> PlanningInfo Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PlanningInfo -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PlanningInfo -> r Source # gmapQ :: (forall d. Data d => d -> u) -> PlanningInfo -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> PlanningInfo -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> PlanningInfo -> m PlanningInfo Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PlanningInfo -> m PlanningInfo Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PlanningInfo -> m PlanningInfo Source #
Generic PlanningInfo Source #
Instance details Defined in Org.Types Associated Types type Rep PlanningInfo :: Type -> Type Source # Methods from :: PlanningInfo -> Rep PlanningInfo x Source # to :: Rep PlanningInfo x -> PlanningInfo Source #
Read PlanningInfo Source #
Instance details Defined in Org.Types Methods readsPrec :: Int -> ReadS PlanningInfo Source # readList :: ReadS [PlanningInfo] Source # readPrec :: ReadPrec PlanningInfo Source # readListPrec :: ReadPrec [PlanningInfo] Source #
Show PlanningInfo Source #
Instance details Defined in Org.Types Methods showsPrec :: Int -> PlanningInfo -> ShowS Source # show :: PlanningInfo -> String Source # showList :: [PlanningInfo] -> ShowS Source #
NFData PlanningInfo Source #
Instance details Defined in Org.Types Methods rnf :: PlanningInfo -> () Source #
Eq PlanningInfo Source #
Instance details Defined in Org.Types Methods (==) :: PlanningInfo -> PlanningInfo -> Bool Source # (/=) :: PlanningInfo -> PlanningInfo -> Bool Source #
Ord PlanningInfo Source #
Instance details Defined in Org.Types Methods compare :: PlanningInfo -> PlanningInfo -> Ordering Source # (<) :: PlanningInfo -> PlanningInfo -> Bool Source # (<=) :: PlanningInfo -> PlanningInfo -> Bool Source # (>) :: PlanningInfo -> PlanningInfo -> Bool Source # (>=) :: PlanningInfo -> PlanningInfo -> Bool Source # max :: PlanningInfo -> PlanningInfo -> PlanningInfo Source # min :: PlanningInfo -> PlanningInfo -> PlanningInfo Source #
type Rep PlanningInfo Source #
Instance details Defined in Org.Types type Rep PlanningInfo = D1 ('MetaData "PlanningInfo" "Org.Types" "org-parser-0.1.0.0-inplace" 'False) (C1 ('MetaCons "PlanningInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "planningClosed") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe TimestampData)) :: (S1 ('MetaSel ('Just "planningDeadline") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe TimestampData)) :: S1 ('MetaSel ('Just "planningScheduled") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe TimestampData)))))

Helpers

lookupSectionProperty :: Text -> OrgSection -> Maybe Text Source #

OrgContent

type OrgContent = ([OrgElement], [OrgSection]) Source #

documentContent :: OrgDocument -> OrgContent Source #

mapContentM :: Monad m => (OrgContent -> m OrgContent) -> OrgDocument -> m OrgDocument Source #

mapContent :: (OrgContent -> OrgContent) -> OrgDocument -> OrgDocument Source #

sectionContent :: OrgSection -> OrgContent Source #

mapSectionContentM :: Monad m => (OrgContent -> m OrgContent) -> OrgSection -> m OrgSection Source #

mapSectionContent :: (OrgContent -> OrgContent) -> OrgSection -> OrgSection Source #

Elements

data OrgElement Source #

Org element. Like a Pandoc Block.

Constructors

OrgElement
Fields affiliatedKeywords :: Keywords elementData :: OrgElementData

Instances

Instances details

Data OrgElement Source #
Instance details Defined in Org.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> OrgElement -> c OrgElement Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c OrgElement Source # toConstr :: OrgElement -> Constr Source # dataTypeOf :: OrgElement -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c OrgElement) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c OrgElement) Source # gmapT :: (forall b. Data b => b -> b) -> OrgElement -> OrgElement Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> OrgElement -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> OrgElement -> r Source # gmapQ :: (forall d. Data d => d -> u) -> OrgElement -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> OrgElement -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> OrgElement -> m OrgElement Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> OrgElement -> m OrgElement Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> OrgElement -> m OrgElement Source #
IsString OrgElements Source #
Instance details Defined in Org.Builder Methods fromString :: String -> OrgElements Source #
Monoid OrgElements Source #
Instance details Defined in Org.Builder Methods mempty :: OrgElements Source # mappend :: OrgElements -> OrgElements -> OrgElements Source # mconcat :: [OrgElements] -> OrgElements Source #
Semigroup OrgElements Source #
Instance details Defined in Org.Builder Methods (<>) :: OrgElements -> OrgElements -> OrgElements Source # sconcat :: NonEmpty OrgElements -> OrgElements Source # stimes :: Integral b => b -> OrgElements -> OrgElements Source #
Generic OrgElement Source #
Instance details Defined in Org.Types Associated Types type Rep OrgElement :: Type -> Type Source # Methods from :: OrgElement -> Rep OrgElement x Source # to :: Rep OrgElement x -> OrgElement Source #
Read OrgElement Source #
Instance details Defined in Org.Types Methods readsPrec :: Int -> ReadS OrgElement Source # readList :: ReadS [OrgElement] Source # readPrec :: ReadPrec OrgElement Source # readListPrec :: ReadPrec [OrgElement] Source #
Show OrgElement Source #
Instance details Defined in Org.Types Methods showsPrec :: Int -> OrgElement -> ShowS Source # show :: OrgElement -> String Source # showList :: [OrgElement] -> ShowS Source #
NFData OrgElement Source #
Instance details Defined in Org.Types Methods rnf :: OrgElement -> () Source #
Eq OrgElement Source #
Instance details Defined in Org.Types Methods (==) :: OrgElement -> OrgElement -> Bool Source # (/=) :: OrgElement -> OrgElement -> Bool Source #
Ord OrgElement Source #
Instance details Defined in Org.Types Methods compare :: OrgElement -> OrgElement -> Ordering Source # (<) :: OrgElement -> OrgElement -> Bool Source # (<=) :: OrgElement -> OrgElement -> Bool Source # (>) :: OrgElement -> OrgElement -> Bool Source # (>=) :: OrgElement -> OrgElement -> Bool Source # max :: OrgElement -> OrgElement -> OrgElement Source # min :: OrgElement -> OrgElement -> OrgElement Source #
MultiSub MWTag OrgElement
Instance details Defined in Org.Walk Associated Types type SubTypes MWTag OrgElement :: Spec type HasSubTag MWTag OrgElement
type Rep OrgElement Source #
Instance details Defined in Org.Types type Rep OrgElement = D1 ('MetaData "OrgElement" "Org.Types" "org-parser-0.1.0.0-inplace" 'False) (C1 ('MetaCons "OrgElement" 'PrefixI 'True) (S1 ('MetaSel ('Just "affiliatedKeywords") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Keywords) :*: S1 ('MetaSel ('Just "elementData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OrgElementData)))
type HasSubTag MWTag OrgElement
Instance details Defined in Org.Walk type HasSubTag MWTag OrgElement = GSubTag
type SubTypes MWTag OrgElement
Instance details Defined in Org.Walk type SubTypes MWTag OrgElement = 'SpecList '[ToSpec OrgElementData, ToSpec (Trav (Map Text) (Under KeywordValue 'NoSel (List OrgObject)))]

data OrgElementData Source #

Constructors

Clock	Clock
Fields TimestampData Clock timestamp (Maybe Time) Duration
GreaterBlock	Greater block
Fields blkType :: GreaterBlockType Greater block type blkElements :: [OrgElement] Greater block elements
Drawer	Drawer
Fields drawerName :: Text Drawer name drawerElements :: [OrgElement] Drawer elements
PlainList	Plain list
Fields listType :: ListType List types listItems :: [ListItem] List items
ExportBlock	Export block
Fields Text Format Text Contents
ExampleBlock	Example block
Fields (Map Text Text) Switches [SrcLine] Contents
SrcBlock	Source blocks
Fields srcBlkLang :: Text Language srcBlkSwitches :: Map Text Text Switches srcBlkArguments :: [(Text, Text)] Header arguments srcBlkLines :: [SrcLine] Contents
VerseBlock [[OrgObject]]
HorizontalRule
Keyword
Fields keywordKey :: Text keywordValue :: KeywordValue
LaTeXEnvironment
Fields Text Environment name Text Environment contents
Paragraph [OrgObject]
Table [TableRow]
FootnoteDef
Fields Text Footnote name [OrgElement] Footnote content
Comment

Instances

Instances details

Data OrgElementData Source #
Instance details Defined in Org.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> OrgElementData -> c OrgElementData Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c OrgElementData Source # toConstr :: OrgElementData -> Constr Source # dataTypeOf :: OrgElementData -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c OrgElementData) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c OrgElementData) Source # gmapT :: (forall b. Data b => b -> b) -> OrgElementData -> OrgElementData Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> OrgElementData -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> OrgElementData -> r Source # gmapQ :: (forall d. Data d => d -> u) -> OrgElementData -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> OrgElementData -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> OrgElementData -> m OrgElementData Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> OrgElementData -> m OrgElementData Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> OrgElementData -> m OrgElementData Source #
Generic OrgElementData Source #
Instance details Defined in Org.Types Associated Types type Rep OrgElementData :: Type -> Type Source # Methods from :: OrgElementData -> Rep OrgElementData x Source # to :: Rep OrgElementData x -> OrgElementData Source #
Read OrgElementData Source #
Instance details Defined in Org.Types Methods readsPrec :: Int -> ReadS OrgElementData Source # readList :: ReadS [OrgElementData] Source # readPrec :: ReadPrec OrgElementData Source # readListPrec :: ReadPrec [OrgElementData] Source #
Show OrgElementData Source #
Instance details Defined in Org.Types Methods showsPrec :: Int -> OrgElementData -> ShowS Source # show :: OrgElementData -> String Source # showList :: [OrgElementData] -> ShowS Source #
NFData OrgElementData Source #
Instance details Defined in Org.Types Methods rnf :: OrgElementData -> () Source #
Eq OrgElementData Source #
Instance details Defined in Org.Types Methods (==) :: OrgElementData -> OrgElementData -> Bool Source # (/=) :: OrgElementData -> OrgElementData -> Bool Source #
Ord OrgElementData Source #
Instance details Defined in Org.Types Methods compare :: OrgElementData -> OrgElementData -> Ordering Source # (<) :: OrgElementData -> OrgElementData -> Bool Source # (<=) :: OrgElementData -> OrgElementData -> Bool Source # (>) :: OrgElementData -> OrgElementData -> Bool Source # (>=) :: OrgElementData -> OrgElementData -> Bool Source # max :: OrgElementData -> OrgElementData -> OrgElementData Source # min :: OrgElementData -> OrgElementData -> OrgElementData Source #
MultiSub MWTag OrgElementData
Instance details Defined in Org.Walk Associated Types type SubTypes MWTag OrgElementData :: Spec type HasSubTag MWTag OrgElementData
type Rep OrgElementData Source #
Instance details Defined in Org.Types type Rep OrgElementData = D1 ('MetaData "OrgElementData" "Org.Types" "org-parser-0.1.0.0-inplace" 'False) (((C1 ('MetaCons "Clock" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TimestampData) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Time))) :+: (C1 ('MetaCons "GreaterBlock" 'PrefixI 'True) (S1 ('MetaSel ('Just "blkType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 GreaterBlockType) :: S1 ('MetaSel ('Just "blkElements") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [OrgElement])) :+: C1 ('MetaCons "Drawer" 'PrefixI 'True) (S1 ('MetaSel ('Just "drawerName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: S1 ('MetaSel ('Just "drawerElements") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [OrgElement])))) :+: ((C1 ('MetaCons "PlainList" 'PrefixI 'True) (S1 ('MetaSel ('Just "listType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ListType) :: S1 ('MetaSel ('Just "listItems") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ListItem])) :+: C1 ('MetaCons "ExportBlock" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))) :+: (C1 ('MetaCons "ExampleBlock" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Text Text)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [SrcLine])) :+: C1 ('MetaCons "SrcBlock" 'PrefixI 'True) ((S1 ('MetaSel ('Just "srcBlkLang") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: S1 ('MetaSel ('Just "srcBlkSwitches") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Text Text))) :: (S1 ('MetaSel ('Just "srcBlkArguments") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(Text, Text)]) :: S1 ('MetaSel ('Just "srcBlkLines") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [SrcLine])))))) :+: (((C1 ('MetaCons "VerseBlock" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [[OrgObject]])) :+: C1 ('MetaCons "HorizontalRule" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Keyword" 'PrefixI 'True) (S1 ('MetaSel ('Just "keywordKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: S1 ('MetaSel ('Just "keywordValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 KeywordValue)) :+: C1 ('MetaCons "LaTeXEnvironment" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))) :+: ((C1 ('MetaCons "Paragraph" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [OrgObject])) :+: C1 ('MetaCons "Table" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TableRow]))) :+: (C1 ('MetaCons "FootnoteDef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [OrgElement])) :+: C1 ('MetaCons "Comment" 'PrefixI 'False) (U1 :: Type -> Type)))))
type HasSubTag MWTag OrgElementData
Instance details Defined in Org.Walk type HasSubTag MWTag OrgElementData = GSubTag
type SubTypes MWTag OrgElementData
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)]

Greater blocks

data GreaterBlockType Source #

Constructors

Center
Quote
Special Text

Instances

Instances details

Data GreaterBlockType Source #
Instance details Defined in Org.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> GreaterBlockType -> c GreaterBlockType Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c GreaterBlockType Source # toConstr :: GreaterBlockType -> Constr Source # dataTypeOf :: GreaterBlockType -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c GreaterBlockType) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c GreaterBlockType) Source # gmapT :: (forall b. Data b => b -> b) -> GreaterBlockType -> GreaterBlockType Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> GreaterBlockType -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> GreaterBlockType -> r Source # gmapQ :: (forall d. Data d => d -> u) -> GreaterBlockType -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> GreaterBlockType -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> GreaterBlockType -> m GreaterBlockType Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> GreaterBlockType -> m GreaterBlockType Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> GreaterBlockType -> m GreaterBlockType Source #
Generic GreaterBlockType Source #
Instance details Defined in Org.Types Associated Types type Rep GreaterBlockType :: Type -> Type Source # Methods from :: GreaterBlockType -> Rep GreaterBlockType x Source # to :: Rep GreaterBlockType x -> GreaterBlockType Source #
Read GreaterBlockType Source #
Instance details Defined in Org.Types Methods readsPrec :: Int -> ReadS GreaterBlockType Source # readList :: ReadS [GreaterBlockType] Source # readPrec :: ReadPrec GreaterBlockType Source # readListPrec :: ReadPrec [GreaterBlockType] Source #
Show GreaterBlockType Source #
Instance details Defined in Org.Types Methods showsPrec :: Int -> GreaterBlockType -> ShowS Source # show :: GreaterBlockType -> String Source # showList :: [GreaterBlockType] -> ShowS Source #
NFData GreaterBlockType Source #
Instance details Defined in Org.Types Methods rnf :: GreaterBlockType -> () Source #
Eq GreaterBlockType Source #
Instance details Defined in Org.Types Methods (==) :: GreaterBlockType -> GreaterBlockType -> Bool Source # (/=) :: GreaterBlockType -> GreaterBlockType -> Bool Source #
Ord GreaterBlockType Source #
Instance details Defined in Org.Types Methods compare :: GreaterBlockType -> GreaterBlockType -> Ordering Source # (<) :: GreaterBlockType -> GreaterBlockType -> Bool Source # (<=) :: GreaterBlockType -> GreaterBlockType -> Bool Source # (>) :: GreaterBlockType -> GreaterBlockType -> Bool Source # (>=) :: GreaterBlockType -> GreaterBlockType -> Bool Source # max :: GreaterBlockType -> GreaterBlockType -> GreaterBlockType Source # min :: GreaterBlockType -> GreaterBlockType -> GreaterBlockType Source #
type Rep GreaterBlockType Source #
Instance details Defined in Org.Types type Rep GreaterBlockType = D1 ('MetaData "GreaterBlockType" "Org.Types" "org-parser-0.1.0.0-inplace" 'False) (C1 ('MetaCons "Center" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Quote" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Special" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))))

Source blocks

data SrcLine Source #

Constructors

SrcLine Text
RefLine
Fields Id Reference id (its anchor) Text Reference name (how it appears) Text Line contents

Instances

Instances details

Data SrcLine Source #
Instance details Defined in Org.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SrcLine -> c SrcLine Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SrcLine Source # toConstr :: SrcLine -> Constr Source # dataTypeOf :: SrcLine -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SrcLine) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SrcLine) Source # gmapT :: (forall b. Data b => b -> b) -> SrcLine -> SrcLine Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SrcLine -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SrcLine -> r Source # gmapQ :: (forall d. Data d => d -> u) -> SrcLine -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> SrcLine -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SrcLine -> m SrcLine Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SrcLine -> m SrcLine Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SrcLine -> m SrcLine Source #
Generic SrcLine Source #
Instance details Defined in Org.Types Associated Types type Rep SrcLine :: Type -> Type Source # Methods from :: SrcLine -> Rep SrcLine x Source # to :: Rep SrcLine x -> SrcLine Source #
Read SrcLine Source #
Instance details Defined in Org.Types Methods readsPrec :: Int -> ReadS SrcLine Source # readList :: ReadS [SrcLine] Source # readPrec :: ReadPrec SrcLine Source # readListPrec :: ReadPrec [SrcLine] Source #
Show SrcLine Source #
Instance details Defined in Org.Types Methods showsPrec :: Int -> SrcLine -> ShowS Source # show :: SrcLine -> String Source # showList :: [SrcLine] -> ShowS Source #
NFData SrcLine Source #
Instance details Defined in Org.Types Methods rnf :: SrcLine -> () Source #
Eq SrcLine Source #
Instance details Defined in Org.Types Methods (==) :: SrcLine -> SrcLine -> Bool Source # (/=) :: SrcLine -> SrcLine -> Bool Source #
Ord SrcLine Source #
Instance details Defined in Org.Types Methods compare :: SrcLine -> SrcLine -> Ordering Source # (<) :: SrcLine -> SrcLine -> Bool Source # (<=) :: SrcLine -> SrcLine -> Bool Source # (>) :: SrcLine -> SrcLine -> Bool Source # (>=) :: SrcLine -> SrcLine -> Bool Source # max :: SrcLine -> SrcLine -> SrcLine Source # min :: SrcLine -> SrcLine -> SrcLine Source #
type Rep SrcLine Source #
Instance details Defined in Org.Types type Rep SrcLine = D1 ('MetaData "SrcLine" "Org.Types" "org-parser-0.1.0.0-inplace" 'False) (C1 ('MetaCons "SrcLine" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "RefLine" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Id) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))))

srcLineContent :: SrcLine -> Text Source #

srcLinesToText :: [SrcLine] -> Text Source #

srcLineMap :: (Text -> Text) -> SrcLine -> SrcLine Source #

Lists

data ListType Source #

Constructors

Ordered OrderedStyle
Descriptive
Unordered Char

Instances

Instances details

Data ListType Source #
Instance details Defined in Org.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ListType -> c ListType Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ListType Source # toConstr :: ListType -> Constr Source # dataTypeOf :: ListType -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ListType) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ListType) Source # gmapT :: (forall b. Data b => b -> b) -> ListType -> ListType Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ListType -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ListType -> r Source # gmapQ :: (forall d. Data d => d -> u) -> ListType -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> ListType -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ListType -> m ListType Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ListType -> m ListType Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ListType -> m ListType Source #
Generic ListType Source #
Instance details Defined in Org.Types Associated Types type Rep ListType :: Type -> Type Source # Methods from :: ListType -> Rep ListType x Source # to :: Rep ListType x -> ListType Source #
Read ListType Source #
Instance details Defined in Org.Types Methods readsPrec :: Int -> ReadS ListType Source # readList :: ReadS [ListType] Source # readPrec :: ReadPrec ListType Source # readListPrec :: ReadPrec [ListType] Source #
Show ListType Source #
Instance details Defined in Org.Types Methods showsPrec :: Int -> ListType -> ShowS Source # show :: ListType -> String Source # showList :: [ListType] -> ShowS Source #
NFData ListType Source #
Instance details Defined in Org.Types Methods rnf :: ListType -> () Source #
Eq ListType Source #
Instance details Defined in Org.Types Methods (==) :: ListType -> ListType -> Bool Source # (/=) :: ListType -> ListType -> Bool Source #
Ord ListType Source #
Instance details Defined in Org.Types Methods compare :: ListType -> ListType -> Ordering Source # (<) :: ListType -> ListType -> Bool Source # (<=) :: ListType -> ListType -> Bool Source # (>) :: ListType -> ListType -> Bool Source # (>=) :: ListType -> ListType -> Bool Source # max :: ListType -> ListType -> ListType Source # min :: ListType -> ListType -> ListType Source #
type Rep ListType Source #
Instance details Defined in Org.Types type Rep ListType = D1 ('MetaData "ListType" "Org.Types" "org-parser-0.1.0.0-inplace" 'False) (C1 ('MetaCons "Ordered" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OrderedStyle)) :+: (C1 ('MetaCons "Descriptive" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Unordered" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Char))))

data OrderedStyle Source #

Constructors

OrderedNum
OrderedAlpha

Instances

Instances details

Data OrderedStyle Source #
Instance details Defined in Org.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> OrderedStyle -> c OrderedStyle Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c OrderedStyle Source # toConstr :: OrderedStyle -> Constr Source # dataTypeOf :: OrderedStyle -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c OrderedStyle) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c OrderedStyle) Source # gmapT :: (forall b. Data b => b -> b) -> OrderedStyle -> OrderedStyle Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> OrderedStyle -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> OrderedStyle -> r Source # gmapQ :: (forall d. Data d => d -> u) -> OrderedStyle -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> OrderedStyle -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> OrderedStyle -> m OrderedStyle Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> OrderedStyle -> m OrderedStyle Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> OrderedStyle -> m OrderedStyle Source #
Generic OrderedStyle Source #
Instance details Defined in Org.Types Associated Types type Rep OrderedStyle :: Type -> Type Source # Methods from :: OrderedStyle -> Rep OrderedStyle x Source # to :: Rep OrderedStyle x -> OrderedStyle Source #
Read OrderedStyle Source #
Instance details Defined in Org.Types Methods readsPrec :: Int -> ReadS OrderedStyle Source # readList :: ReadS [OrderedStyle] Source # readPrec :: ReadPrec OrderedStyle Source # readListPrec :: ReadPrec [OrderedStyle] Source #
Show OrderedStyle Source #
Instance details Defined in Org.Types Methods showsPrec :: Int -> OrderedStyle -> ShowS Source # show :: OrderedStyle -> String Source # showList :: [OrderedStyle] -> ShowS Source #
NFData OrderedStyle Source #
Instance details Defined in Org.Types Methods rnf :: OrderedStyle -> () Source #
Eq OrderedStyle Source #
Instance details Defined in Org.Types Methods (==) :: OrderedStyle -> OrderedStyle -> Bool Source # (/=) :: OrderedStyle -> OrderedStyle -> Bool Source #
Ord OrderedStyle Source #
Instance details Defined in Org.Types Methods compare :: OrderedStyle -> OrderedStyle -> Ordering Source # (<) :: OrderedStyle -> OrderedStyle -> Bool Source # (<=) :: OrderedStyle -> OrderedStyle -> Bool Source # (>) :: OrderedStyle -> OrderedStyle -> Bool Source # (>=) :: OrderedStyle -> OrderedStyle -> Bool Source # max :: OrderedStyle -> OrderedStyle -> OrderedStyle Source # min :: OrderedStyle -> OrderedStyle -> OrderedStyle Source #
type Rep OrderedStyle Source #
Instance details Defined in Org.Types type Rep OrderedStyle = D1 ('MetaData "OrderedStyle" "Org.Types" "org-parser-0.1.0.0-inplace" 'False) (C1 ('MetaCons "OrderedNum" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OrderedAlpha" 'PrefixI 'False) (U1 :: Type -> Type))

orderedStyle :: Text -> OrderedStyle Source #

data ListItem Source #

One item of a list. Parameters are bullet, counter cookie, checkbox and tag.

Constructors

ListItem Bullet (Maybe Int) (Maybe Checkbox) [OrgObject] [OrgElement]

Instances

Instances details

Data ListItem Source #
Instance details Defined in Org.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ListItem -> c ListItem Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ListItem Source # toConstr :: ListItem -> Constr Source # dataTypeOf :: ListItem -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ListItem) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ListItem) Source # gmapT :: (forall b. Data b => b -> b) -> ListItem -> ListItem Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ListItem -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ListItem -> r Source # gmapQ :: (forall d. Data d => d -> u) -> ListItem -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> ListItem -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ListItem -> m ListItem Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ListItem -> m ListItem Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ListItem -> m ListItem Source #
Generic ListItem Source #
Instance details Defined in Org.Types Associated Types type Rep ListItem :: Type -> Type Source # Methods from :: ListItem -> Rep ListItem x Source # to :: Rep ListItem x -> ListItem Source #
Read ListItem Source #
Instance details Defined in Org.Types Methods readsPrec :: Int -> ReadS ListItem Source # readList :: ReadS [ListItem] Source # readPrec :: ReadPrec ListItem Source # readListPrec :: ReadPrec [ListItem] Source #
Show ListItem Source #
Instance details Defined in Org.Types Methods showsPrec :: Int -> ListItem -> ShowS Source # show :: ListItem -> String Source # showList :: [ListItem] -> ShowS Source #
NFData ListItem Source #
Instance details Defined in Org.Types Methods rnf :: ListItem -> () Source #
Eq ListItem Source #
Instance details Defined in Org.Types Methods (==) :: ListItem -> ListItem -> Bool Source # (/=) :: ListItem -> ListItem -> Bool Source #
Ord ListItem Source #
Instance details Defined in Org.Types Methods compare :: ListItem -> ListItem -> Ordering Source # (<) :: ListItem -> ListItem -> Bool Source # (<=) :: ListItem -> ListItem -> Bool Source # (>) :: ListItem -> ListItem -> Bool Source # (>=) :: ListItem -> ListItem -> Bool Source # max :: ListItem -> ListItem -> ListItem Source # min :: ListItem -> ListItem -> ListItem Source #
MultiSub MWTag ListItem
Instance details Defined in Org.Walk Associated Types type SubTypes MWTag ListItem :: Spec type HasSubTag MWTag ListItem
type Rep ListItem Source #
Instance details Defined in Org.Types type Rep ListItem = D1 ('MetaData "ListItem" "Org.Types" "org-parser-0.1.0.0-inplace" 'False) (C1 ('MetaCons "ListItem" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bullet) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Int))) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Checkbox)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [OrgObject]) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [OrgElement])))))
type HasSubTag MWTag ListItem
Instance details Defined in Org.Walk type HasSubTag MWTag ListItem = GSubTag
type SubTypes MWTag ListItem
Instance details Defined in Org.Walk type SubTypes MWTag ListItem = 'SpecList '[ToSpec (List OrgObject), ToSpec (List OrgElement)]

data Bullet Source #

Constructors

Bullet Char
Counter Text Char

Instances

Instances details

Data Bullet Source #
Instance details Defined in Org.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Bullet -> c Bullet Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Bullet Source # toConstr :: Bullet -> Constr Source # dataTypeOf :: Bullet -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Bullet) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Bullet) Source # gmapT :: (forall b. Data b => b -> b) -> Bullet -> Bullet Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Bullet -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Bullet -> r Source # gmapQ :: (forall d. Data d => d -> u) -> Bullet -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> Bullet -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Bullet -> m Bullet Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Bullet -> m Bullet Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Bullet -> m Bullet Source #
Generic Bullet Source #
Instance details Defined in Org.Types Associated Types type Rep Bullet :: Type -> Type Source # Methods from :: Bullet -> Rep Bullet x Source # to :: Rep Bullet x -> Bullet Source #
Read Bullet Source #
Instance details Defined in Org.Types Methods readsPrec :: Int -> ReadS Bullet Source # readList :: ReadS [Bullet] Source # readPrec :: ReadPrec Bullet Source # readListPrec :: ReadPrec [Bullet] Source #
Show Bullet Source #
Instance details Defined in Org.Types Methods showsPrec :: Int -> Bullet -> ShowS Source # show :: Bullet -> String Source # showList :: [Bullet] -> ShowS Source #
NFData Bullet Source #
Instance details Defined in Org.Types Methods rnf :: Bullet -> () Source #
Eq Bullet Source #
Instance details Defined in Org.Types Methods (==) :: Bullet -> Bullet -> Bool Source # (/=) :: Bullet -> Bullet -> Bool Source #
Ord Bullet Source #
Instance details Defined in Org.Types Methods compare :: Bullet -> Bullet -> Ordering Source # (<) :: Bullet -> Bullet -> Bool Source # (<=) :: Bullet -> Bullet -> Bool Source # (>) :: Bullet -> Bullet -> Bool Source # (>=) :: Bullet -> Bullet -> Bool Source # max :: Bullet -> Bullet -> Bullet Source # min :: Bullet -> Bullet -> Bullet Source #
type Rep Bullet Source #
Instance details Defined in Org.Types type Rep Bullet = D1 ('MetaData "Bullet" "Org.Types" "org-parser-0.1.0.0-inplace" 'False) (C1 ('MetaCons "Bullet" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Char)) :+: C1 ('MetaCons "Counter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Char)))

data Checkbox Source #

Constructors

BoolBox Bool
PartialBox

Instances

Instances details

Data Checkbox Source #
Instance details Defined in Org.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Checkbox -> c Checkbox Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Checkbox Source # toConstr :: Checkbox -> Constr Source # dataTypeOf :: Checkbox -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Checkbox) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Checkbox) Source # gmapT :: (forall b. Data b => b -> b) -> Checkbox -> Checkbox Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Checkbox -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Checkbox -> r Source # gmapQ :: (forall d. Data d => d -> u) -> Checkbox -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> Checkbox -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Checkbox -> m Checkbox Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Checkbox -> m Checkbox Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Checkbox -> m Checkbox Source #
Generic Checkbox Source #
Instance details Defined in Org.Types Associated Types type Rep Checkbox :: Type -> Type Source # Methods from :: Checkbox -> Rep Checkbox x Source # to :: Rep Checkbox x -> Checkbox Source #
Read Checkbox Source #
Instance details Defined in Org.Types Methods readsPrec :: Int -> ReadS Checkbox Source # readList :: ReadS [Checkbox] Source # readPrec :: ReadPrec Checkbox Source # readListPrec :: ReadPrec [Checkbox] Source #
Show Checkbox Source #
Instance details Defined in Org.Types Methods showsPrec :: Int -> Checkbox -> ShowS Source # show :: Checkbox -> String Source # showList :: [Checkbox] -> ShowS Source #
NFData Checkbox Source #
Instance details Defined in Org.Types Methods rnf :: Checkbox -> () Source #
Eq Checkbox Source #
Instance details Defined in Org.Types Methods (==) :: Checkbox -> Checkbox -> Bool Source # (/=) :: Checkbox -> Checkbox -> Bool Source #
Ord Checkbox Source #
Instance details Defined in Org.Types Methods compare :: Checkbox -> Checkbox -> Ordering Source # (<) :: Checkbox -> Checkbox -> Bool Source # (<=) :: Checkbox -> Checkbox -> Bool Source # (>) :: Checkbox -> Checkbox -> Bool Source # (>=) :: Checkbox -> Checkbox -> Bool Source # max :: Checkbox -> Checkbox -> Checkbox Source # min :: Checkbox -> Checkbox -> Checkbox Source #
type Rep Checkbox Source #
Instance details Defined in Org.Types type Rep Checkbox = D1 ('MetaData "Checkbox" "Org.Types" "org-parser-0.1.0.0-inplace" 'False) (C1 ('MetaCons "BoolBox" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :+: C1 ('MetaCons "PartialBox" 'PrefixI 'False) (U1 :: Type -> Type))

listItemType :: ListItem -> ListType Source #

Keywords

type Keywords = Map Text KeywordValue Source #

data KeywordValue Source #

Constructors

ValueKeyword Text
ParsedKeyword [OrgObject]
BackendKeyword [(Text, Text)]

Instances

Instances details

Data KeywordValue Source #
Instance details Defined in Org.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> KeywordValue -> c KeywordValue Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c KeywordValue Source # toConstr :: KeywordValue -> Constr Source # dataTypeOf :: KeywordValue -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c KeywordValue) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c KeywordValue) Source # gmapT :: (forall b. Data b => b -> b) -> KeywordValue -> KeywordValue Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> KeywordValue -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> KeywordValue -> r Source # gmapQ :: (forall d. Data d => d -> u) -> KeywordValue -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> KeywordValue -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> KeywordValue -> m KeywordValue Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> KeywordValue -> m KeywordValue Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> KeywordValue -> m KeywordValue Source #
Semigroup KeywordValue Source #
Instance details Defined in Org.Types Methods (<>) :: KeywordValue -> KeywordValue -> KeywordValue Source # sconcat :: NonEmpty KeywordValue -> KeywordValue Source # stimes :: Integral b => b -> KeywordValue -> KeywordValue Source #
Generic KeywordValue Source #
Instance details Defined in Org.Types Associated Types type Rep KeywordValue :: Type -> Type Source # Methods from :: KeywordValue -> Rep KeywordValue x Source # to :: Rep KeywordValue x -> KeywordValue Source #
Read KeywordValue Source #
Instance details Defined in Org.Types Methods readsPrec :: Int -> ReadS KeywordValue Source # readList :: ReadS [KeywordValue] Source # readPrec :: ReadPrec KeywordValue Source # readListPrec :: ReadPrec [KeywordValue] Source #
Show KeywordValue Source #
Instance details Defined in Org.Types Methods showsPrec :: Int -> KeywordValue -> ShowS Source # show :: KeywordValue -> String Source # showList :: [KeywordValue] -> ShowS Source #
NFData KeywordValue Source #
Instance details Defined in Org.Types Methods rnf :: KeywordValue -> () Source #
Eq KeywordValue Source #
Instance details Defined in Org.Types Methods (==) :: KeywordValue -> KeywordValue -> Bool Source # (/=) :: KeywordValue -> KeywordValue -> Bool Source #
Ord KeywordValue Source #
Instance details Defined in Org.Types Methods compare :: KeywordValue -> KeywordValue -> Ordering Source # (<) :: KeywordValue -> KeywordValue -> Bool Source # (<=) :: KeywordValue -> KeywordValue -> Bool Source # (>) :: KeywordValue -> KeywordValue -> Bool Source # (>=) :: KeywordValue -> KeywordValue -> Bool Source # max :: KeywordValue -> KeywordValue -> KeywordValue Source # min :: KeywordValue -> KeywordValue -> KeywordValue Source #
type Rep KeywordValue Source #
Instance details Defined in Org.Types type Rep KeywordValue = D1 ('MetaData "KeywordValue" "Org.Types" "org-parser-0.1.0.0-inplace" 'False) (C1 ('MetaCons "ValueKeyword" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: (C1 ('MetaCons "ParsedKeyword" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [OrgObject])) :+: C1 ('MetaCons "BackendKeyword" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(Text, Text)]))))

lookupValueKeyword :: Text -> Keywords -> Text Source #

lookupParsedKeyword :: Text -> Keywords -> [OrgObject] Source #

lookupBackendKeyword :: Text -> Keywords -> [(Text, Text)] Source #

keywordsFromList :: [(Text, KeywordValue)] -> Keywords Source #

Tables

data TableRow Source #

Constructors

StandardRow [TableCell]
ColumnPropsRow [Maybe ColumnAlignment]
RuleRow

Instances

Instances details

Data TableRow Source #
Instance details Defined in Org.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TableRow -> c TableRow Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TableRow Source # toConstr :: TableRow -> Constr Source # dataTypeOf :: TableRow -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TableRow) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TableRow) Source # gmapT :: (forall b. Data b => b -> b) -> TableRow -> TableRow Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TableRow -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TableRow -> r Source # gmapQ :: (forall d. Data d => d -> u) -> TableRow -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> TableRow -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> TableRow -> m TableRow Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TableRow -> m TableRow Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TableRow -> m TableRow Source #
Generic TableRow Source #
Instance details Defined in Org.Types Associated Types type Rep TableRow :: Type -> Type Source # Methods from :: TableRow -> Rep TableRow x Source # to :: Rep TableRow x -> TableRow Source #
Read TableRow Source #
Instance details Defined in Org.Types Methods readsPrec :: Int -> ReadS TableRow Source # readList :: ReadS [TableRow] Source # readPrec :: ReadPrec TableRow Source # readListPrec :: ReadPrec [TableRow] Source #
Show TableRow Source #
Instance details Defined in Org.Types Methods showsPrec :: Int -> TableRow -> ShowS Source # show :: TableRow -> String Source # showList :: [TableRow] -> ShowS Source #
NFData TableRow Source #
Instance details Defined in Org.Types Methods rnf :: TableRow -> () Source #
Eq TableRow Source #
Instance details Defined in Org.Types Methods (==) :: TableRow -> TableRow -> Bool Source # (/=) :: TableRow -> TableRow -> Bool Source #
Ord TableRow Source #
Instance details Defined in Org.Types Methods compare :: TableRow -> TableRow -> Ordering Source # (<) :: TableRow -> TableRow -> Bool Source # (<=) :: TableRow -> TableRow -> Bool Source # (>) :: TableRow -> TableRow -> Bool Source # (>=) :: TableRow -> TableRow -> Bool Source # max :: TableRow -> TableRow -> TableRow Source # min :: TableRow -> TableRow -> TableRow Source #
type Rep TableRow Source #
Instance details Defined in Org.Types type Rep TableRow = D1 ('MetaData "TableRow" "Org.Types" "org-parser-0.1.0.0-inplace" 'False) (C1 ('MetaCons "StandardRow" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TableCell])) :+: (C1 ('MetaCons "ColumnPropsRow" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Maybe ColumnAlignment])) :+: C1 ('MetaCons "RuleRow" 'PrefixI 'False) (U1 :: Type -> Type)))

type TableCell = [OrgObject] Source #

data ColumnAlignment Source #

Constructors

AlignLeft
AlignCenter
AlignRight

Instances

Instances details

Data ColumnAlignment Source #
Instance details Defined in Org.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ColumnAlignment -> c ColumnAlignment Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ColumnAlignment Source # toConstr :: ColumnAlignment -> Constr Source # dataTypeOf :: ColumnAlignment -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ColumnAlignment) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ColumnAlignment) Source # gmapT :: (forall b. Data b => b -> b) -> ColumnAlignment -> ColumnAlignment Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ColumnAlignment -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ColumnAlignment -> r Source # gmapQ :: (forall d. Data d => d -> u) -> ColumnAlignment -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> ColumnAlignment -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ColumnAlignment -> m ColumnAlignment Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ColumnAlignment -> m ColumnAlignment Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ColumnAlignment -> m ColumnAlignment Source #
Generic ColumnAlignment Source #
Instance details Defined in Org.Types Associated Types type Rep ColumnAlignment :: Type -> Type Source # Methods from :: ColumnAlignment -> Rep ColumnAlignment x Source # to :: Rep ColumnAlignment x -> ColumnAlignment Source #
Read ColumnAlignment Source #
Instance details Defined in Org.Types Methods readsPrec :: Int -> ReadS ColumnAlignment Source # readList :: ReadS [ColumnAlignment] Source # readPrec :: ReadPrec ColumnAlignment Source # readListPrec :: ReadPrec [ColumnAlignment] Source #
Show ColumnAlignment Source #
Instance details Defined in Org.Types Methods showsPrec :: Int -> ColumnAlignment -> ShowS Source # show :: ColumnAlignment -> String Source # showList :: [ColumnAlignment] -> ShowS Source #
NFData ColumnAlignment Source #
Instance details Defined in Org.Types Methods rnf :: ColumnAlignment -> () Source #
Eq ColumnAlignment Source #
Instance details Defined in Org.Types Methods (==) :: ColumnAlignment -> ColumnAlignment -> Bool Source # (/=) :: ColumnAlignment -> ColumnAlignment -> Bool Source #
Ord ColumnAlignment Source #
Instance details Defined in Org.Types Methods compare :: ColumnAlignment -> ColumnAlignment -> Ordering Source # (<) :: ColumnAlignment -> ColumnAlignment -> Bool Source # (<=) :: ColumnAlignment -> ColumnAlignment -> Bool Source # (>) :: ColumnAlignment -> ColumnAlignment -> Bool Source # (>=) :: ColumnAlignment -> ColumnAlignment -> Bool Source # max :: ColumnAlignment -> ColumnAlignment -> ColumnAlignment Source # min :: ColumnAlignment -> ColumnAlignment -> ColumnAlignment Source #
type Rep ColumnAlignment Source #
Instance details Defined in Org.Types type Rep ColumnAlignment = D1 ('MetaData "ColumnAlignment" "Org.Types" "org-parser-0.1.0.0-inplace" 'False) (C1 ('MetaCons "AlignLeft" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "AlignCenter" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AlignRight" 'PrefixI 'False) (U1 :: Type -> Type)))

Objects

data OrgObject Source #

Objects (inline elements).

Constructors

Plain Text
LineBreak
Italic [OrgObject]
Underline [OrgObject]
Bold [OrgObject]
Strikethrough [OrgObject]
Superscript [OrgObject]
Subscript [OrgObject]
Quoted QuoteType [OrgObject]
Code Text
Verbatim Text
Timestamp TimestampData
Entity	Entity (e.g. `\alpha{}`)
Fields Text Name (e.g. `alpha`)
LaTeXFragment FragmentType Text
ExportSnippet	Inline export snippet (e.g. `@@html:<br/>@@`)
Fields Text Back-end (e.g. `html`) Text Value (e.g. `<br/>`)
FootnoteRef FootnoteRefData	Footnote reference.
Cite Citation
InlBabelCall BabelCall
Src	Inline source (e.g. `src_html[:foo bar]{<br/>}`)
Fields Text Language (e.g. `html`) Text Parameters (e.g. `:foo bar`) Text Value (e.g. `<br/>`)
Link LinkTarget [OrgObject]
Target	Inline target (e.g. `<<<foo>>>`)
Fields Id Anchor (Warning: this field is not populated by the parser! --- in the near future, fields like this one and the `Id` type will be removed in favor of AST extensibility). See also the documentation for `LinkTarget` Text Name
Macro	Org inline macro (e.g. `{{{poem(red,blue)}}}`)
Fields Text Macro name (e.g. `"poem"`) [Text] Arguments (e.g. `["red", "blue"]`)
StatisticCookie	Statistic cookies.
Fields (Either (Int, Int) Int) Either `[num1/num2]` or `[percent%]`.

Instances

Instances details

Data OrgObject Source #
Instance details Defined in Org.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> OrgObject -> c OrgObject Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c OrgObject Source # toConstr :: OrgObject -> Constr Source # dataTypeOf :: OrgObject -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c OrgObject) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c OrgObject) Source # gmapT :: (forall b. Data b => b -> b) -> OrgObject -> OrgObject Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> OrgObject -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> OrgObject -> r Source # gmapQ :: (forall d. Data d => d -> u) -> OrgObject -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> OrgObject -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> OrgObject -> m OrgObject Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> OrgObject -> m OrgObject Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> OrgObject -> m OrgObject Source #
IsString OrgObjects Source #
Instance details Defined in Org.Builder Methods fromString :: String -> OrgObjects Source #
Monoid OrgObjects Source #
Instance details Defined in Org.Builder Methods mempty :: OrgObjects Source # mappend :: OrgObjects -> OrgObjects -> OrgObjects Source # mconcat :: [OrgObjects] -> OrgObjects Source #
Semigroup OrgObjects Source #
Instance details Defined in Org.Builder Methods (<>) :: OrgObjects -> OrgObjects -> OrgObjects Source # sconcat :: NonEmpty OrgObjects -> OrgObjects Source # stimes :: Integral b => b -> OrgObjects -> OrgObjects Source #
Generic OrgObject Source #
Instance details Defined in Org.Types Associated Types type Rep OrgObject :: Type -> Type Source # Methods from :: OrgObject -> Rep OrgObject x Source # to :: Rep OrgObject x -> OrgObject Source #
Read OrgObject Source #
Instance details Defined in Org.Types Methods readsPrec :: Int -> ReadS OrgObject Source # readList :: ReadS [OrgObject] Source # readPrec :: ReadPrec OrgObject Source # readListPrec :: ReadPrec [OrgObject] Source #
Show OrgObject Source #
Instance details Defined in Org.Types Methods showsPrec :: Int -> OrgObject -> ShowS Source # show :: OrgObject -> String Source # showList :: [OrgObject] -> ShowS Source #
NFData OrgObject Source #
Instance details Defined in Org.Types Methods rnf :: OrgObject -> () Source #
Eq OrgObject Source #
Instance details Defined in Org.Types Methods (==) :: OrgObject -> OrgObject -> Bool Source # (/=) :: OrgObject -> OrgObject -> Bool Source #
Ord OrgObject Source #
Instance details Defined in Org.Types Methods compare :: OrgObject -> OrgObject -> Ordering Source # (<) :: OrgObject -> OrgObject -> Bool Source # (<=) :: OrgObject -> OrgObject -> Bool Source # (>) :: OrgObject -> OrgObject -> Bool Source # (>=) :: OrgObject -> OrgObject -> Bool Source # max :: OrgObject -> OrgObject -> OrgObject Source # min :: OrgObject -> OrgObject -> OrgObject Source #
MultiSub MWTag OrgObject
Instance details Defined in Org.Walk Associated Types type SubTypes MWTag OrgObject :: Spec type HasSubTag MWTag OrgObject
type Rep OrgObject Source #
Instance details Defined in Org.Types type Rep OrgObject = D1 ('MetaData "OrgObject" "Org.Types" "org-parser-0.1.0.0-inplace" 'False) ((((C1 ('MetaCons "Plain" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "LineBreak" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Italic" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [OrgObject])) :+: (C1 ('MetaCons "Underline" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [OrgObject])) :+: C1 ('MetaCons "Bold" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [OrgObject]))))) :+: ((C1 ('MetaCons "Strikethrough" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [OrgObject])) :+: (C1 ('MetaCons "Superscript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [OrgObject])) :+: C1 ('MetaCons "Subscript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [OrgObject])))) :+: (C1 ('MetaCons "Quoted" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 QuoteType) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [OrgObject])) :+: (C1 ('MetaCons "Code" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "Verbatim" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))))) :+: (((C1 ('MetaCons "Timestamp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TimestampData)) :+: (C1 ('MetaCons "Entity" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "LaTeXFragment" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FragmentType) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))) :+: (C1 ('MetaCons "ExportSnippet" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: (C1 ('MetaCons "FootnoteRef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FootnoteRefData)) :+: C1 ('MetaCons "Cite" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Citation))))) :+: ((C1 ('MetaCons "InlBabelCall" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BabelCall)) :+: (C1 ('MetaCons "Src" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))) :+: C1 ('MetaCons "Link" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LinkTarget) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [OrgObject])))) :+: (C1 ('MetaCons "Target" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Id) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: (C1 ('MetaCons "Macro" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Text])) :+: C1 ('MetaCons "StatisticCookie" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Either (Int, Int) Int))))))))
type HasSubTag MWTag OrgObject
Instance details Defined in Org.Walk type HasSubTag MWTag OrgObject = GSubTag
type SubTypes MWTag OrgObject
Instance details Defined in Org.Walk type SubTypes MWTag OrgObject = 'SpecList '[ToSpec (List OrgObject), ToSpec (Under FootnoteRefData 'NoSel (List OrgElement)), ToSpec Citation]

Link target. Note that the parser does not resolve internal links. Instead, they should be resolved using the functions in org-exporters package. In the near future, the InternalLink constructor and Id type will be removed in favor of AST extensibility. See also the documentation for Target.

Constructors

URILink Protocol Text
InternalLink Id
UnresolvedLink Text

Instances

Instances details

Data LinkTarget Source #
Instance details Defined in Org.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LinkTarget -> c LinkTarget Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LinkTarget Source # toConstr :: LinkTarget -> Constr Source # dataTypeOf :: LinkTarget -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LinkTarget) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LinkTarget) Source # gmapT :: (forall b. Data b => b -> b) -> LinkTarget -> LinkTarget Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LinkTarget -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LinkTarget -> r Source # gmapQ :: (forall d. Data d => d -> u) -> LinkTarget -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> LinkTarget -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> LinkTarget -> m LinkTarget Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LinkTarget -> m LinkTarget Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LinkTarget -> m LinkTarget Source #
Generic LinkTarget Source #
Instance details Defined in Org.Types Associated Types type Rep LinkTarget :: Type -> Type Source # Methods from :: LinkTarget -> Rep LinkTarget x Source # to :: Rep LinkTarget x -> LinkTarget Source #
Read LinkTarget Source #
Instance details Defined in Org.Types Methods readsPrec :: Int -> ReadS LinkTarget Source # readList :: ReadS [LinkTarget] Source # readPrec :: ReadPrec LinkTarget Source # readListPrec :: ReadPrec [LinkTarget] Source #
Show LinkTarget Source #
Instance details Defined in Org.Types Methods showsPrec :: Int -> LinkTarget -> ShowS Source # show :: LinkTarget -> String Source # showList :: [LinkTarget] -> ShowS Source #
NFData LinkTarget Source #
Instance details Defined in Org.Types Methods rnf :: LinkTarget -> () Source #
Eq LinkTarget Source #
Instance details Defined in Org.Types Methods (==) :: LinkTarget -> LinkTarget -> Bool Source # (/=) :: LinkTarget -> LinkTarget -> Bool Source #
Ord LinkTarget Source #
Instance details Defined in Org.Types Methods compare :: LinkTarget -> LinkTarget -> Ordering Source # (<) :: LinkTarget -> LinkTarget -> Bool Source # (<=) :: LinkTarget -> LinkTarget -> Bool Source # (>) :: LinkTarget -> LinkTarget -> Bool Source # (>=) :: LinkTarget -> LinkTarget -> Bool Source # max :: LinkTarget -> LinkTarget -> LinkTarget Source # min :: LinkTarget -> LinkTarget -> LinkTarget Source #
type Rep LinkTarget Source #
Instance details Defined in Org.Types type Rep LinkTarget = D1 ('MetaData "LinkTarget" "Org.Types" "org-parser-0.1.0.0-inplace" 'False) (C1 ('MetaCons "URILink" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Protocol) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: (C1 ('MetaCons "InternalLink" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Id)) :+: C1 ('MetaCons "UnresolvedLink" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))))

type Protocol = Text Source #

type Id = Text Source #

linkTargetToText :: LinkTarget -> Text Source #

LaTeX fragments

data FragmentType Source #

Constructors

RawFragment
InlMathFragment
DispMathFragment

Instances

Instances details

Data FragmentType Source #
Instance details Defined in Org.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FragmentType -> c FragmentType Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FragmentType Source # toConstr :: FragmentType -> Constr Source # dataTypeOf :: FragmentType -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c FragmentType) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FragmentType) Source # gmapT :: (forall b. Data b => b -> b) -> FragmentType -> FragmentType Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FragmentType -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FragmentType -> r Source # gmapQ :: (forall d. Data d => d -> u) -> FragmentType -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> FragmentType -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> FragmentType -> m FragmentType Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FragmentType -> m FragmentType Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FragmentType -> m FragmentType Source #
Generic FragmentType Source #
Instance details Defined in Org.Types Associated Types type Rep FragmentType :: Type -> Type Source # Methods from :: FragmentType -> Rep FragmentType x Source # to :: Rep FragmentType x -> FragmentType Source #
Read FragmentType Source #
Instance details Defined in Org.Types Methods readsPrec :: Int -> ReadS FragmentType Source # readList :: ReadS [FragmentType] Source # readPrec :: ReadPrec FragmentType Source # readListPrec :: ReadPrec [FragmentType] Source #
Show FragmentType Source #
Instance details Defined in Org.Types Methods showsPrec :: Int -> FragmentType -> ShowS Source # show :: FragmentType -> String Source # showList :: [FragmentType] -> ShowS Source #
NFData FragmentType Source #
Instance details Defined in Org.Types Methods rnf :: FragmentType -> () Source #
Eq FragmentType Source #
Instance details Defined in Org.Types Methods (==) :: FragmentType -> FragmentType -> Bool Source # (/=) :: FragmentType -> FragmentType -> Bool Source #
Ord FragmentType Source #
Instance details Defined in Org.Types Methods compare :: FragmentType -> FragmentType -> Ordering Source # (<) :: FragmentType -> FragmentType -> Bool Source # (<=) :: FragmentType -> FragmentType -> Bool Source # (>) :: FragmentType -> FragmentType -> Bool Source # (>=) :: FragmentType -> FragmentType -> Bool Source # max :: FragmentType -> FragmentType -> FragmentType Source # min :: FragmentType -> FragmentType -> FragmentType Source #
type Rep FragmentType Source #
Instance details Defined in Org.Types type Rep FragmentType = D1 ('MetaData "FragmentType" "Org.Types" "org-parser-0.1.0.0-inplace" 'False) (C1 ('MetaCons "RawFragment" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "InlMathFragment" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DispMathFragment" 'PrefixI 'False) (U1 :: Type -> Type)))

Citations

data Citation Source #

Constructors

Citation
Fields citationStyle :: Text citationVariant :: Text citationPrefix :: [OrgObject] citationSuffix :: [OrgObject] citationReferences :: [CiteReference]

Instances

Instances details

Data Citation Source #
Instance details Defined in Org.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Citation -> c Citation Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Citation Source # toConstr :: Citation -> Constr Source # dataTypeOf :: Citation -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Citation) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Citation) Source # gmapT :: (forall b. Data b => b -> b) -> Citation -> Citation Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Citation -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Citation -> r Source # gmapQ :: (forall d. Data d => d -> u) -> Citation -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> Citation -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Citation -> m Citation Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Citation -> m Citation Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Citation -> m Citation Source #
Generic Citation Source #
Instance details Defined in Org.Types Associated Types type Rep Citation :: Type -> Type Source # Methods from :: Citation -> Rep Citation x Source # to :: Rep Citation x -> Citation Source #
Read Citation Source #
Instance details Defined in Org.Types Methods readsPrec :: Int -> ReadS Citation Source # readList :: ReadS [Citation] Source # readPrec :: ReadPrec Citation Source # readListPrec :: ReadPrec [Citation] Source #
Show Citation Source #
Instance details Defined in Org.Types Methods showsPrec :: Int -> Citation -> ShowS Source # show :: Citation -> String Source # showList :: [Citation] -> ShowS Source #
NFData Citation Source #
Instance details Defined in Org.Types Methods rnf :: Citation -> () Source #
Eq Citation Source #
Instance details Defined in Org.Types Methods (==) :: Citation -> Citation -> Bool Source # (/=) :: Citation -> Citation -> Bool Source #
Ord Citation Source #
Instance details Defined in Org.Types Methods compare :: Citation -> Citation -> Ordering Source # (<) :: Citation -> Citation -> Bool Source # (<=) :: Citation -> Citation -> Bool Source # (>) :: Citation -> Citation -> Bool Source # (>=) :: Citation -> Citation -> Bool Source # max :: Citation -> Citation -> Citation Source # min :: Citation -> Citation -> Citation Source #
MultiSub MWTag Citation
Instance details Defined in Org.Walk Associated Types type SubTypes MWTag Citation :: Spec type HasSubTag MWTag Citation
type Rep Citation Source #
Instance details Defined in Org.Types type Rep Citation = D1 ('MetaData "Citation" "Org.Types" "org-parser-0.1.0.0-inplace" 'False) (C1 ('MetaCons "Citation" 'PrefixI 'True) ((S1 ('MetaSel ('Just "citationStyle") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: S1 ('MetaSel ('Just "citationVariant") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :: (S1 ('MetaSel ('Just "citationPrefix") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [OrgObject]) :: (S1 ('MetaSel ('Just "citationSuffix") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [OrgObject]) :: S1 ('MetaSel ('Just "citationReferences") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [CiteReference])))))
type HasSubTag MWTag Citation
Instance details Defined in Org.Walk type HasSubTag MWTag Citation = GSubTag
type SubTypes MWTag Citation
Instance details Defined in Org.Walk type SubTypes MWTag Citation = 'SpecList '[ToSpec (List OrgObject), ToSpec (List (Under CiteReference 'NoSel (List OrgObject)))]

data CiteReference Source #

Constructors

CiteReference
Fields refId :: Text refPrefix :: [OrgObject] refSuffix :: [OrgObject]

Instances

Instances details

Data CiteReference Source #
Instance details Defined in Org.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CiteReference -> c CiteReference Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CiteReference Source # toConstr :: CiteReference -> Constr Source # dataTypeOf :: CiteReference -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CiteReference) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CiteReference) Source # gmapT :: (forall b. Data b => b -> b) -> CiteReference -> CiteReference Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CiteReference -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CiteReference -> r Source # gmapQ :: (forall d. Data d => d -> u) -> CiteReference -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> CiteReference -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> CiteReference -> m CiteReference Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CiteReference -> m CiteReference Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CiteReference -> m CiteReference Source #
Generic CiteReference Source #
Instance details Defined in Org.Types Associated Types type Rep CiteReference :: Type -> Type Source # Methods from :: CiteReference -> Rep CiteReference x Source # to :: Rep CiteReference x -> CiteReference Source #
Read CiteReference Source #
Instance details Defined in Org.Types Methods readsPrec :: Int -> ReadS CiteReference Source # readList :: ReadS [CiteReference] Source # readPrec :: ReadPrec CiteReference Source # readListPrec :: ReadPrec [CiteReference] Source #
Show CiteReference Source #
Instance details Defined in Org.Types Methods showsPrec :: Int -> CiteReference -> ShowS Source # show :: CiteReference -> String Source # showList :: [CiteReference] -> ShowS Source #
NFData CiteReference Source #
Instance details Defined in Org.Types Methods rnf :: CiteReference -> () Source #
Eq CiteReference Source #
Instance details Defined in Org.Types Methods (==) :: CiteReference -> CiteReference -> Bool Source # (/=) :: CiteReference -> CiteReference -> Bool Source #
Ord CiteReference Source #
Instance details Defined in Org.Types Methods compare :: CiteReference -> CiteReference -> Ordering Source # (<) :: CiteReference -> CiteReference -> Bool Source # (<=) :: CiteReference -> CiteReference -> Bool Source # (>) :: CiteReference -> CiteReference -> Bool Source # (>=) :: CiteReference -> CiteReference -> Bool Source # max :: CiteReference -> CiteReference -> CiteReference Source # min :: CiteReference -> CiteReference -> CiteReference Source #
type Rep CiteReference Source #
Instance details Defined in Org.Types type Rep CiteReference = D1 ('MetaData "CiteReference" "Org.Types" "org-parser-0.1.0.0-inplace" 'False) (C1 ('MetaCons "CiteReference" 'PrefixI 'True) (S1 ('MetaSel ('Just "refId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: (S1 ('MetaSel ('Just "refPrefix") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [OrgObject]) :: S1 ('MetaSel ('Just "refSuffix") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [OrgObject]))))

Footnote references

data FootnoteRefData Source #

Data for a footnote reference.

Constructors

FootnoteRefLabel	Label-only footnote reference (e.g. `[fn:foo]`)
Fields Text Label (e.g. `foo`)
FootnoteRefDef	Inline footnote definition (e.g. `[fn:foo::bar]`)
Fields (Maybe Text) Label (if present, e.g. `foo`) [OrgObject] Content (e.g. `bar`)

Instances

Instances details

Data FootnoteRefData Source #
Instance details Defined in Org.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FootnoteRefData -> c FootnoteRefData Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FootnoteRefData Source # toConstr :: FootnoteRefData -> Constr Source # dataTypeOf :: FootnoteRefData -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c FootnoteRefData) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FootnoteRefData) Source # gmapT :: (forall b. Data b => b -> b) -> FootnoteRefData -> FootnoteRefData Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FootnoteRefData -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FootnoteRefData -> r Source # gmapQ :: (forall d. Data d => d -> u) -> FootnoteRefData -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> FootnoteRefData -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> FootnoteRefData -> m FootnoteRefData Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FootnoteRefData -> m FootnoteRefData Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FootnoteRefData -> m FootnoteRefData Source #
Generic FootnoteRefData Source #
Instance details Defined in Org.Types Associated Types type Rep FootnoteRefData :: Type -> Type Source # Methods from :: FootnoteRefData -> Rep FootnoteRefData x Source # to :: Rep FootnoteRefData x -> FootnoteRefData Source #
Read FootnoteRefData Source #
Instance details Defined in Org.Types Methods readsPrec :: Int -> ReadS FootnoteRefData Source # readList :: ReadS [FootnoteRefData] Source # readPrec :: ReadPrec FootnoteRefData Source # readListPrec :: ReadPrec [FootnoteRefData] Source #
Show FootnoteRefData Source #
Instance details Defined in Org.Types Methods showsPrec :: Int -> FootnoteRefData -> ShowS Source # show :: FootnoteRefData -> String Source # showList :: [FootnoteRefData] -> ShowS Source #
NFData FootnoteRefData Source #
Instance details Defined in Org.Types Methods rnf :: FootnoteRefData -> () Source #
Eq FootnoteRefData Source #
Instance details Defined in Org.Types Methods (==) :: FootnoteRefData -> FootnoteRefData -> Bool Source # (/=) :: FootnoteRefData -> FootnoteRefData -> Bool Source #
Ord FootnoteRefData Source #
Instance details Defined in Org.Types Methods compare :: FootnoteRefData -> FootnoteRefData -> Ordering Source # (<) :: FootnoteRefData -> FootnoteRefData -> Bool Source # (<=) :: FootnoteRefData -> FootnoteRefData -> Bool Source # (>) :: FootnoteRefData -> FootnoteRefData -> Bool Source # (>=) :: FootnoteRefData -> FootnoteRefData -> Bool Source # max :: FootnoteRefData -> FootnoteRefData -> FootnoteRefData Source # min :: FootnoteRefData -> FootnoteRefData -> FootnoteRefData Source #
type Rep FootnoteRefData Source #
Instance details Defined in Org.Types type Rep FootnoteRefData = D1 ('MetaData "FootnoteRefData" "Org.Types" "org-parser-0.1.0.0-inplace" 'False) (C1 ('MetaCons "FootnoteRefLabel" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "FootnoteRefDef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [OrgObject])))

Timestamps

data TimestampData Source #

An Org timestamp, including repetition marks.

Constructors

TimestampData Bool DateTime
TimestampRange Bool DateTime DateTime

Instances

Instances details

Data TimestampData Source #
Instance details Defined in Org.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TimestampData -> c TimestampData Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TimestampData Source # toConstr :: TimestampData -> Constr Source # dataTypeOf :: TimestampData -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TimestampData) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TimestampData) Source # gmapT :: (forall b. Data b => b -> b) -> TimestampData -> TimestampData Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TimestampData -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TimestampData -> r Source # gmapQ :: (forall d. Data d => d -> u) -> TimestampData -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> TimestampData -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> TimestampData -> m TimestampData Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TimestampData -> m TimestampData Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TimestampData -> m TimestampData Source #
Generic TimestampData Source #
Instance details Defined in Org.Types Associated Types type Rep TimestampData :: Type -> Type Source # Methods from :: TimestampData -> Rep TimestampData x Source # to :: Rep TimestampData x -> TimestampData Source #
Read TimestampData Source #
Instance details Defined in Org.Types Methods readsPrec :: Int -> ReadS TimestampData Source # readList :: ReadS [TimestampData] Source # readPrec :: ReadPrec TimestampData Source # readListPrec :: ReadPrec [TimestampData] Source #
Show TimestampData Source #
Instance details Defined in Org.Types Methods showsPrec :: Int -> TimestampData -> ShowS Source # show :: TimestampData -> String Source # showList :: [TimestampData] -> ShowS Source #
NFData TimestampData Source #
Instance details Defined in Org.Types Methods rnf :: TimestampData -> () Source #
Eq TimestampData Source #
Instance details Defined in Org.Types Methods (==) :: TimestampData -> TimestampData -> Bool Source # (/=) :: TimestampData -> TimestampData -> Bool Source #
Ord TimestampData Source #
Instance details Defined in Org.Types Methods compare :: TimestampData -> TimestampData -> Ordering Source # (<) :: TimestampData -> TimestampData -> Bool Source # (<=) :: TimestampData -> TimestampData -> Bool Source # (>) :: TimestampData -> TimestampData -> Bool Source # (>=) :: TimestampData -> TimestampData -> Bool Source # max :: TimestampData -> TimestampData -> TimestampData Source # min :: TimestampData -> TimestampData -> TimestampData Source #
type Rep TimestampData Source #
Instance details Defined in Org.Types type Rep TimestampData = D1 ('MetaData "TimestampData" "Org.Types" "org-parser-0.1.0.0-inplace" 'False) (C1 ('MetaCons "TimestampData" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DateTime)) :+: C1 ('MetaCons "TimestampRange" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DateTime) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DateTime))))

type DateTime = (Date, Maybe Time, Maybe TimestampMark, Maybe TimestampMark) Source #

type TimestampMark = (Text, Int, Char) Source #

type Date = (Int, Int, Int, Maybe Text) Source #

type Time = (Int, Int) Source #

Quotes

data QuoteType Source #

Constructors

SingleQuote
DoubleQuote

Instances

Instances details

Data QuoteType Source #
Instance details Defined in Org.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> QuoteType -> c QuoteType Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c QuoteType Source # toConstr :: QuoteType -> Constr Source # dataTypeOf :: QuoteType -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c QuoteType) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c QuoteType) Source # gmapT :: (forall b. Data b => b -> b) -> QuoteType -> QuoteType Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> QuoteType -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> QuoteType -> r Source # gmapQ :: (forall d. Data d => d -> u) -> QuoteType -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> QuoteType -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> QuoteType -> m QuoteType Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> QuoteType -> m QuoteType Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> QuoteType -> m QuoteType Source #
Generic QuoteType Source #
Instance details Defined in Org.Types Associated Types type Rep QuoteType :: Type -> Type Source # Methods from :: QuoteType -> Rep QuoteType x Source # to :: Rep QuoteType x -> QuoteType Source #
Read QuoteType Source #
Instance details Defined in Org.Types Methods readsPrec :: Int -> ReadS QuoteType Source # readList :: ReadS [QuoteType] Source # readPrec :: ReadPrec QuoteType Source # readListPrec :: ReadPrec [QuoteType] Source #
Show QuoteType Source #
Instance details Defined in Org.Types Methods showsPrec :: Int -> QuoteType -> ShowS Source # show :: QuoteType -> String Source # showList :: [QuoteType] -> ShowS Source #
NFData QuoteType Source #
Instance details Defined in Org.Types Methods rnf :: QuoteType -> () Source #
Eq QuoteType Source #
Instance details Defined in Org.Types Methods (==) :: QuoteType -> QuoteType -> Bool Source # (/=) :: QuoteType -> QuoteType -> Bool Source #
Ord QuoteType Source #
Instance details Defined in Org.Types Methods compare :: QuoteType -> QuoteType -> Ordering Source # (<) :: QuoteType -> QuoteType -> Bool Source # (<=) :: QuoteType -> QuoteType -> Bool Source # (>) :: QuoteType -> QuoteType -> Bool Source # (>=) :: QuoteType -> QuoteType -> Bool Source # max :: QuoteType -> QuoteType -> QuoteType Source # min :: QuoteType -> QuoteType -> QuoteType Source #
type Rep QuoteType Source #
Instance details Defined in Org.Types type Rep QuoteType = D1 ('MetaData "QuoteType" "Org.Types" "org-parser-0.1.0.0-inplace" 'False) (C1 ('MetaCons "SingleQuote" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DoubleQuote" 'PrefixI 'False) (U1 :: Type -> Type))

Babel

data BabelCall Source #

Constructors

BabelCall
Fields babelCallName :: Text babelCallHeader1 :: Text babelCallHeader2 :: Text babelCallArguments :: Text

Instances

Instances details

Data BabelCall Source #
Instance details Defined in Org.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BabelCall -> c BabelCall Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c BabelCall Source # toConstr :: BabelCall -> Constr Source # dataTypeOf :: BabelCall -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c BabelCall) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c BabelCall) Source # gmapT :: (forall b. Data b => b -> b) -> BabelCall -> BabelCall Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BabelCall -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BabelCall -> r Source # gmapQ :: (forall d. Data d => d -> u) -> BabelCall -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> BabelCall -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> BabelCall -> m BabelCall Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BabelCall -> m BabelCall Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BabelCall -> m BabelCall Source #
Generic BabelCall Source #
Instance details Defined in Org.Types Associated Types type Rep BabelCall :: Type -> Type Source # Methods from :: BabelCall -> Rep BabelCall x Source # to :: Rep BabelCall x -> BabelCall Source #
Read BabelCall Source #
Instance details Defined in Org.Types Methods readsPrec :: Int -> ReadS BabelCall Source # readList :: ReadS [BabelCall] Source # readPrec :: ReadPrec BabelCall Source # readListPrec :: ReadPrec [BabelCall] Source #
Show BabelCall Source #
Instance details Defined in Org.Types Methods showsPrec :: Int -> BabelCall -> ShowS Source # show :: BabelCall -> String Source # showList :: [BabelCall] -> ShowS Source #
NFData BabelCall Source #
Instance details Defined in Org.Types Methods rnf :: BabelCall -> () Source #
Eq BabelCall Source #
Instance details Defined in Org.Types Methods (==) :: BabelCall -> BabelCall -> Bool Source # (/=) :: BabelCall -> BabelCall -> Bool Source #
Ord BabelCall Source #
Instance details Defined in Org.Types Methods compare :: BabelCall -> BabelCall -> Ordering Source # (<) :: BabelCall -> BabelCall -> Bool Source # (<=) :: BabelCall -> BabelCall -> Bool Source # (>) :: BabelCall -> BabelCall -> Bool Source # (>=) :: BabelCall -> BabelCall -> Bool Source # max :: BabelCall -> BabelCall -> BabelCall Source # min :: BabelCall -> BabelCall -> BabelCall Source #
type Rep BabelCall Source #
Instance details Defined in Org.Types type Rep BabelCall = D1 ('MetaData "BabelCall" "Org.Types" "org-parser-0.1.0.0-inplace" 'False) (C1 ('MetaCons "BabelCall" 'PrefixI 'True) ((S1 ('MetaSel ('Just "babelCallName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: S1 ('MetaSel ('Just "babelCallHeader1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :: (S1 ('MetaSel ('Just "babelCallHeader2") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "babelCallArguments") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))))

Document

Instances

Helpers

Sections

Instances

Instances

Instances

Instances

Instances

Helpers

OrgContent

Elements

Instances

Instances

Greater blocks

Instances

Source blocks

Instances

Lists

Instances

Instances

Instances

Instances

Instances

Keywords

Instances

Tables

Instances

Instances

Objects

Instances

Links

Instances

LaTeX fragments

Instances

Citations

Instances

Instances

Footnote references

Instances

Timestamps

Instances

Quotes

Instances

Babel

Instances