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

Deps

Documentation

data Term Source #

Constructors

TeExpression Expression 
TeAttribute Attribute 
TeBytes Bytes 
TeBindings [Binding] 

type BuildTermMethod = [ExtraArgument] -> Subst -> IO Term Source #

data State Source #

Constructors

State 

Fields

type BuildTermMethodS = [ExtraArgument] -> Subst -> IO (Term, State) Source #

type BuildTermFunc = String -> BuildTermMethod Source #

type SaveStepFunc = Expression -> IO () Source #

saveStep :: Maybe FilePath -> String -> (Expression -> IO String) -> Int -> SaveStepFunc Source #

dontSaveStep :: SaveStepFunc Source #

type SaveMadeFunc = Expression -> Expression -> IO () Source #

dontSaveMade :: SaveMadeFunc Source #

data Judgment Source #

Constructors

Normalization 
Morphing 
Dataization 
Evaluation 
Contextualization 

Instances

Instances details
Show Judgment Source # 
Instance details

Defined in Deps

Methods

showsPrec :: Int -> Judgment -> ShowS #

show :: Judgment -> String #

showList :: [Judgment] -> ShowS #

Eq Judgment Source # 
Instance details

Defined in Deps

Methods

(==) :: Judgment -> Judgment -> Bool #

(/=) :: Judgment -> Judgment -> Bool #

letter :: Judgment -> String Source #

opened :: Judgment -> String Source #

data Acyclic Source #

Constructors

Proven 
Plausible 

Instances

Instances details
Bounded Acyclic Source # 
Instance details

Defined in Deps

Methods

minBound :: Acyclic #

maxBound :: Acyclic #

Enum Acyclic Source # 
Instance details

Defined in Deps

Methods

succ :: Acyclic -> Acyclic #

pred :: Acyclic -> Acyclic #

toEnum :: Int -> Acyclic #

fromEnum :: Acyclic -> Int #

enumFrom :: Acyclic -> [Acyclic] #

enumFromThen :: Acyclic -> Acyclic -> [Acyclic] #

enumFromTo :: Acyclic -> Acyclic -> [Acyclic] #

enumFromThenTo :: Acyclic -> Acyclic -> Acyclic -> [Acyclic] #

Show Acyclic Source # 
Instance details

Defined in Deps

Methods

showsPrec :: Int -> Acyclic -> ShowS #

show :: Acyclic -> String #

showList :: [Acyclic] -> ShowS #

Eq Acyclic Source # 
Instance details

Defined in Deps

Methods

(==) :: Acyclic -> Acyclic -> Bool #

(/=) :: Acyclic -> Acyclic -> Bool #

certainty :: Acyclic -> String Source #

refused :: Refusal -> String Source #

dotted :: [Attribute] -> String Source #

lodged :: [Attribute] -> Expression -> Maybe Binding Source #

data Evaluation Source #

Constructors

EvRun Judgment Text 
EvFiring Int Text Judgment Expression 
EvStarted Int Judgment Expression 
EvDelta Int Bytes 
EvManufactured Int Int 
EvBoxed Int Expression 
EvUndressed Int Expression 
EvLooped Int Judgment Acyclic Expression Expression (Maybe (Int, Expression)) 
EvStuck Int Text Judgment Expression 
EvStall Int Text 
EvStuckOn Int Text 
EvStarved Int Int Judgment Expression 
EvTimeout Int Int Judgment Expression 
EvSpent Int Int Judgment Expression 
EvData Int Text Expression (Either Int Bytes) 
EvTerm Int Text Judgment Expression Expression 
EvBound Int Expression Expression 
EvReshaped Int Text Text Expression Expression 
EvSymbolized Int Int Bytes 
EvCast Int Text Expression Expression Expression 
EvMinted Int Int [Either Int Bytes] 
EvDeferred Int Int Judgment Expression (Maybe Expression) Expression 
EvApplied Int Judgment Expression Expression Expression 
EvBuilt Int Expression 
EvAnswer Int Expression 
EvMorphed Int Expression 
EvJoined Int (Either Text Expression) Int (Int, Int) (Maybe Int) (Maybe Expression) 
EvDiverged Int (Expression, Expression) (Expression, Expression) [Attribute] Refusal 
EvUnripe Int (Expression, Expression) (Expression, Expression) Side Attribute 
EvFabricated Int (Expression, Expression) (Expression, Expression) Expression 
EvTaken Int Expression 
EvWorld Expression 
EvHeader Header Expression Expression 

data Header Source #

Constructors

Header String (Maybe String) ZonedTime [String] World (Maybe (FilePath, Int)) 

data World Source #

Constructors

World (Maybe FilePath) Int Int Int Int 

type SaveEvalFunc = Evaluation -> IO () Source #

resited :: Expression -> Expression -> Evaluation -> Evaluation Source #

ieee :: Bytes -> Maybe String Source #

tier :: Evaluation -> Int Source #

type Named a = Map Int [(Expression, a)] Source #

namedLookup :: Expression -> Named a -> Maybe a Source #

namedInsert :: forall a. Expression -> a -> Named a -> Named a Source #

namedFormation :: Expression -> a -> Named a -> Named a Source #

abbreviated :: Named Expression -> Expression -> Expression Source #

abbreviatedInside :: Named Expression -> Expression -> Expression Source #

data Protocol Source #

Constructors

Protocol 

Fields

emptyProtocol :: Protocol Source #

data Nesting Source #

Constructors

Nesting 

Fields

type Naming = StateT (Nesting, [String]) IO Source #

emptyNesting :: Nesting Source #

saveEval :: Handle -> IORef Protocol -> (Expression -> IO String) -> (Expression -> IO String) -> SaveEvalFunc Source #

endEval :: Handle -> IORef Protocol -> Double -> IO () Source #

milliseconds :: Double -> Double -> Int Source #

perSecond :: Int -> Int -> Int Source #

saveEvalXml :: Handle -> IORef Nesting -> (Expression -> IO String) -> SaveEvalFunc Source #

endEvalXml :: Handle -> IORef Nesting -> Double -> IO () Source #

commanded :: [String] -> String Source #

closed :: Int -> [(Int, String)] -> ([(Int, String)], [String]) Source #

indented :: Int -> String -> String Source #

indentedXml :: Int -> String -> String Source #

atomicModify :: IORef a -> (a -> IO (a, b)) -> IO b Source #

standing :: Int -> Expression Source #

answer :: Text Source #

sigil :: Text Source #

fragment :: Text Source #

found :: Either Int Bytes -> Maybe (Either Int Bytes, String) -> Maybe String Source #

alias :: Int -> Int -> Expression Source #

dontSaveEval :: SaveEvalFunc Source #

data Progress Source #

Constructors

Progress 

Fields

emptyProgress :: Double -> Progress Source #

progressed :: IORef Progress -> Double -> (Expression -> IO String) -> SaveEvalFunc -> SaveEvalFunc Source #