Parser.Unlit

Reexports

Definitions

data LiterateModes : Type

Totality: total
Visibility: public export
Constructors:

Bird : LiterateModes

Org : LiterateModes

CMark : LiterateModes

styleBird : LiterateStyle

Totality: total
Visibility: export

styleOrg : LiterateStyle

Totality: total
Visibility: export

styleCMark : LiterateStyle

Totality: total
Visibility: export

styleTeX : LiterateStyle

Totality: total
Visibility: export

styleTypst : LiterateStyle

Totality: total
Visibility: export

listOfExtensionsLiterate : List String

  Return the list of extensions used for literate files.

Totality: total
Visibility: export

hasLitFileExt : String -> Maybe (String, String)

  Are we dealing with a valid literate file name, if so return the base name and used extension.

Totality: total
Visibility: export

isLitFile : String -> Maybe LiterateStyle

  Are we dealing with a valid literate file name, if so return the identified style.

Totality: total
Visibility: export

isLitLine : String -> (Maybe String, String)

  Check if the line is that from a literate style.

Totality: total
Visibility: export

unlit : Maybe LiterateStyle -> String -> Either LiterateError String

Totality: total
Visibility: export

relit : Maybe String -> String -> String

Totality: total
Visibility: export