Safe Haskell	Safe-Inferred
Language	Haskell2010

AST

Documentation

data Slot Source #

Constructors

Slot Text Int

Instances

Instances details

Show Slot Source #
Instance details Defined in AST Methods showsPrec :: Int -> Slot -> ShowS # show :: Slot -> String # showList :: [Slot] -> ShowS #
Eq Slot Source #
Instance details Defined in AST Methods (==) :: Slot -> Slot -> Bool # (/=) :: Slot -> Slot -> Bool #
Ord Slot Source #
Instance details Defined in AST Methods compare :: Slot -> Slot -> Ordering # (<) :: Slot -> Slot -> Bool # (<=) :: Slot -> Slot -> Bool # (>) :: Slot -> Slot -> Bool # (>=) :: Slot -> Slot -> Bool # max :: Slot -> Slot -> Slot # min :: Slot -> Slot -> Slot #
Metas Slot Source #
Instance details Defined in Metas Methods metas :: Slot -> [Text] Source # bare :: [Text] -> Slot -> Slot Source #

data Expression Source #

Constructors

ExXi
ExRoot
ExTermination
ExMeta Text
ExAny Slot
ExPhiMeet (Maybe String) Int Expression
ExPhiAgain (Maybe String) Int Expression
ExBytes Bytes

Bundled Patterns

pattern ExFormation :: [Binding] -> Expression
pattern ExApplication :: Expression -> Argument -> Expression
pattern ExDispatch :: Expression -> Attribute -> Expression

Instances

Instances details

Show Expression Source #
Instance details Defined in AST Methods showsPrec :: Int -> Expression -> ShowS # show :: Expression -> String # showList :: [Expression] -> ShowS #
Eq Expression Source #
Instance details Defined in AST Methods (==) :: Expression -> Expression -> Bool # (/=) :: Expression -> Expression -> Bool #
Ord Expression Source #
Instance details Defined in AST 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 #
Metas Expression Source #
Instance details Defined in Metas Methods metas :: Expression -> [Text] Source # bare :: [Text] -> Expression -> Expression Source #
Slots Expression Source #
Instance details Defined in Slots Methods slots :: Expression -> [Slot] Source #
FromJSON Expression Source #
Instance details Defined in Yaml Methods parseJSON :: Value -> Parser Expression Source # parseJSONList :: Value -> Parser [Expression] Source # omittedField :: Maybe Expression Source #
ToCST Expression EXPRESSION Source #
Instance details Defined in CST Methods toCST :: Expression -> (Int, EOL) -> EXPRESSION 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 #

data Argument Source #

Constructors

ArTau Attribute Expression
ArAlpha Alpha Expression

Instances

Instances details

Generic Argument Source #
Instance details Defined in AST Associated Types type Rep Argument :: Type -> Type # Methods from :: Argument -> Rep Argument x # to :: Rep Argument x -> Argument #
Show Argument Source #
Instance details Defined in AST Methods showsPrec :: Int -> Argument -> ShowS # show :: Argument -> String # showList :: [Argument] -> ShowS #
Eq Argument Source #
Instance details Defined in AST Methods (==) :: Argument -> Argument -> Bool # (/=) :: Argument -> Argument -> Bool #
Ord Argument Source #
Instance details Defined in AST Methods compare :: Argument -> Argument -> Ordering # (<) :: Argument -> Argument -> Bool # (<=) :: Argument -> Argument -> Bool # (>) :: Argument -> Argument -> Bool # (>=) :: Argument -> Argument -> Bool # max :: Argument -> Argument -> Argument # min :: Argument -> Argument -> Argument #
Metas Argument Source #
Instance details Defined in Metas Methods metas :: Argument -> [Text] Source # bare :: [Text] -> Argument -> Argument Source #
Slots Argument Source #
Instance details Defined in Slots Methods slots :: Argument -> [Slot] Source #
ToCST Argument PAIR Source #
Instance details Defined in CST Methods toCST :: Argument -> (Int, EOL) -> PAIR 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 #
type Rep Argument Source #
Instance details Defined in AST type Rep Argument = D1 ('MetaData "Argument" "AST" "phino-0.0.0-inplace" 'False) (C1 ('MetaCons "ArTau" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Attribute) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expression)) :+: C1 ('MetaCons "ArAlpha" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Alpha) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expression)))

data Alpha Source #

Constructors

Alpha Int
AlMeta Text
AlAny Slot

Instances

Instances details

Generic Alpha Source #
Instance details Defined in AST Associated Types type Rep Alpha :: Type -> Type # Methods from :: Alpha -> Rep Alpha x # to :: Rep Alpha x -> Alpha #
Show Alpha Source #
Instance details Defined in AST Methods showsPrec :: Int -> Alpha -> ShowS # show :: Alpha -> String # showList :: [Alpha] -> ShowS #
Eq Alpha Source #
Instance details Defined in AST Methods (==) :: Alpha -> Alpha -> Bool # (/=) :: Alpha -> Alpha -> Bool #
Ord Alpha Source #
Instance details Defined in AST Methods compare :: Alpha -> Alpha -> Ordering # (<) :: Alpha -> Alpha -> Bool # (<=) :: Alpha -> Alpha -> Bool # (>) :: Alpha -> Alpha -> Bool # (>=) :: Alpha -> Alpha -> Bool # max :: Alpha -> Alpha -> Alpha # min :: Alpha -> Alpha -> Alpha #
Metas Alpha Source #
Instance details Defined in Metas Methods metas :: Alpha -> [Text] Source # bare :: [Text] -> Alpha -> Alpha Source #
Slots Alpha Source #
Instance details Defined in Slots Methods slots :: Alpha -> [Slot] Source #
FromJSON Alpha Source #
Instance details Defined in Yaml Methods parseJSON :: Value -> Parser Alpha Source # parseJSONList :: Value -> Parser [Alpha] Source # omittedField :: Maybe Alpha Source #
ToCST Alpha ALPHA Source #
Instance details Defined in CST Methods toCST :: Alpha -> (Int, EOL) -> ALPHA Source #
type Rep Alpha Source #
Instance details Defined in AST type Rep Alpha = D1 ('MetaData "Alpha" "AST" "phino-0.0.0-inplace" 'False) (C1 ('MetaCons "Alpha" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: (C1 ('MetaCons "AlMeta" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "AlAny" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Slot))))

data Binding Source #

Constructors

BiTau Attribute Expression
BiVoid Attribute
BiDelta Bytes
BiLambda Function
BiMeta Text
BiAny Slot

Instances

Instances details

Generic Binding Source #
Instance details Defined in AST Associated Types type Rep Binding :: Type -> Type # Methods from :: Binding -> Rep Binding x # to :: Rep Binding x -> Binding #
Show Binding Source #
Instance details Defined in AST Methods showsPrec :: Int -> Binding -> ShowS # show :: Binding -> String # showList :: [Binding] -> ShowS #
Eq Binding Source #
Instance details Defined in AST Methods (==) :: Binding -> Binding -> Bool # (/=) :: Binding -> Binding -> Bool #
Ord Binding Source #
Instance details Defined in AST 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 #
Metas Binding Source #
Instance details Defined in Metas Methods metas :: Binding -> [Text] Source # bare :: [Text] -> Binding -> Binding Source #
Slots Binding Source #
Instance details Defined in Slots Methods slots :: Binding -> [Slot] Source #
FromJSON Binding Source #
Instance details Defined in Yaml Methods parseJSON :: Value -> Parser Binding Source # parseJSONList :: Value -> Parser [Binding] Source # omittedField :: Maybe Binding 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 [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 #
type Rep Binding Source #
Instance details Defined in AST type Rep Binding = D1 ('MetaData "Binding" "AST" "phino-0.0.0-inplace" 'False) ((C1 ('MetaCons "BiTau" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Attribute) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expression)) :+: (C1 ('MetaCons "BiVoid" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Attribute)) :+: C1 ('MetaCons "BiDelta" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bytes)))) :+: (C1 ('MetaCons "BiLambda" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Function)) :+: (C1 ('MetaCons "BiMeta" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "BiAny" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Slot)))))

data Bytes Source #

Constructors

BtEmpty
BtOne String
BtMany [String]
BtMeta Text
BtAny Slot

Instances

Instances details

Generic Bytes Source #
Instance details Defined in AST Associated Types type Rep Bytes :: Type -> Type # Methods from :: Bytes -> Rep Bytes x # to :: Rep Bytes x -> Bytes #
Show Bytes Source #
Instance details Defined in AST Methods showsPrec :: Int -> Bytes -> ShowS # show :: Bytes -> String # showList :: [Bytes] -> ShowS #
Eq Bytes Source #
Instance details Defined in AST Methods (==) :: Bytes -> Bytes -> Bool # (/=) :: Bytes -> Bytes -> Bool #
Ord Bytes Source #
Instance details Defined in AST Methods compare :: Bytes -> Bytes -> Ordering # (<) :: Bytes -> Bytes -> Bool # (<=) :: Bytes -> Bytes -> Bool # (>) :: Bytes -> Bytes -> Bool # (>=) :: Bytes -> Bytes -> Bool # max :: Bytes -> Bytes -> Bytes # min :: Bytes -> Bytes -> Bytes #
Metas Bytes Source #
Instance details Defined in Metas Methods metas :: Bytes -> [Text] Source # bare :: [Text] -> Bytes -> Bytes Source #
Slots Bytes Source #
Instance details Defined in Slots Methods slots :: Bytes -> [Slot] Source #
FromJSON Bytes Source #
Instance details Defined in Yaml Methods parseJSON :: Value -> Parser Bytes Source # parseJSONList :: Value -> Parser [Bytes] Source # omittedField :: Maybe Bytes Source #
ToCST Bytes BYTES Source #
Instance details Defined in CST Methods toCST :: Bytes -> (Int, EOL) -> BYTES Source #
type Rep Bytes Source #
Instance details Defined in AST type Rep Bytes = D1 ('MetaData "Bytes" "AST" "phino-0.0.0-inplace" 'False) ((C1 ('MetaCons "BtEmpty" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BtOne" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))) :+: (C1 ('MetaCons "BtMany" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [String])) :+: (C1 ('MetaCons "BtMeta" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "BtAny" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Slot)))))

data Attribute Source #

Constructors

AtLabel Text
AtPhi
AtRho
AtLambda
AtDelta
AtMeta Text
AtAny Slot

Instances

Instances details

Generic Attribute Source #
Instance details Defined in AST Associated Types type Rep Attribute :: Type -> Type # Methods from :: Attribute -> Rep Attribute x # to :: Rep Attribute x -> Attribute #
Show Attribute Source #
Instance details Defined in AST Methods showsPrec :: Int -> Attribute -> ShowS # show :: Attribute -> String # showList :: [Attribute] -> ShowS #
Eq Attribute Source #
Instance details Defined in AST Methods (==) :: Attribute -> Attribute -> Bool # (/=) :: Attribute -> Attribute -> Bool #
Ord Attribute Source #
Instance details Defined in AST 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 #
Metas Attribute Source #
Instance details Defined in Metas Methods metas :: Attribute -> [Text] Source # bare :: [Text] -> Attribute -> Attribute Source #
Slots Attribute Source #
Instance details Defined in Slots Methods slots :: Attribute -> [Slot] Source #
FromJSON Attribute Source #
Instance details Defined in Yaml Methods parseJSON :: Value -> Parser Attribute Source # parseJSONList :: Value -> Parser [Attribute] Source # omittedField :: Maybe Attribute Source #
ToCST Attribute ATTRIBUTE Source #
Instance details Defined in CST Methods toCST :: Attribute -> (Int, EOL) -> ATTRIBUTE Source #
type Rep Attribute Source #
Instance details Defined in AST type Rep Attribute = D1 ('MetaData "Attribute" "AST" "phino-0.0.0-inplace" 'False) ((C1 ('MetaCons "AtLabel" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: (C1 ('MetaCons "AtPhi" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AtRho" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "AtLambda" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AtDelta" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "AtMeta" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "AtAny" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Slot)))))

data Function Source #

Constructors

Function Text
FnMeta Text
FnAny Slot
FnSymbol Int
FnFresh Slot

Instances

Instances details

Generic Function Source #
Instance details Defined in AST Associated Types type Rep Function :: Type -> Type # Methods from :: Function -> Rep Function x # to :: Rep Function x -> Function #
Show Function Source #
Instance details Defined in AST Methods showsPrec :: Int -> Function -> ShowS # show :: Function -> String # showList :: [Function] -> ShowS #
Eq Function Source #
Instance details Defined in AST Methods (==) :: Function -> Function -> Bool # (/=) :: Function -> Function -> Bool #
Ord Function Source #
Instance details Defined in AST Methods compare :: Function -> Function -> Ordering # (<) :: Function -> Function -> Bool # (<=) :: Function -> Function -> Bool # (>) :: Function -> Function -> Bool # (>=) :: Function -> Function -> Bool # max :: Function -> Function -> Function # min :: Function -> Function -> Function #
Metas Function Source #
Instance details Defined in Metas Methods metas :: Function -> [Text] Source # bare :: [Text] -> Function -> Function Source #
Slots Function Source #
Instance details Defined in Slots Methods slots :: Function -> [Slot] Source #
type Rep Function Source #
Instance details Defined in AST type Rep Function = D1 ('MetaData "Function" "AST" "phino-0.0.0-inplace" 'False) ((C1 ('MetaCons "Function" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "FnMeta" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))) :+: (C1 ('MetaCons "FnAny" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Slot)) :+: (C1 ('MetaCons "FnSymbol" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: C1 ('MetaCons "FnFresh" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Slot)))))