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

Safe Haskell	Safe-Inferred
Language	Haskell2010

Matcher

Documentation

data MetaValue Source #

Constructors

MvAttribute Attribute
MvIndex Int
MvBytes Bytes
MvBindings [Binding]
MvFunction Function
MvExpression Expression

Instances

Instances details

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

data Meta Source #

Constructors

Named Text
Anon Slot

Instances

Instances details

Show Meta Source #
Instance details Defined in Matcher Methods showsPrec :: Int -> Meta -> ShowS # show :: Meta -> String # showList :: [Meta] -> ShowS #
Eq Meta Source #
Instance details Defined in Matcher Methods (==) :: Meta -> Meta -> Bool # (/=) :: Meta -> Meta -> Bool #
Ord Meta Source #
Instance details Defined in Matcher Methods compare :: Meta -> Meta -> Ordering # (<) :: Meta -> Meta -> Bool # (<=) :: Meta -> Meta -> Bool # (>) :: Meta -> Meta -> Bool # (>=) :: Meta -> Meta -> Bool # max :: Meta -> Meta -> Meta # min :: Meta -> Meta -> Meta #

newtype Subst Source #

Constructors

Subst (Map Meta MetaValue)

Instances

Instances details

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

type MatchExpressionFunc = Expression -> Expression -> [Subst] Source #

substEmpty :: Subst Source #

substSingle :: Text -> MetaValue -> Subst Source #

substSlot :: Slot -> MetaValue -> Subst Source #

combine :: Subst -> Subst -> Maybe Subst Source #

combineMany :: [Subst] -> [Subst] -> [Subst] Source #

matchAttribute :: Attribute -> Attribute -> [Subst] Source #

matchAlpha :: Alpha -> Alpha -> [Subst] Source #

matchFunction :: Function -> Function -> [Subst] Source #

named :: Function -> Bool Source #

matchBinding :: Binding -> Binding -> [Subst] Source #

matchArgument :: Argument -> Argument -> [Subst] Source #

matchBindings :: [Binding] -> [Binding] -> [Subst] Source #

matchBindingsMeta :: (MetaValue -> Subst) -> [Binding] -> [Binding] -> [Subst] Source #

matchExpression' :: MatchExpressionFunc Source #

pinned :: Attribute -> Attribute -> Expression -> Expression Source #

matchExpressionDeep :: MatchExpressionFunc Source #

matchExpressionDeep' :: Bool -> MatchExpressionFunc Source #

matchExpression :: MatchExpressionFunc Source #

reachable :: Expression -> Expression -> Bool Source #

reachable' :: Bool -> Expression -> Expression -> Bool Source #

fitting :: Expression -> Expression -> Bool Source #

sites :: forall a. Bool -> (Expression -> [a]) -> Expression -> [(Expression, a)] Source #

hits :: forall a. [(Int, Bool, Maybe Expression -> Expression -> [a])] -> Maybe Expression -> Expression -> [Int] Source #

splits :: [Binding] -> [([Binding], [Binding])] Source #