Module

Data.Text.Format.Org.Types

Package
purescript-org-doc
Repository
shamansir/purescript-org-doc

#OrgDoc Source

newtype OrgDoc

Constructors

#OrgDateTime Source

newtype OrgDateTime

Constructors

Instances

#OrgTimeRange Source

#OrgDateRange Source

newtype OrgDateRange

Constructors

#Repeater Source

newtype Repeater

Constructors

Instances

#Delay Source

newtype Delay

Constructors

Instances

#Drawer Source

newtype Drawer

Constructors

Instances

#Planning Source

newtype Planning

Constructors

Instances

#Section Source

newtype Section

Constructors

#Clock Source

newtype Clock

Constructors

Instances

#LogBook Source

newtype LogBook

Constructors

Instances

#Counter Source

data Counter

Constructors

#TableFormat Source

newtype TableFormat

Constructors

Instances

#TableCustomBreak Source

#TableColumn Source

#ListItemProps Source

type ListItemProps = { check :: Maybe Check, counter :: Maybe Counter, drawers :: Array Drawer, tag :: Maybe String }

#JsonOverRowH Source

class JsonOverRowH :: Row Type -> Type -> Constraintclass (JsonOverRow row a) <= JsonOverRowH (row :: Row Type) a | a -> row where

Members

Instances

#JsonOverVariantH Source

class JsonOverVariantH :: Row Type -> Type -> Constraintclass (JsonOverVariant row a) <= JsonOverVariantH (row :: Row Type) a | a -> row where

Members

Instances

#JsonOverNewtype Source

class (Newtype a x) <= JsonOverNewtype a x | a -> x, x -> a where

Members

Instances

#CheckRow Source

type CheckRow :: Row Typetype CheckRow = (check :: Case, halfcheck :: Case, uncheck :: Case)

Instances

#LinkTargetRow Source

#emptyItem Source

#JsonListItemRow Source

type JsonListItemRow :: Row Typetype JsonListItemRow = (check :: Maybe (Variant CheckRow), children :: Maybe (Record JsonListItemsRow), counter :: Maybe Int, drawers :: Array Drawer, tag :: Maybe String, words :: Array Words)

#setIndent Source

#BlockKindRow Source

type BlockKindRow :: Row Typetype BlockKindRow = (center :: Case, code :: Case1 (Maybe Language), comment :: Case, custom :: Case2 String (Array String), example :: Case, export :: Case, quote :: Case, verse :: Case)

Instances

#BlockRow Source

type BlockRow :: Row Typetype BlockRow = (clock :: Case3 (Record JsonDateTimeRow) (Maybe (Record JsonDateTimeRow)) (Record ClockRow), comment :: Case1 (Array String), drawer :: Case2 String (Array Words), fixed :: Case1 (Array Words), footnote :: Case2 String (Array Words), hr :: Case, kind :: Case2 BlockKind (Array Words), list :: Case2 (Variant ListTypeRow) (Array JsonListItem), litem :: Case3 (Variant ListTypeRow) { indent :: String } JsonListItem, paragraph :: Case1 (Array Words), table :: Case1 { format :: Maybe String, rows :: JsonRows })

Instances

#toNEA Source

toNEA :: forall a. a -> Array a -> NonEmptyArray a

#InlineKeyRow Source

type InlineKeyRow :: Row Typetype InlineKeyRow = (comment :: Case, html :: Case)

Instances

#MarkupKeyRow Source

type MarkupKeyRow :: Row Typetype MarkupKeyRow = (bold :: Case, error :: Case, highlight :: Case, inline :: Case1 InlineKey, inlineCode :: Case, italic :: Case, strike :: Case, subscript :: Case, superscript :: Case, underline :: Case, verbatim :: Case)

Instances

#ClockRow Source

type ClockRow :: Row Typetype ClockRow = (hour :: Int, minute :: Int, second :: Maybe Int)

#DiaryRow Source

#WordsRow Source

type WordsRow :: Row Typetype WordsRow = (break :: Case, clock :: Case1 (Record ClockRow), dateTime :: Case2 (Record JsonDateTimeRow) (Maybe (Record JsonDateTimeRow)), diary :: Case1 (Record DiaryRow), empty :: Case, entity :: Case1 String, fnref :: Case2 String (Maybe String), image :: Case1 ImageSource, imageRaw :: Case1 ImageSource, link :: Case2 LinkTarget (Maybe String), linkRaw :: Case1 LinkTarget, marked :: Case2 (Array (Variant MarkupKeyRow)) String, markup :: Case1 String, plain :: Case1 String, punct :: Case1 Char)

Instances

#CookieRow Source

type CookieRow :: Row Typetype CookieRow = (percent :: Case, pie :: Case, split :: Case)

Instances

#PriorityRow Source

#TodoRow Source

type TodoRow :: Row Typetype TodoRow = (custom :: Case1 String, doing :: Case, done :: Case, next :: Case, now :: Case, todo :: Case)

Instances

#readTodo Source

#ListTypeRow Source

type ListTypeRow :: Row Typetype ListTypeRow = (alphed :: Case, bulleted :: Case, hyphened :: Case, numbered :: Case, numberedFrom :: Case1 Int, plussed :: Case, prefixed :: Case1 String)

Instances

#IntervalRow Source

type IntervalRow :: Row Typetype IntervalRow = (day :: Case, hour :: Case, month :: Case, week :: Case, year :: Case)

Instances

#RepeaterModeRow Source

type RepeaterModeRow :: Row Typetype RepeaterModeRow = (fromToday :: Case, jump :: Case, single :: Case)

Instances

#DelayModeRow Source

#DelayRow Source

type DelayRow :: Row Typetype DelayRow = (interval :: Interval, mode :: Variant DelayModeRow, value :: Int)

Instances

#JsonTimeRow Source

type JsonTimeRow :: Row Typetype JsonTimeRow = (hour :: Int, millisecond :: Int, minute :: Int, second :: Int)

Instances

#JsonDateTimeRow Source

type JsonDateTimeRow :: Row Typetype JsonDateTimeRow = (active :: Boolean, day :: Int, delay :: Maybe Delay, month :: Int, repeat :: Maybe Repeater, time :: Maybe (Record JsonTimeRangeRow), year :: Int)

Instances

#PlanningRow Source

type PlanningRow :: Row Typetype PlanningRow = (closed :: Maybe JsonDateTime, deadline :: Maybe JsonDateTime, scheduled :: Maybe JsonDateTime, timestamp :: Maybe JsonDateTime)

Instances

#LogBookEntryRow Source

#DocRow Source

type DocRow :: Row Typetype DocRow = (blocks :: Array { block :: Variant BlockRow, keywords :: JsonKeywords String }, sections :: Array JsonSectionId)

#SectionRow Source

type SectionRow :: Row Typetype SectionRow = (check :: Maybe (Variant CheckRow), comment :: Boolean, cookie :: Maybe (Variant CookieRow), doc :: Record DocRow, drawers :: Array Drawer, heading :: Array Words, id :: JsonSectionId, level :: Int, logbook :: Array (Record LogBookEntryRow), planning :: Record PlanningRow, priority :: Maybe (Variant PriorityRow), props :: JsonProperties String, tags :: Array String, todo :: Maybe (Variant TodoRow))

#FileRow Source

type FileRow :: Row Typetype FileRow = (doc :: Record DocRow, meta :: JsonKeywords String, props :: JsonProperties String, sections :: Array { id :: JsonSectionId, section :: Record SectionRow })

Instances

#sectionsToArray Source

#sectionsFromArray Source

#flattenJoins Source

flattenJoins :: forall a. (a -> Maybe (a /\ a)) -> Array a -> Array a