Safe Haskell	Safe-Inferred
Language	Haskell2010

CST

Documentation

data LCB Source #

Constructors

LCB
BIG_LCB

Instances

Instances details

Show LCB Source #
Instance details Defined in CST Methods showsPrec :: Int -> LCB -> ShowS # show :: LCB -> String # showList :: [LCB] -> ShowS #
Eq LCB Source #
Instance details Defined in CST Methods (==) :: LCB -> LCB -> Bool # (/=) :: LCB -> LCB -> Bool #
Render LCB Source #
Instance details Defined in Render Methods render :: LCB -> Text Source #

data RCB Source #

Constructors

RCB
BIG_RCB

Instances

Instances details

Show RCB Source #
Instance details Defined in CST Methods showsPrec :: Int -> RCB -> ShowS # show :: RCB -> String # showList :: [RCB] -> ShowS #
Eq RCB Source #
Instance details Defined in CST Methods (==) :: RCB -> RCB -> Bool # (/=) :: RCB -> RCB -> Bool #
Render RCB Source #
Instance details Defined in Render Methods render :: RCB -> Text Source #

data LSB Source #

Constructors

LSB
LSB'

Instances

Instances details

Show LSB Source #
Instance details Defined in CST Methods showsPrec :: Int -> LSB -> ShowS # show :: LSB -> String # showList :: [LSB] -> ShowS #
Eq LSB Source #
Instance details Defined in CST Methods (==) :: LSB -> LSB -> Bool # (/=) :: LSB -> LSB -> Bool #
Render LSB Source #
Instance details Defined in Render Methods render :: LSB -> Text Source #

data RSB Source #

Constructors

RSB
RSB'

Instances

Instances details

Show RSB Source #
Instance details Defined in CST Methods showsPrec :: Int -> RSB -> ShowS # show :: RSB -> String # showList :: [RSB] -> ShowS #
Eq RSB Source #
Instance details Defined in CST Methods (==) :: RSB -> RSB -> Bool # (/=) :: RSB -> RSB -> Bool #
Render RSB Source #
Instance details Defined in Render Methods render :: RSB -> Text Source #

data COMMA Source #

Constructors

COMMA
NO_COMMA

Instances

Instances details

Show COMMA Source #
Instance details Defined in CST Methods showsPrec :: Int -> COMMA -> ShowS # show :: COMMA -> String # showList :: [COMMA] -> ShowS #
Eq COMMA Source #
Instance details Defined in CST Methods (==) :: COMMA -> COMMA -> Bool # (/=) :: COMMA -> COMMA -> Bool #
Render COMMA Source #
Instance details Defined in Render Methods render :: COMMA -> Text Source #

data ARROW Source #

Constructors

ARROW
ARROW'

Instances

Instances details

Show ARROW Source #
Instance details Defined in CST Methods showsPrec :: Int -> ARROW -> ShowS # show :: ARROW -> String # showList :: [ARROW] -> ShowS #
Eq ARROW Source #
Instance details Defined in CST Methods (==) :: ARROW -> ARROW -> Bool # (/=) :: ARROW -> ARROW -> Bool #
Render ARROW Source #
Instance details Defined in Render Methods render :: ARROW -> Text Source #

data DASHED_ARROW Source #

Constructors

DASHED_ARROW

Instances

Instances details

Show DASHED_ARROW Source #
Instance details Defined in CST Methods showsPrec :: Int -> DASHED_ARROW -> ShowS # show :: DASHED_ARROW -> String # showList :: [DASHED_ARROW] -> ShowS #
Eq DASHED_ARROW Source #
Instance details Defined in CST Methods (==) :: DASHED_ARROW -> DASHED_ARROW -> Bool # (/=) :: DASHED_ARROW -> DASHED_ARROW -> Bool #
Render DASHED_ARROW Source #
Instance details Defined in Render Methods render :: DASHED_ARROW -> Text Source #

data VOID Source #

Constructors

EMPTY
QUESTION

Instances

Instances details

Show VOID Source #
Instance details Defined in CST Methods showsPrec :: Int -> VOID -> ShowS # show :: VOID -> String # showList :: [VOID] -> ShowS #
Eq VOID Source #
Instance details Defined in CST Methods (==) :: VOID -> VOID -> Bool # (/=) :: VOID -> VOID -> Bool #
Render VOID Source #
Instance details Defined in Render Methods render :: VOID -> Text Source #

data PHI Source #

Constructors

PHI
AT

Instances

Instances details

Show PHI Source #
Instance details Defined in CST Methods showsPrec :: Int -> PHI -> ShowS # show :: PHI -> String # showList :: [PHI] -> ShowS #
Eq PHI Source #
Instance details Defined in CST Methods (==) :: PHI -> PHI -> Bool # (/=) :: PHI -> PHI -> Bool #
Render PHI Source #
Instance details Defined in Render Methods render :: PHI -> Text Source #

data RHO Source #

Constructors

RHO
CARET
RHO'

Instances

Instances details

Show RHO Source #
Instance details Defined in CST Methods showsPrec :: Int -> RHO -> ShowS # show :: RHO -> String # showList :: [RHO] -> ShowS #
Eq RHO Source #
Instance details Defined in CST Methods (==) :: RHO -> RHO -> Bool # (/=) :: RHO -> RHO -> Bool #
Render RHO Source #
Instance details Defined in Render Methods render :: RHO -> Text Source #

data DELTA Source #

Constructors

DELTA
DELTA'

Instances

Instances details

Show DELTA Source #
Instance details Defined in CST Methods showsPrec :: Int -> DELTA -> ShowS # show :: DELTA -> String # showList :: [DELTA] -> ShowS #
Eq DELTA Source #
Instance details Defined in CST Methods (==) :: DELTA -> DELTA -> Bool # (/=) :: DELTA -> DELTA -> Bool #
Render DELTA Source #
Instance details Defined in Render Methods render :: DELTA -> Text Source #

data XI Source #

Constructors

XI
DOLLAR
XI'

Instances

Instances details

Show XI Source #
Instance details Defined in CST Methods showsPrec :: Int -> XI -> ShowS # show :: XI -> String # showList :: [XI] -> ShowS #
Eq XI Source #
Instance details Defined in CST Methods (==) :: XI -> XI -> Bool # (/=) :: XI -> XI -> Bool #
Render XI Source #
Instance details Defined in Render Methods render :: XI -> Text Source #

data LAMBDA Source #

Constructors

LAMBDA
LAMBDA'

Instances

Instances details

Show LAMBDA Source #
Instance details Defined in CST Methods showsPrec :: Int -> LAMBDA -> ShowS # show :: LAMBDA -> String # showList :: [LAMBDA] -> ShowS #
Eq LAMBDA Source #
Instance details Defined in CST Methods (==) :: LAMBDA -> LAMBDA -> Bool # (/=) :: LAMBDA -> LAMBDA -> Bool #
Render LAMBDA Source #
Instance details Defined in Render Methods render :: LAMBDA -> Text Source #

data GLOBAL Source #

Constructors

Φ
Q

Instances

Instances details

Show GLOBAL Source #
Instance details Defined in CST Methods showsPrec :: Int -> GLOBAL -> ShowS # show :: GLOBAL -> String # showList :: [GLOBAL] -> ShowS #
Eq GLOBAL Source #
Instance details Defined in CST Methods (==) :: GLOBAL -> GLOBAL -> Bool # (/=) :: GLOBAL -> GLOBAL -> Bool #
Render GLOBAL Source #
Instance details Defined in Render Methods render :: GLOBAL -> Text Source #

data TERMINATION Source #

Constructors

DEAD
T

Instances

Instances details

Show TERMINATION Source #
Instance details Defined in CST Methods showsPrec :: Int -> TERMINATION -> ShowS # show :: TERMINATION -> String # showList :: [TERMINATION] -> ShowS #
Eq TERMINATION Source #
Instance details Defined in CST Methods (==) :: TERMINATION -> TERMINATION -> Bool # (/=) :: TERMINATION -> TERMINATION -> Bool #
Render TERMINATION Source #
Instance details Defined in Render Methods render :: TERMINATION -> Text Source #

data SPACE Source #

Constructors

SPACE
NO_SPACE

Instances

Instances details

Show SPACE Source #
Instance details Defined in CST Methods showsPrec :: Int -> SPACE -> ShowS # show :: SPACE -> String # showList :: [SPACE] -> ShowS #
Eq SPACE Source #
Instance details Defined in CST Methods (==) :: SPACE -> SPACE -> Bool # (/=) :: SPACE -> SPACE -> Bool #
Render SPACE Source #
Instance details Defined in Render Methods render :: SPACE -> Text Source #

data EOL Source #

Constructors

EOL
NO_EOL

Instances

Instances details

Show EOL Source #
Instance details Defined in CST Methods showsPrec :: Int -> EOL -> ShowS # show :: EOL -> String # showList :: [EOL] -> ShowS #
Eq EOL Source #
Instance details Defined in CST Methods (==) :: EOL -> EOL -> Bool # (/=) :: EOL -> EOL -> Bool #
Render EOL Source #
Instance details Defined in Render Methods render :: EOL -> Text Source #

data DOTS Source #

Constructors

DOTS
DOTS'

Instances

Instances details

Show DOTS Source #
Instance details Defined in CST Methods showsPrec :: Int -> DOTS -> ShowS # show :: DOTS -> String # showList :: [DOTS] -> ShowS #
Eq DOTS Source #
Instance details Defined in CST Methods (==) :: DOTS -> DOTS -> Bool # (/=) :: DOTS -> DOTS -> Bool #
Render DOTS Source #
Instance details Defined in Render Methods render :: DOTS -> Text Source #

data BYTES Source #

Constructors

BT_EMPTY
BT_ONE String
BT_MANY [String]
BT_META META
BT_PIPED BYTES
BT_CUT [String] Int [String]

Instances

Instances details

Show BYTES Source #
Instance details Defined in CST Methods showsPrec :: Int -> BYTES -> ShowS # show :: BYTES -> String # showList :: [BYTES] -> ShowS #
Eq BYTES Source #
Instance details Defined in CST Methods (==) :: BYTES -> BYTES -> Bool # (/=) :: BYTES -> BYTES -> Bool #
ToASCII BYTES Source #
Instance details Defined in Encoding Methods toASCII :: BYTES -> BYTES Source #
Render BYTES Source #
Instance details Defined in Render Methods render :: BYTES -> Text Source #
ToCST Bytes BYTES Source #
Instance details Defined in CST Methods toCST :: Bytes -> (Int, EOL) -> BYTES Source #

data META_HEAD Source #

Constructors

E
E'
N
N'
K
K'
A
TAU
TAU'
I
I'
B
B'
D
D'
D''
F
F'
F''
S
S'
S''

Instances

Instances details

Show META_HEAD Source #
Instance details Defined in CST Methods showsPrec :: Int -> META_HEAD -> ShowS # show :: META_HEAD -> String # showList :: [META_HEAD] -> ShowS #
Eq META_HEAD Source #
Instance details Defined in CST Methods (==) :: META_HEAD -> META_HEAD -> Bool # (/=) :: META_HEAD -> META_HEAD -> Bool #
Render META_HEAD Source #
Instance details Defined in Render Methods render :: META_HEAD -> Text Source #

data EXCLAMATION Source #

Constructors

EXCL
NO_EXCL

Instances

Instances details

Show EXCLAMATION Source #
Instance details Defined in CST Methods showsPrec :: Int -> EXCLAMATION -> ShowS # show :: EXCLAMATION -> String # showList :: [EXCLAMATION] -> ShowS #
Eq EXCLAMATION Source #
Instance details Defined in CST Methods (==) :: EXCLAMATION -> EXCLAMATION -> Bool # (/=) :: EXCLAMATION -> EXCLAMATION -> Bool #
Render EXCLAMATION Source #
Instance details Defined in Render Methods render :: EXCLAMATION -> Text Source #

data META Source #

Constructors

META
Fields excl :: EXCLAMATION hd :: META_HEAD rest :: Text

Instances

Instances details

Show META Source #
Instance details Defined in CST Methods showsPrec :: Int -> META -> ShowS # show :: META -> String # showList :: [META] -> ShowS #
Eq META Source #
Instance details Defined in CST Methods (==) :: META -> META -> Bool # (/=) :: META -> META -> Bool #
Render META Source #
Instance details Defined in Render Methods render :: META -> Text Source #

data TAB Source #

Constructors

TAB
Fields indent :: Int
TAB'
NO_TAB

Instances

Instances details

Show TAB Source #
Instance details Defined in CST Methods showsPrec :: Int -> TAB -> ShowS # show :: TAB -> String # showList :: [TAB] -> ShowS #
Eq TAB Source #
Instance details Defined in CST Methods (==) :: TAB -> TAB -> Bool # (/=) :: TAB -> TAB -> Bool #
Render TAB Source #
Instance details Defined in Render Methods render :: TAB -> Text Source #

data ALPHA' Source #

Constructors

ALPHA
ALPHA'

Instances

Instances details

Show ALPHA' Source #
Instance details Defined in CST Methods showsPrec :: Int -> ALPHA' -> ShowS # show :: ALPHA' -> String # showList :: [ALPHA'] -> ShowS #
Eq ALPHA' Source #
Instance details Defined in CST Methods (==) :: ALPHA' -> ALPHA' -> Bool # (/=) :: ALPHA' -> ALPHA' -> Bool #
Render ALPHA' Source #
Instance details Defined in Render Methods render :: ALPHA' -> Text Source #

data ALPHA Source #

Constructors

AL_IDX
Fields sym :: ALPHA' idx :: Int
AL_META
Fields sym :: ALPHA' meta :: META

Instances

Instances details

Show ALPHA Source #
Instance details Defined in CST Methods showsPrec :: Int -> ALPHA -> ShowS # show :: ALPHA -> String # showList :: [ALPHA] -> ShowS #
Eq ALPHA Source #
Instance details Defined in CST Methods (==) :: ALPHA -> ALPHA -> Bool # (/=) :: ALPHA -> ALPHA -> Bool #
ToASCII ALPHA Source #
Instance details Defined in Encoding Methods toASCII :: ALPHA -> ALPHA Source #
Render ALPHA Source #
Instance details Defined in Render Methods render :: ALPHA -> Text Source #
ToCST Alpha ALPHA Source #
Instance details Defined in CST Methods toCST :: Alpha -> (Int, EOL) -> ALPHA Source #

data PAIR Source #

Constructors

PA_TAU
Fields attr :: ATTRIBUTE arrow :: ARROW expr :: EXPRESSION
PA_ALPHA
Fields alpha :: ALPHA arrow :: ARROW expr :: EXPRESSION
PA_FORMATION
Fields attr :: ATTRIBUTE voids :: [ATTRIBUTE] arrow :: ARROW expr :: EXPRESSION
PA_VOID
Fields attr :: ATTRIBUTE arrow :: ARROW void :: VOID
PA_LAMBDA
Fields func :: Text
PA_LAMBDA'
Fields func :: Text
PA_META_LAMBDA
Fields meta :: META
PA_META_LAMBDA'
Fields meta :: META
PA_DELTA
Fields bytes :: BYTES
PA_DELTA'
Fields bytes :: BYTES
PA_META_DELTA
Fields meta :: META
PA_META_DELTA'
Fields meta :: META
PA_FOLDED
Fields count :: Int

Instances

Instances details

Show PAIR Source #
Instance details Defined in CST Methods showsPrec :: Int -> PAIR -> ShowS # show :: PAIR -> String # showList :: [PAIR] -> ShowS #
Eq PAIR Source #
Instance details Defined in CST Methods (==) :: PAIR -> PAIR -> Bool # (/=) :: PAIR -> PAIR -> Bool #
ToASCII PAIR Source #
Instance details Defined in Encoding Methods toASCII :: PAIR -> PAIR Source #
ToSingleLine PAIR Source #
Instance details Defined in Lining Methods toSingleLine :: PAIR -> PAIR Source #
WithMargin PAIR Source #
Instance details Defined in Margin Methods withMargin' :: (Int, Int) -> PAIR -> PAIR
Render PAIR Source #
Instance details Defined in Render Methods render :: PAIR -> Text Source #
ToSalty PAIR Source #
Instance details Defined in Sugar Methods toSalty :: PAIR -> PAIR Source #
ToCST Argument PAIR Source #
Instance details Defined in CST Methods toCST :: Argument -> (Int, EOL) -> PAIR Source #
ToCST Binding PAIR Source #
Instance details Defined in CST Methods toCST :: Binding -> (Int, EOL) -> PAIR Source #

newtype APP_BINDING Source #

Constructors

APP_BINDING
Fields pair :: PAIR

Instances

Instances details

Show APP_BINDING Source #
Instance details Defined in CST Methods showsPrec :: Int -> APP_BINDING -> ShowS # show :: APP_BINDING -> String # showList :: [APP_BINDING] -> ShowS #
Eq APP_BINDING Source #
Instance details Defined in CST Methods (==) :: APP_BINDING -> APP_BINDING -> Bool # (/=) :: APP_BINDING -> APP_BINDING -> Bool #
ToASCII APP_BINDING Source #
Instance details Defined in Encoding Methods toASCII :: APP_BINDING -> APP_BINDING Source #
ToSingleLine APP_BINDING Source #
Instance details Defined in Lining Methods toSingleLine :: APP_BINDING -> APP_BINDING Source #
WithMargin APP_BINDING Source #
Instance details Defined in Margin Methods withMargin' :: (Int, Int) -> APP_BINDING -> APP_BINDING
Render APP_BINDING Source #
Instance details Defined in Render Methods render :: APP_BINDING -> Text Source #
ToSalty APP_BINDING Source #
Instance details Defined in Sugar Methods toSalty :: APP_BINDING -> APP_BINDING Source #
ToCST Binding APP_BINDING Source #
Instance details Defined in CST Methods toCST :: Binding -> (Int, EOL) -> APP_BINDING Source #

data BINDING Source #

Constructors

BI_PAIR
Fields pair :: PAIR bindings :: BINDINGS tab :: TAB
BI_EMPTY
Fields tab :: TAB
BI_META
Fields meta :: META bindings :: BINDINGS tab :: TAB

Instances

Instances details

Show BINDING Source #
Instance details Defined in CST Methods showsPrec :: Int -> BINDING -> ShowS # show :: BINDING -> String # showList :: [BINDING] -> ShowS #
Eq BINDING Source #
Instance details Defined in CST Methods (==) :: BINDING -> BINDING -> Bool # (/=) :: BINDING -> BINDING -> Bool #
ToASCII BINDING Source #
Instance details Defined in Encoding Methods toASCII :: BINDING -> BINDING Source #
ToSingleLine BINDING Source #
Instance details Defined in Lining Methods toSingleLine :: BINDING -> BINDING Source #
WithMargin BINDING Source #
Instance details Defined in Margin Methods withMargin' :: (Int, Int) -> BINDING -> BINDING
Render BINDING Source #
Instance details Defined in Render Methods render :: BINDING -> Text Source #
ToSalty BINDING Source #
Instance details Defined in Sugar Methods toSalty :: BINDING -> BINDING Source #
ToCST [Argument] BINDING Source #
Instance details Defined in CST Methods toCST :: [Argument] -> (Int, EOL) -> BINDING Source #
ToCST [Binding] BINDING Source #
Instance details Defined in CST Methods toCST :: [Binding] -> (Int, EOL) -> BINDING Source #

data BINDINGS Source #

Constructors

BDS_PAIR
Fields eol :: EOL tab :: TAB pair :: PAIR bindings :: BINDINGS
BDS_EMPTY
Fields tab :: TAB
BDS_META
Fields eol :: EOL tab :: TAB meta :: META bindings :: BINDINGS

Instances

Instances details

Show BINDINGS Source #
Instance details Defined in CST Methods showsPrec :: Int -> BINDINGS -> ShowS # show :: BINDINGS -> String # showList :: [BINDINGS] -> ShowS #
Eq BINDINGS Source #
Instance details Defined in CST Methods (==) :: BINDINGS -> BINDINGS -> Bool # (/=) :: BINDINGS -> BINDINGS -> Bool #
ToASCII BINDINGS Source #
Instance details Defined in Encoding Methods toASCII :: BINDINGS -> BINDINGS Source #
ToSingleLine BINDINGS Source #
Instance details Defined in Lining Methods toSingleLine :: BINDINGS -> BINDINGS Source #
WithMargin BINDINGS Source #
Instance details Defined in Margin Methods withMargin' :: (Int, Int) -> BINDINGS -> BINDINGS
Render BINDINGS Source #
Instance details Defined in Render Methods render :: BINDINGS -> Text Source #
ToSalty BINDINGS Source #
Instance details Defined in Sugar Methods toSalty :: BINDINGS -> BINDINGS Source #
ToCST [Argument] BINDINGS Source #
Instance details Defined in CST Methods toCST :: [Argument] -> (Int, EOL) -> BINDINGS Source #
ToCST [Binding] BINDINGS Source #
Instance details Defined in CST Methods toCST :: [Binding] -> (Int, EOL) -> BINDINGS Source #

data APP_ARG Source #

Constructors

APP_ARG
Fields expr :: EXPRESSION args :: APP_ARGS

Instances

Instances details

Show APP_ARG Source #
Instance details Defined in CST Methods showsPrec :: Int -> APP_ARG -> ShowS # show :: APP_ARG -> String # showList :: [APP_ARG] -> ShowS #
Eq APP_ARG Source #
Instance details Defined in CST Methods (==) :: APP_ARG -> APP_ARG -> Bool # (/=) :: APP_ARG -> APP_ARG -> Bool #
ToASCII APP_ARG Source #
Instance details Defined in Encoding Methods toASCII :: APP_ARG -> APP_ARG Source #
ToSingleLine APP_ARG Source #
Instance details Defined in Lining Methods toSingleLine :: APP_ARG -> APP_ARG Source #
WithMargin APP_ARG Source #
Instance details Defined in Margin Methods withMargin' :: (Int, Int) -> APP_ARG -> APP_ARG
Render APP_ARG Source #
Instance details Defined in Render Methods render :: APP_ARG -> Text Source #
ToCST [Expression] APP_ARG Source #
Instance details Defined in CST Methods toCST :: [Expression] -> (Int, EOL) -> APP_ARG Source #

data APP_ARGS Source #

Constructors

AAS_EXPR
Fields eol :: EOL tab :: TAB expr :: EXPRESSION args :: APP_ARGS
AAS_EMPTY

Instances

Instances details

Show APP_ARGS Source #
Instance details Defined in CST Methods showsPrec :: Int -> APP_ARGS -> ShowS # show :: APP_ARGS -> String # showList :: [APP_ARGS] -> ShowS #
Eq APP_ARGS Source #
Instance details Defined in CST Methods (==) :: APP_ARGS -> APP_ARGS -> Bool # (/=) :: APP_ARGS -> APP_ARGS -> Bool #
ToASCII APP_ARGS Source #
Instance details Defined in Encoding Methods toASCII :: APP_ARGS -> APP_ARGS Source #
ToSingleLine APP_ARGS Source #
Instance details Defined in Lining Methods toSingleLine :: APP_ARGS -> APP_ARGS Source #
WithMargin APP_ARGS Source #
Instance details Defined in Margin Methods withMargin' :: (Int, Int) -> APP_ARGS -> APP_ARGS
Render APP_ARGS Source #
Instance details Defined in Render Methods render :: APP_ARGS -> Text Source #
ToCST [Expression] APP_ARGS Source #
Instance details Defined in CST Methods toCST :: [Expression] -> (Int, EOL) -> APP_ARGS Source #

data APP_ARGUMENT Source #

Constructors

AA_TAU APP_BINDING
AA_TAUS BINDING
AA_EXPRS APP_ARG

Instances

Instances details

Show APP_ARGUMENT Source #
Instance details Defined in CST Methods showsPrec :: Int -> APP_ARGUMENT -> ShowS # show :: APP_ARGUMENT -> String # showList :: [APP_ARGUMENT] -> ShowS #
Eq APP_ARGUMENT Source #
Instance details Defined in CST Methods (==) :: APP_ARGUMENT -> APP_ARGUMENT -> Bool # (/=) :: APP_ARGUMENT -> APP_ARGUMENT -> Bool #
ToASCII APP_ARGUMENT Source #
Instance details Defined in Encoding Methods toASCII :: APP_ARGUMENT -> APP_ARGUMENT Source #
ToSingleLine APP_ARGUMENT Source #
Instance details Defined in Lining Methods toSingleLine :: APP_ARGUMENT -> APP_ARGUMENT Source #
WithMargin APP_ARGUMENT Source #
Instance details Defined in Margin Methods withMargin' :: (Int, Int) -> APP_ARGUMENT -> APP_ARGUMENT
Render APP_ARGUMENT Source #
Instance details Defined in Render Methods render :: APP_ARGUMENT -> Text Source #

data EXPRESSION Source #

Constructors

EX_GLOBAL
Fields global :: GLOBAL
EX_XI
Fields xi :: XI
EX_ATTR
Fields attr :: ATTRIBUTE
EX_TERMINATION
Fields termination :: TERMINATION
EX_FORMATION
Fields lsb :: LSB eol :: EOL tab :: TAB binding :: BINDING eol' :: EOL tab' :: TAB rsb :: RSB
EX_DISPATCH
Fields expr :: EXPRESSION space :: SPACE attr :: ATTRIBUTE
EX_APPLICATION
Fields expr :: EXPRESSION space :: SPACE eol :: EOL tab :: TAB argument :: APP_ARGUMENT eol' :: EOL tab' :: TAB indent :: Int
EX_STRING
Fields str :: String tab :: TAB rhos :: [Argument]
EX_NUMBER
Fields num :: Double tab :: TAB rhos :: [Argument]
EX_NONFINITE
Fields global :: GLOBAL nonfinite :: NonFinite tab :: TAB rhos :: [Argument]
EX_META
Fields meta :: META
EX_PHI_MEET
Fields prefix :: Maybe String idx :: Int expr :: EXPRESSION
EX_PHI_AGAIN
Fields prefix :: Maybe String idx :: Int expr :: EXPRESSION
EX_BYTES
Fields bytes :: BYTES
EX_SINGLE
Fields pair :: PAIR space :: SPACE formation :: EXPRESSION

Instances

Instances details

Show EXPRESSION Source #
Instance details Defined in CST Methods showsPrec :: Int -> EXPRESSION -> ShowS # show :: EXPRESSION -> String # showList :: [EXPRESSION] -> ShowS #
Eq EXPRESSION Source #
Instance details Defined in CST Methods (==) :: EXPRESSION -> EXPRESSION -> Bool # (/=) :: EXPRESSION -> EXPRESSION -> Bool #
ToASCII EXPRESSION Source #
Instance details Defined in Encoding Methods toASCII :: EXPRESSION -> EXPRESSION Source #
ToSingleLine EXPRESSION Source #
Instance details Defined in Lining Methods toSingleLine :: EXPRESSION -> EXPRESSION Source #
WithMargin EXPRESSION Source #
Instance details Defined in Margin Methods withMargin' :: (Int, Int) -> EXPRESSION -> EXPRESSION
Render EXPRESSION Source #
Instance details Defined in Render Methods render :: EXPRESSION -> Text Source #
ToSalty EXPRESSION Source #
Instance details Defined in Sugar Methods toSalty :: EXPRESSION -> EXPRESSION Source #
ToCST Expression EXPRESSION Source #
Instance details Defined in CST Methods toCST :: Expression -> (Int, EOL) -> EXPRESSION Source #

data ATTRIBUTE Source #

Constructors

AT_LABEL
Fields label :: Text
AT_RHO
Fields rho :: RHO
AT_PHI
Fields phi :: PHI
AT_LAMBDA
Fields lambda :: LAMBDA
AT_DELTA
Fields delta :: DELTA
AT_META
Fields meta :: META
AT_REST
Fields dots :: DOTS

Instances

Instances details

Show ATTRIBUTE Source #
Instance details Defined in CST Methods showsPrec :: Int -> ATTRIBUTE -> ShowS # show :: ATTRIBUTE -> String # showList :: [ATTRIBUTE] -> ShowS #
Eq ATTRIBUTE Source #
Instance details Defined in CST Methods (==) :: ATTRIBUTE -> ATTRIBUTE -> Bool # (/=) :: ATTRIBUTE -> ATTRIBUTE -> Bool #
ToASCII ATTRIBUTE Source #
Instance details Defined in Encoding Methods toASCII :: ATTRIBUTE -> ATTRIBUTE Source #
Render ATTRIBUTE Source #
Instance details Defined in Render Methods render :: ATTRIBUTE -> Text Source #
ToCST Attribute ATTRIBUTE Source #
Instance details Defined in CST Methods toCST :: Attribute -> (Int, EOL) -> ATTRIBUTE Source #
Render [ATTRIBUTE] Source #
Instance details Defined in Render Methods render :: [ATTRIBUTE] -> Text Source #

data BELONGING Source #

Constructors

IN
NOT_IN

Instances

Instances details

Show BELONGING Source #
Instance details Defined in CST Methods showsPrec :: Int -> BELONGING -> ShowS # show :: BELONGING -> String # showList :: [BELONGING] -> ShowS #
Eq BELONGING Source #
Instance details Defined in CST Methods (==) :: BELONGING -> BELONGING -> Bool # (/=) :: BELONGING -> BELONGING -> Bool #
Render BELONGING Source #
Instance details Defined in Render Methods render :: BELONGING -> Text Source #

data SET Source #

Constructors

ST_BINDING
Fields binding :: BINDING
ST_ATTRIBUTES
Fields attrs :: [ATTRIBUTE]

Instances

Instances details

Show SET Source #
Instance details Defined in CST Methods showsPrec :: Int -> SET -> ShowS # show :: SET -> String # showList :: [SET] -> ShowS #
Eq SET Source #
Instance details Defined in CST Methods (==) :: SET -> SET -> Bool # (/=) :: SET -> SET -> Bool #
ToASCII SET Source #
Instance details Defined in Encoding Methods toASCII :: SET -> SET Source #
ToSingleLine SET Source #
Instance details Defined in Lining Methods toSingleLine :: SET -> SET Source #
Render SET Source #
Instance details Defined in Render Methods render :: SET -> Text Source #
ToSalty SET Source #
Instance details Defined in Sugar Methods toSalty :: SET -> SET Source #

data LOGIC_OPERATOR Source #

Constructors

AND
OR

Instances

Instances details

Show LOGIC_OPERATOR Source #
Instance details Defined in CST Methods showsPrec :: Int -> LOGIC_OPERATOR -> ShowS # show :: LOGIC_OPERATOR -> String # showList :: [LOGIC_OPERATOR] -> ShowS #
Eq LOGIC_OPERATOR Source #
Instance details Defined in CST Methods (==) :: LOGIC_OPERATOR -> LOGIC_OPERATOR -> Bool # (/=) :: LOGIC_OPERATOR -> LOGIC_OPERATOR -> Bool #
Render LOGIC_OPERATOR Source #
Instance details Defined in Render Methods render :: LOGIC_OPERATOR -> Text Source #

data EQUAL Source #

Constructors

EQUAL
NOT_EQUAL
GREATER
NOT_GREATER

Instances

Instances details

Show EQUAL Source #
Instance details Defined in CST Methods showsPrec :: Int -> EQUAL -> ShowS # show :: EQUAL -> String # showList :: [EQUAL] -> ShowS #
Eq EQUAL Source #
Instance details Defined in CST Methods (==) :: EQUAL -> EQUAL -> Bool # (/=) :: EQUAL -> EQUAL -> Bool #
Render EQUAL Source #
Instance details Defined in Render Methods render :: EQUAL -> Text Source #

data NUMBER Source #

Constructors

IDX_META
Fields meta :: META
LENGTH
Fields binding :: BINDING
DOMAIN
Fields binding :: BINDING
LITERAL
Fields num :: Int

Instances

Instances details

Show NUMBER Source #
Instance details Defined in CST Methods showsPrec :: Int -> NUMBER -> ShowS # show :: NUMBER -> String # showList :: [NUMBER] -> ShowS #
Eq NUMBER Source #
Instance details Defined in CST Methods (==) :: NUMBER -> NUMBER -> Bool # (/=) :: NUMBER -> NUMBER -> Bool #
ToASCII NUMBER Source #
Instance details Defined in Encoding Methods toASCII :: NUMBER -> NUMBER Source #
ToSingleLine NUMBER Source #
Instance details Defined in Lining Methods toSingleLine :: NUMBER -> NUMBER Source #
Render NUMBER Source #
Instance details Defined in Render Methods render :: NUMBER -> Text Source #
ToSalty NUMBER Source #
Instance details Defined in Sugar Methods toSalty :: NUMBER -> NUMBER Source #
ToCST Number NUMBER Source #
Instance details Defined in CST Methods toCST :: Number -> (Int, EOL) -> NUMBER Source #

data COMPARABLE Source #

Constructors

CMP_ATTR
Fields attr :: ATTRIBUTE
CMP_EXPR
Fields expr :: EXPRESSION
CMP_NUM
Fields num :: NUMBER

Instances

Instances details

Show COMPARABLE Source #
Instance details Defined in CST Methods showsPrec :: Int -> COMPARABLE -> ShowS # show :: COMPARABLE -> String # showList :: [COMPARABLE] -> ShowS #
Eq COMPARABLE Source #
Instance details Defined in CST Methods (==) :: COMPARABLE -> COMPARABLE -> Bool # (/=) :: COMPARABLE -> COMPARABLE -> Bool #
ToASCII COMPARABLE Source #
Instance details Defined in Encoding Methods toASCII :: COMPARABLE -> COMPARABLE Source #
ToSingleLine COMPARABLE Source #
Instance details Defined in Lining Methods toSingleLine :: COMPARABLE -> COMPARABLE Source #
Render COMPARABLE Source #
Instance details Defined in Render Methods render :: COMPARABLE -> Text Source #
ToSalty COMPARABLE Source #
Instance details Defined in Sugar Methods toSalty :: COMPARABLE -> COMPARABLE Source #
ToCST Comparable COMPARABLE Source #
Instance details Defined in CST Methods toCST :: Comparable -> (Int, EOL) -> COMPARABLE Source #

data CONDITION Source #

Constructors

CO_EMPTY
CO_BELONGS
Fields attr :: ATTRIBUTE belongs :: BELONGING set :: SET
CO_LOGIC
Fields conditions :: [CONDITION] operator :: LOGIC_OPERATOR
CO_NF
Fields expr :: EXPRESSION
CO_ABSOLUTE
Fields expr :: EXPRESSION belongs :: BELONGING
CO_NOT
Fields condition :: CONDITION
CO_COMPARE
Fields left :: COMPARABLE equal :: EQUAL right :: COMPARABLE
CO_MATCHES
Fields regex :: String expr :: EXPRESSION
CO_PART_OF
Fields expr :: EXPRESSION binding :: BINDING
CO_DISJOINT
Fields attrs :: [ATTRIBUTE] groups :: [BINDING]
CO_SUBSET
Fields attrs :: [ATTRIBUTE] belongs :: BELONGING groups :: [BINDING]
CO_FORMATION
Fields expr :: EXPRESSION

Instances

Instances details

Show CONDITION Source #
Instance details Defined in CST Methods showsPrec :: Int -> CONDITION -> ShowS # show :: CONDITION -> String # showList :: [CONDITION] -> ShowS #
Eq CONDITION Source #
Instance details Defined in CST Methods (==) :: CONDITION -> CONDITION -> Bool # (/=) :: CONDITION -> CONDITION -> Bool #
ToASCII CONDITION Source #
Instance details Defined in Encoding Methods toASCII :: CONDITION -> CONDITION Source #
ToSingleLine CONDITION Source #
Instance details Defined in Lining Methods toSingleLine :: CONDITION -> CONDITION Source #
WithMargin CONDITION Source #
Instance details Defined in Margin Methods withMargin' :: (Int, Int) -> CONDITION -> CONDITION
Render CONDITION Source #
Instance details Defined in Render Methods render :: CONDITION -> Text Source #
ToSalty CONDITION Source #
Instance details Defined in Sugar Methods toSalty :: CONDITION -> CONDITION Source #
ToCST Condition CONDITION Source #
Instance details Defined in CST Methods toCST :: Condition -> (Int, EOL) -> CONDITION Source #

data EXTRA_ARG Source #

Constructors

ARG_EXPR
Fields expr :: EXPRESSION
ARG_ATTR
Fields attr :: ATTRIBUTE
ARG_BINDING
Fields binding :: BINDING
ARG_BYTES
Fields bytes :: BYTES

Instances

Instances details

Show EXTRA_ARG Source #
Instance details Defined in CST Methods showsPrec :: Int -> EXTRA_ARG -> ShowS # show :: EXTRA_ARG -> String # showList :: [EXTRA_ARG] -> ShowS #
Eq EXTRA_ARG Source #
Instance details Defined in CST Methods (==) :: EXTRA_ARG -> EXTRA_ARG -> Bool # (/=) :: EXTRA_ARG -> EXTRA_ARG -> Bool #
ToASCII EXTRA_ARG Source #
Instance details Defined in Encoding Methods toASCII :: EXTRA_ARG -> EXTRA_ARG Source #
ToSingleLine EXTRA_ARG Source #
Instance details Defined in Lining Methods toSingleLine :: EXTRA_ARG -> EXTRA_ARG Source #
Render EXTRA_ARG Source #
Instance details Defined in Render Methods render :: EXTRA_ARG -> Text Source #
ToSalty EXTRA_ARG Source #
Instance details Defined in Sugar Methods toSalty :: EXTRA_ARG -> EXTRA_ARG Source #
ToCST ExtraArgument EXTRA_ARG Source #
Instance details Defined in CST Methods toCST :: ExtraArgument -> (Int, EOL) -> EXTRA_ARG Source #

data EXTRA Source #

Constructors

EXTRA
Fields meta :: EXTRA_ARG func :: String args :: [EXTRA_ARG]

Instances

Instances details

Show EXTRA Source #
Instance details Defined in CST Methods showsPrec :: Int -> EXTRA -> ShowS # show :: EXTRA -> String # showList :: [EXTRA] -> ShowS #
Eq EXTRA Source #
Instance details Defined in CST Methods (==) :: EXTRA -> EXTRA -> Bool # (/=) :: EXTRA -> EXTRA -> Bool #
ToASCII EXTRA Source #
Instance details Defined in Encoding Methods toASCII :: EXTRA -> EXTRA Source #
ToSingleLine EXTRA Source #
Instance details Defined in Lining Methods toSingleLine :: EXTRA -> EXTRA Source #
WithMargin EXTRA Source #
Instance details Defined in Margin Methods withMargin' :: (Int, Int) -> EXTRA -> EXTRA
Render EXTRA Source #
Instance details Defined in Render Methods render :: EXTRA -> Text Source #
ToSalty EXTRA Source #
Instance details Defined in Sugar Methods toSalty :: EXTRA -> EXTRA Source #
ToCST Extra EXTRA Source #
Instance details Defined in CST Methods toCST :: Extra -> (Int, EOL) -> EXTRA Source #

expressionToCST :: Expression -> EXPRESSION Source #

expressionToCSTFrom :: Int -> Expression -> EXPRESSION Source #

sweetNumber :: Bytes -> Bool Source #

sweetString :: Bytes -> Bool Source #

sweetCollapsible :: Expression -> Bool Source #

attributeToCST :: Attribute -> ATTRIBUTE Source #

bindingsToCST :: [Binding] -> BINDING Source #

conditionToCST :: Condition -> CONDITION Source #

comparableToCST :: Comparable -> COMPARABLE Source #

numberToCST :: Number -> NUMBER Source #

extraToCST :: Extra -> EXTRA Source #

toCST' :: ToCST a b => a -> b Source #

metaTail :: Text -> Text Source #

anyMeta :: META_HEAD -> META Source #

exMetaHead :: Text -> META_HEAD Source #

class ToCST a b where Source #

Methods

toCST :: a -> (Int, EOL) -> b Source #

Instances

Instances details

ToCST Alpha ALPHA Source #
Instance details Defined in CST Methods toCST :: Alpha -> (Int, EOL) -> ALPHA Source #
ToCST Argument PAIR Source #
Instance details Defined in CST Methods toCST :: Argument -> (Int, EOL) -> PAIR Source #
ToCST Attribute ATTRIBUTE Source #
Instance details Defined in CST Methods toCST :: Attribute -> (Int, EOL) -> ATTRIBUTE Source #
ToCST Binding APP_BINDING Source #
Instance details Defined in CST Methods toCST :: Binding -> (Int, EOL) -> APP_BINDING Source #
ToCST Binding PAIR Source #
Instance details Defined in CST Methods toCST :: Binding -> (Int, EOL) -> PAIR Source #
ToCST Bytes BYTES Source #
Instance details Defined in CST Methods toCST :: Bytes -> (Int, EOL) -> BYTES Source #
ToCST Expression EXPRESSION Source #
Instance details Defined in CST Methods toCST :: Expression -> (Int, EOL) -> EXPRESSION Source #
ToCST Comparable COMPARABLE Source #
Instance details Defined in CST Methods toCST :: Comparable -> (Int, EOL) -> COMPARABLE Source #
ToCST Condition CONDITION Source #
Instance details Defined in CST Methods toCST :: Condition -> (Int, EOL) -> CONDITION Source #
ToCST Extra EXTRA Source #
Instance details Defined in CST Methods toCST :: Extra -> (Int, EOL) -> EXTRA Source #
ToCST ExtraArgument EXTRA_ARG Source #
Instance details Defined in CST Methods toCST :: ExtraArgument -> (Int, EOL) -> EXTRA_ARG Source #
ToCST Number NUMBER Source #
Instance details Defined in CST Methods toCST :: Number -> (Int, EOL) -> NUMBER Source #
ToCST [Argument] BINDING Source #
Instance details Defined in CST Methods toCST :: [Argument] -> (Int, EOL) -> BINDING Source #
ToCST [Argument] BINDINGS Source #
Instance details Defined in CST Methods toCST :: [Argument] -> (Int, EOL) -> BINDINGS Source #
ToCST [Binding] BINDING Source #
Instance details Defined in CST Methods toCST :: [Binding] -> (Int, EOL) -> BINDING Source #
ToCST [Binding] BINDINGS Source #
Instance details Defined in CST Methods toCST :: [Binding] -> (Int, EOL) -> BINDINGS Source #
ToCST [Expression] APP_ARG Source #
Instance details Defined in CST Methods toCST :: [Expression] -> (Int, EOL) -> APP_ARG Source #
ToCST [Expression] APP_ARGS Source #
Instance details Defined in CST Methods toCST :: [Expression] -> (Int, EOL) -> APP_ARGS Source #