Copyright	Anthony Wang 2021
License	MIT
Maintainer	anthony.y.wang.math@gmail.com
Safe Haskell	Safe-Inferred
Language	Haskell2010

SDParser

Description

SDParser defines a parser which parses text into a list of SDCommands, which are then handled by the main thread of the program.

The notation for the text parsed is documented in the user's manual for the tikzsd program.

Synopsis

data SDCommand
- = DefineCat {
  - dcat_id :: !String
  - dcat_display_string :: !String
  }
- | DefineFunc {
  - dfun_id :: !String
  - dfun_display_string :: !String
  - dfun_source :: !String
  - dfun_target :: !String
  - dfun_opts :: !String
  }
- | DefineNat {
  - dnat_id :: !String
  - dnat_display_string :: !String
  - dnat_source :: ![CompElement]
  - dnat_target :: ![CompElement]
  - dnat_opts :: !String
  - dnat_shape :: !String
  }
- | DrawNat {
  - dn_file_name :: !String
  - dn_opts :: !String
  - dn_parts :: ![SDDrawLine]
  }
data SDDrawLine
- = SDDrawFun [CompElement]
- | SDDrawNat [CompElement]
data CompElement
- = Empty
- | CompElement {
  - ce_id :: !String
  - ce_opts :: !String
  }
sd_parser :: GenParser Char st [SDCommand]

Documentation

data SDCommand Source #

A SDCommand describes a command parsed from the file.

We have the following commands:

DefineCat is the command for defining a category.
DefineFunc is the command for defining a basic functor.
DefineNat is the command for defining a basic natural transformation.
DrawNat is the command for creating a file with the TikZ code for the drawing a string diagram of a natural transformation.

Constructors

DefineCat
Fields dcat_id :: !String dcat_display_string :: !String
DefineFunc
Fields dfun_id :: !String dfun_display_string :: !String dfun_source :: !String dfun_target :: !String dfun_opts :: !String
DefineNat
Fields dnat_id :: !String dnat_display_string :: !String dnat_source :: ![CompElement] dnat_target :: ![CompElement] dnat_opts :: !String dnat_shape :: !String
DrawNat
Fields dn_file_name :: !String dn_opts :: !String dn_parts :: ![SDDrawLine]

Instances

Instances details

Show SDCommand Source #
Instance details Defined in SDParser Methods showsPrec :: Int -> SDCommand -> ShowS # show :: SDCommand -> String # showList :: [SDCommand] -> ShowS #

data SDDrawLine Source #

SDDrawLine describes a line in a DrawNat command. These lines are used to specify a NaturalTransformation and a NatFormatting used format the NaturalTransformation. See the user's manual for notation.

SDDrawFun specifies a line used to specify a Functor
SDDrawNat specifies a line used to specify a horizontal composition of basic natural transformations.

Constructors

SDDrawFun [CompElement]
SDDrawNat [CompElement]

Instances

Instances details

Show SDDrawLine Source #
Instance details Defined in SDParser Methods showsPrec :: Int -> SDDrawLine -> ShowS # show :: SDDrawLine -> String # showList :: [SDDrawLine] -> ShowS #

data CompElement Source #

(CompElement i opts) refers to the element with id i, modified with options opts

Constructors

Empty
CompElement
Fields ce_id :: !String ce_opts :: !String

Instances

Instances details

Eq CompElement Source #
Instance details Defined in SDParser Methods (==) :: CompElement -> CompElement -> Bool # (/=) :: CompElement -> CompElement -> Bool #
Show CompElement Source #
Instance details Defined in SDParser Methods showsPrec :: Int -> CompElement -> ShowS # show :: CompElement -> String # showList :: [CompElement] -> ShowS #

sd_parser :: GenParser Char st [SDCommand] Source #

sd_parser is the parser which parses a String into a list of SDCommands.