Technique.Language

Documentation

data Technique

Constructors

Technique

Fields

• techniqueVersion :: Int
• techniqueLicense :: Rope
• techniqueCopyright :: Maybe Rope
• techniqueBody :: [Procedure]

Instances

Eq Technique

Defined in Technique.Language

Methods

(==) :: Technique -> Technique -> Bool

(/=) :: Technique -> Technique -> Bool

Show Technique

Defined in Technique.Language

Methods

showsPrec :: Int -> Technique -> ShowS

show :: Technique -> String

showList :: [Technique] -> ShowS

Render Technique

Defined in Technique.Formatter

Associated Types

type Token Technique

Methods

colourize :: Token Technique -> AnsiColour

highlight :: Technique -> Doc (Token Technique)

type Token Technique

Defined in Technique.Formatter

type Token Technique = TechniqueToken

emptyTechnique :: Technique

data Identifier

Constructors

Identifier Rope

Instances

Eq Identifier

Defined in Technique.Language

Methods

(==) :: Identifier -> Identifier -> Bool

(/=) :: Identifier -> Identifier -> Bool

Ord Identifier

Defined in Technique.Language

Methods

compare :: Identifier -> Identifier -> Ordering

(<) :: Identifier -> Identifier -> Bool

(<=) :: Identifier -> Identifier -> Bool

(>) :: Identifier -> Identifier -> Bool

(>=) :: Identifier -> Identifier -> Bool

max :: Identifier -> Identifier -> Identifier

min :: Identifier -> Identifier -> Identifier

Show Identifier

Defined in Technique.Language

Methods

showsPrec :: Int -> Identifier -> ShowS

show :: Identifier -> String

showList :: [Identifier] -> ShowS

Generic Identifier

Defined in Technique.Language

Associated Types

type Rep Identifier :: Type -> Type

Methods

from :: Identifier -> Rep Identifier x

to :: Rep Identifier x -> Identifier

Hashable Identifier

Defined in Technique.Language

Methods

hashWithSalt :: Int -> Identifier -> Int

hash :: Identifier -> Int

Render Identifier

Defined in Technique.Formatter

Associated Types

type Token Identifier

Methods

colourize :: Token Identifier -> AnsiColour

highlight :: Identifier -> Doc (Token Identifier)

Key Identifier

Defined in Technique.Language

Pretty Identifier

Defined in Technique.Formatter

Methods

pretty :: Identifier -> Doc ann

prettyList :: [Identifier] -> Doc ann

type Rep Identifier

Defined in Technique.Language

type Rep Identifier = D1 ('MetaData "Identifier" "Technique.Language" "technique-0.2.5-74iyuyeGcEkDdDAdRF1gMI-technique-internal" 'False) (C1 ('MetaCons "Identifier" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rope)))

type Token Identifier

Defined in Technique.Formatter

type Token Identifier = TechniqueToken

unIdentifier :: Identifier -> Rope

newtype Label

Constructors

Label Rope

Instances

Eq Label

Defined in Technique.Language

Methods

(==) :: Label -> Label -> Bool

(/=) :: Label -> Label -> Bool

Ord Label

Defined in Technique.Language

Methods

compare :: Label -> Label -> Ordering

(<) :: Label -> Label -> Bool

(<=) :: Label -> Label -> Bool

(>) :: Label -> Label -> Bool

(>=) :: Label -> Label -> Bool

max :: Label -> Label -> Label

min :: Label -> Label -> Label

Show Label

Defined in Technique.Language

Methods

showsPrec :: Int -> Label -> ShowS

show :: Label -> String

showList :: [Label] -> ShowS

Render Label

Defined in Technique.Formatter

Associated Types

type Token Label

Methods

colourize :: Token Label -> AnsiColour

highlight :: Label -> Doc (Token Label)

Pretty Label

Defined in Technique.Formatter

Methods

pretty :: Label -> Doc ann

prettyList :: [Label] -> Doc ann

type Token Label

Defined in Technique.Formatter

type Token Label = TechniqueToken

data Attribute

Constructors

Role Identifier

Place Identifier

Inherit

Instances

Eq Attribute

Defined in Technique.Language

Methods

(==) :: Attribute -> Attribute -> Bool

(/=) :: Attribute -> Attribute -> Bool

Ord Attribute

Defined in Technique.Language

Methods

compare :: Attribute -> Attribute -> Ordering

(<) :: Attribute -> Attribute -> Bool

(<=) :: Attribute -> Attribute -> Bool

(>) :: Attribute -> Attribute -> Bool

(>=) :: Attribute -> Attribute -> Bool

max :: Attribute -> Attribute -> Attribute

min :: Attribute -> Attribute -> Attribute

Show Attribute

Defined in Technique.Language

Methods

showsPrec :: Int -> Attribute -> ShowS

show :: Attribute -> String

showList :: [Attribute] -> ShowS

Render Attribute

Defined in Technique.Formatter

Associated Types

type Token Attribute

Methods

colourize :: Token Attribute -> AnsiColour

highlight :: Attribute -> Doc (Token Attribute)

type Token Attribute

Defined in Technique.Formatter

type Token Attribute = TechniqueToken

data Markdown

Constructors

Markdown Rope

Instances

Eq Markdown

Defined in Technique.Language

Methods

(==) :: Markdown -> Markdown -> Bool

(/=) :: Markdown -> Markdown -> Bool

Ord Markdown

Defined in Technique.Language

Methods

compare :: Markdown -> Markdown -> Ordering

(<) :: Markdown -> Markdown -> Bool

(<=) :: Markdown -> Markdown -> Bool

(>) :: Markdown -> Markdown -> Bool

(>=) :: Markdown -> Markdown -> Bool

max :: Markdown -> Markdown -> Markdown

min :: Markdown -> Markdown -> Markdown

Show Markdown

Defined in Technique.Language

Methods

showsPrec :: Int -> Markdown -> ShowS

show :: Markdown -> String

showList :: [Markdown] -> ShowS

Render Markdown

Defined in Technique.Formatter

Associated Types

type Token Markdown

Methods

colourize :: Token Markdown -> AnsiColour

highlight :: Markdown -> Doc (Token Markdown)

type Token Markdown

Defined in Technique.Formatter

type Token Markdown = TechniqueToken

data Type

Constructors

Type Rope

Instances

Eq Type

Defined in Technique.Language

Methods

(==) :: Type -> Type -> Bool

(/=) :: Type -> Type -> Bool

Ord Type

Defined in Technique.Language

Methods

compare :: Type -> Type -> Ordering

(<) :: Type -> Type -> Bool

(<=) :: Type -> Type -> Bool

(>) :: Type -> Type -> Bool

(>=) :: Type -> Type -> Bool

max :: Type -> Type -> Type

min :: Type -> Type -> Type

Show Type

Defined in Technique.Language

Methods

showsPrec :: Int -> Type -> ShowS

show :: Type -> String

showList :: [Type] -> ShowS

Render Type

Defined in Technique.Formatter

Associated Types

type Token Type

Methods

colourize :: Token Type -> AnsiColour

highlight :: Type -> Doc (Token Type)

type Token Type

Defined in Technique.Formatter

type Token Type = TechniqueToken

unitType :: Type

data Procedure

Constructors

Procedure

Fields

• procedureOffset :: Offset
• procedureName :: Identifier
• procedureParams :: [Identifier]
• procedureInput :: [Type]
• procedureOutput :: [Type]
• procedureTitle :: Maybe Markdown
• procedureDescription :: Maybe Markdown
• procedureBlock :: Block

Instances

Eq Procedure

Defined in Technique.Language

Methods

(==) :: Procedure -> Procedure -> Bool

(/=) :: Procedure -> Procedure -> Bool

Ord Procedure

Defined in Technique.Language

Methods

compare :: Procedure -> Procedure -> Ordering

(<) :: Procedure -> Procedure -> Bool

(<=) :: Procedure -> Procedure -> Bool

(>) :: Procedure -> Procedure -> Bool

(>=) :: Procedure -> Procedure -> Bool

max :: Procedure -> Procedure -> Procedure

min :: Procedure -> Procedure -> Procedure

Show Procedure

Defined in Technique.Language

Methods

showsPrec :: Int -> Procedure -> ShowS

show :: Procedure -> String

showList :: [Procedure] -> ShowS

Render Procedure

Defined in Technique.Formatter

Associated Types

type Token Procedure

Methods

colourize :: Token Procedure -> AnsiColour

highlight :: Procedure -> Doc (Token Procedure)

Pretty Procedure

Defined in Technique.Formatter

Methods

pretty :: Procedure -> Doc ann

prettyList :: [Procedure] -> Doc ann

Located Procedure

Defined in Technique.Language

Methods

locationOf :: Procedure -> Offset

type Token Procedure

Defined in Technique.Formatter

type Token Procedure = TechniqueToken

emptyProcedure :: Procedure

data Block

Constructors

Block [Statement]

Instances

Eq Block

Defined in Technique.Language

Methods

(==) :: Block -> Block -> Bool

(/=) :: Block -> Block -> Bool

Ord Block

Defined in Technique.Language

Methods

compare :: Block -> Block -> Ordering

(<) :: Block -> Block -> Bool

(<=) :: Block -> Block -> Bool

(>) :: Block -> Block -> Bool

(>=) :: Block -> Block -> Bool

max :: Block -> Block -> Block

min :: Block -> Block -> Block

Show Block

Defined in Technique.Language

Methods

showsPrec :: Int -> Block -> ShowS

show :: Block -> String

showList :: [Block] -> ShowS

Render Block

Defined in Technique.Formatter

Associated Types

type Token Block

Methods

colourize :: Token Block -> AnsiColour

highlight :: Block -> Doc (Token Block)

type Token Block

Defined in Technique.Formatter

type Token Block = TechniqueToken

type Offset = Int

class Located a where

Methods

locationOf :: a -> Offset

Instances

Located Expression

Defined in Technique.Language

Methods

locationOf :: Expression -> Offset

Located Statement

Defined in Technique.Language

Methods

locationOf :: Statement -> Offset

Located Procedure

Defined in Technique.Language

Methods

locationOf :: Procedure -> Offset

Located Step

Defined in Technique.Internal

Methods

locationOf :: Step -> Offset

Located Source

Defined in Technique.Failure

Methods

locationOf :: Source -> Offset

data Statement

Constructors

Assignment Offset [Identifier] Expression

Execute Offset Expression

Comment Offset Rope

Declaration Offset Procedure

Blank Offset

Series Offset

Instances

Eq Statement

Defined in Technique.Language

Methods

(==) :: Statement -> Statement -> Bool

(/=) :: Statement -> Statement -> Bool

Ord Statement

Defined in Technique.Language

Methods

compare :: Statement -> Statement -> Ordering

(<) :: Statement -> Statement -> Bool

(<=) :: Statement -> Statement -> Bool

(>) :: Statement -> Statement -> Bool

(>=) :: Statement -> Statement -> Bool

max :: Statement -> Statement -> Statement

min :: Statement -> Statement -> Statement

Show Statement

Defined in Technique.Language

Methods

showsPrec :: Int -> Statement -> ShowS

show :: Statement -> String

showList :: [Statement] -> ShowS

Render Statement

Defined in Technique.Formatter

Associated Types

type Token Statement

Methods

colourize :: Token Statement -> AnsiColour

highlight :: Statement -> Doc (Token Statement)

Located Statement

Defined in Technique.Language

Methods

locationOf :: Statement -> Offset

type Token Statement

Defined in Technique.Formatter

type Token Statement = TechniqueToken

data Expression

Constructors

Application Offset Identifier Expression

None Offset

Text Offset Rope

Amount Offset Quantity

Undefined Offset

Object Offset Tablet

Variable Offset [Identifier]

Operation Offset Operator Expression Expression

Grouping Offset Expression

Restriction Offset Attribute Block

Instances

Eq Expression

Defined in Technique.Language

Methods

(==) :: Expression -> Expression -> Bool

(/=) :: Expression -> Expression -> Bool

Ord Expression

Defined in Technique.Language

Methods

compare :: Expression -> Expression -> Ordering

(<) :: Expression -> Expression -> Bool

(<=) :: Expression -> Expression -> Bool

(>) :: Expression -> Expression -> Bool

(>=) :: Expression -> Expression -> Bool

max :: Expression -> Expression -> Expression

min :: Expression -> Expression -> Expression

Show Expression

Defined in Technique.Language

Methods

showsPrec :: Int -> Expression -> ShowS

show :: Expression -> String

showList :: [Expression] -> ShowS

Render Expression

Defined in Technique.Formatter

Associated Types

type Token Expression

Methods

colourize :: Token Expression -> AnsiColour

highlight :: Expression -> Doc (Token Expression)

Located Expression

Defined in Technique.Language

Methods

locationOf :: Expression -> Offset

type Token Expression

Defined in Technique.Formatter

type Token Expression = TechniqueToken

data Tablet

Constructors

Tablet [Binding]

Instances

Eq Tablet

Defined in Technique.Language

Methods

(==) :: Tablet -> Tablet -> Bool

(/=) :: Tablet -> Tablet -> Bool

Ord Tablet

Defined in Technique.Language

Methods

compare :: Tablet -> Tablet -> Ordering

(<) :: Tablet -> Tablet -> Bool

(<=) :: Tablet -> Tablet -> Bool

(>) :: Tablet -> Tablet -> Bool

(>=) :: Tablet -> Tablet -> Bool

max :: Tablet -> Tablet -> Tablet

min :: Tablet -> Tablet -> Tablet

Show Tablet

Defined in Technique.Language

Methods

showsPrec :: Int -> Tablet -> ShowS

show :: Tablet -> String

showList :: [Tablet] -> ShowS

Render Tablet

Defined in Technique.Formatter

Associated Types

type Token Tablet

Methods

colourize :: Token Tablet -> AnsiColour

highlight :: Tablet -> Doc (Token Tablet)

type Token Tablet

Defined in Technique.Formatter

type Token Tablet = TechniqueToken

data Binding

Constructors

Binding Label Expression

Instances

Eq Binding

Defined in Technique.Language

Methods

(==) :: Binding -> Binding -> Bool

(/=) :: Binding -> Binding -> Bool

Ord Binding

Defined in Technique.Language

Methods

compare :: Binding -> Binding -> Ordering

(<) :: Binding -> Binding -> Bool

(<=) :: Binding -> Binding -> Bool

(>) :: Binding -> Binding -> Bool

(>=) :: Binding -> Binding -> Bool

max :: Binding -> Binding -> Binding

min :: Binding -> Binding -> Binding

Show Binding

Defined in Technique.Language

Methods

showsPrec :: Int -> Binding -> ShowS

show :: Binding -> String

showList :: [Binding] -> ShowS

Render Binding

Defined in Technique.Formatter

Associated Types

type Token Binding

Methods

colourize :: Token Binding -> AnsiColour

highlight :: Binding -> Doc (Token Binding)

type Token Binding

Defined in Technique.Formatter

type Token Binding = TechniqueToken

data Operator

Constructors

WaitEither

WaitBoth

Combine

Instances

Eq Operator

Defined in Technique.Language

Methods

(==) :: Operator -> Operator -> Bool

(/=) :: Operator -> Operator -> Bool

Ord Operator

Defined in Technique.Language

Methods

compare :: Operator -> Operator -> Ordering

(<) :: Operator -> Operator -> Bool

(<=) :: Operator -> Operator -> Bool

(>) :: Operator -> Operator -> Bool

(>=) :: Operator -> Operator -> Bool

max :: Operator -> Operator -> Operator

min :: Operator -> Operator -> Operator

Show Operator

Defined in Technique.Language

Methods

showsPrec :: Int -> Operator -> ShowS

show :: Operator -> String

showList :: [Operator] -> ShowS

Render Operator

Defined in Technique.Formatter

Associated Types

type Token Operator

Methods

colourize :: Token Operator -> AnsiColour

highlight :: Operator -> Doc (Token Operator)

type Token Operator

Defined in Technique.Formatter

type Token Operator = TechniqueToken