phino-0.0.0: Command-Line Manipulator of 𝜑-Calculus Expressions
Safe HaskellSafe-Inferred
LanguageHaskell2010

Lambdas

Documentation

data Ending Source #

Constructors

Answering Expression 
Joining (Either Meta Expression) Expression Expression (Maybe Function) 

data Lambda Source #

Constructors

Lambda 

Fields

Instances

Instances details
FromJSON Lambda Source # 
Instance details

Defined in Lambdas

Methods

parseJSON :: Value -> Parser Lambda Source #

parseJSONList :: Value -> Parser [Lambda] Source #

omittedField :: Maybe Lambda Source #

data LambdaException Source #

Constructors

BrokenLambdas FilePath String 

Instances

Instances details
Exception LambdaException Source # 
Instance details

Defined in Lambdas

Methods

toException :: LambdaException -> SomeException #

fromException :: SomeException -> Maybe LambdaException #

displayException :: LambdaException -> String #

Show LambdaException Source # 
Instance details

Defined in Lambdas

Methods

showsPrec :: Int -> LambdaException -> ShowS #

show :: LambdaException -> String #

showList :: [LambdaException] -> ShowS #

data Lambdas Source #

data Line Source #

Constructors

Dataized Meta Meta 
Morphed Meta Meta 
Undressed Meta Meta 
Evaluated Meta Meta 
Deferred Meta Meta 
Stayed Meta Meta 
Rewritten Meta Meta [Rule] 
Symbolized Meta Meta 
Cast Meta Meta Meta Meta 

data Meta Source #

Constructors

Meta 

Fields

cast :: Expression -> Expression -> Maybe Expression Source #

emptyLambdas :: Lambdas Source #

matched :: Lambdas -> Text -> Maybe Lambda Source #

minted :: Expression -> Int -> ([(Slot, Function)], Int) Source #

readLambdas :: FilePath -> IO Lambdas Source #

rewritten :: RuleContext -> [Rule] -> Expression -> IO Expression Source #

sized :: Lambdas -> Int Source #

stayed :: Expression -> Expression Source #

symbolized :: Expression -> Int -> (Expression, [(Int, Bytes)], Int) Source #

taken :: Expression -> Int Source #

thrown :: [Text] -> Expression -> Bool Source #