phino-0.0.0.19: Command-Line Manipulator of 𝜑-Calculus Expressions

Safe Haskell	Safe-Inferred
Language	Haskell2010

Ast

Documentation

newtype Program Source #

Constructors

Program Expression

Instances

Instances details

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

data Expression Source #

Constructors

ExFormation [Binding]
ExThis
ExGlobal
ExTermination
ExMeta String
ExApplication Expression Binding
ExDispatch Expression Attribute
ExMetaTail Expression String

Instances

Instances details

FromJSON Expression Source #

Instance details

Defined in Yaml

Methods

parseJSON :: Value -> Parser Expression #

parseJSONList :: Value -> Parser [Expression] #

omittedField :: Maybe Expression #

Generic Expression Source #

Instance details

Defined in Ast

Associated Types

type Rep Expression

Instance details

Defined in Ast

type Rep Expression = D1 ('MetaData "Expression" "Ast" "phino-0.0.0.19-5vwcxGi3nbd7CGknzsU6Lx" 'False) (((C1 ('MetaCons "ExFormation" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Binding])) :+: C1 ('MetaCons "ExThis" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ExGlobal" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ExTermination" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "ExMeta" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "ExApplication" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expression) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Binding))) :+: (C1 ('MetaCons "ExDispatch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expression) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Attribute)) :+: C1 ('MetaCons "ExMetaTail" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expression) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))))

Methods

from :: Expression -> Rep Expression x #

to :: Rep Expression x -> Expression #

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 #

type Rep Expression Source #

Instance details

Defined in Ast

type Rep Expression = D1 ('MetaData "Expression" "Ast" "phino-0.0.0.19-5vwcxGi3nbd7CGknzsU6Lx" 'False) (((C1 ('MetaCons "ExFormation" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Binding])) :+: C1 ('MetaCons "ExThis" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ExGlobal" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ExTermination" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "ExMeta" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "ExApplication" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expression) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Binding))) :+: (C1 ('MetaCons "ExDispatch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expression) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Attribute)) :+: C1 ('MetaCons "ExMetaTail" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expression) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))))

data Binding Source #

Constructors

BiTau Attribute Expression
BiMeta String
BiDelta Bytes
BiVoid Attribute
BiLambda String
BiMetaLambda String

Instances

Instances details

FromJSON Binding Source #

Instance details

Defined in Yaml

Methods

parseJSON :: Value -> Parser Binding #

parseJSONList :: Value -> Parser [Binding] #

omittedField :: Maybe Binding #

Generic Binding Source #

Instance details

Defined in Ast

Associated Types

type Rep Binding

Instance details

Defined in Ast

type Rep Binding = D1 ('MetaData "Binding" "Ast" "phino-0.0.0.19-5vwcxGi3nbd7CGknzsU6Lx" '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 "BiMeta" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "BiDelta" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bytes)))) :+: (C1 ('MetaCons "BiVoid" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Attribute)) :+: (C1 ('MetaCons "BiLambda" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "BiMetaLambda" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))))

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 #

type Rep Binding Source #

Instance details

Defined in Ast

type Rep Binding = D1 ('MetaData "Binding" "Ast" "phino-0.0.0.19-5vwcxGi3nbd7CGknzsU6Lx" '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 "BiMeta" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "BiDelta" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bytes)))) :+: (C1 ('MetaCons "BiVoid" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Attribute)) :+: (C1 ('MetaCons "BiLambda" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "BiMetaLambda" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))))

data Bytes Source #

Constructors

BtEmpty
BtOne String
BtMany [String]
BtMeta String

Instances

Instances details

FromJSON Bytes Source #

Instance details

Defined in Yaml

Methods

parseJSON :: Value -> Parser Bytes #

parseJSONList :: Value -> Parser [Bytes] #

omittedField :: Maybe Bytes #

Generic Bytes Source #

Instance details

Defined in Ast

Associated Types

Instance details

Defined in Ast

type Rep Bytes = D1 ('MetaData "Bytes" "Ast" "phino-0.0.0.19-5vwcxGi3nbd7CGknzsU6Lx" '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 String))))

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 #

Pretty Bytes Source #

Instance details

Defined in Pretty

Methods

pretty :: Bytes -> Doc ann #

prettyList :: [Bytes] -> Doc ann #

type Rep Bytes Source #

Instance details

Defined in Ast

type Rep Bytes = D1 ('MetaData "Bytes" "Ast" "phino-0.0.0.19-5vwcxGi3nbd7CGknzsU6Lx" '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 String))))

data Attribute Source #

Constructors

AtLabel String
AtAlpha Integer
AtPhi
AtRho
AtLambda
AtDelta
AtMeta String

Instances

Instances details

FromJSON Attribute Source #

Instance details

Defined in Yaml

Methods

parseJSON :: Value -> Parser Attribute #

parseJSONList :: Value -> Parser [Attribute] #

omittedField :: Maybe Attribute #

Generic Attribute Source #

Instance details

Defined in Ast

Associated Types

type Rep Attribute

Instance details

Defined in Ast

type Rep Attribute = D1 ('MetaData "Attribute" "Ast" "phino-0.0.0.19-5vwcxGi3nbd7CGknzsU6Lx" 'False) ((C1 ('MetaCons "AtLabel" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: (C1 ('MetaCons "AtAlpha" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)) :+: 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 String)))))

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 #

Pretty Attribute Source #

Instance details

Defined in Pretty

Methods

pretty :: Attribute -> Doc ann #

prettyList :: [Attribute] -> Doc ann #

type Rep Attribute Source #

Instance details

Defined in Ast

type Rep Attribute = D1 ('MetaData "Attribute" "Ast" "phino-0.0.0.19-5vwcxGi3nbd7CGknzsU6Lx" 'False) ((C1 ('MetaCons "AtLabel" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: (C1 ('MetaCons "AtAlpha" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)) :+: 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 String)))))

countNodes :: Program -> Integer Source #