Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.EO.Phi.Rules.Common

Contents

Chain variants
Helpers

Synopsis

type EvaluationState = ()
type NamedRule = (String, Rule)
type Atoms = HashMap String (String -> Object -> EvaluationState -> DataizeChain (Object, EvaluationState))
data Context = Context {
- builtinRules :: Bool
- allRules :: [NamedRule]
- enabledAtoms :: Atoms
- knownAtoms :: Atoms
- outerFormations :: NonEmpty Object
- currentAttr :: Attribute
- insideFormation :: Bool
- insideAbstractFormation :: Bool
- dataizePackage :: Bool
- minimizeTerms :: Bool
- insideSubObject :: Bool
}
sameContext :: Context -> Context -> Bool
type Rule = Context -> Object -> [Object]
applyOneRuleAtRoot :: Context -> Object -> [(String, Object)]
extendContextWith :: Object -> Context -> Context
isEmptyBinding :: Binding -> Bool
withSubObject :: (Context -> Object -> [(String, Object)]) -> Context -> Object -> [(String, Object)]
propagateName1 :: (a -> b) -> (name, a) -> (name, b)
propagateName2 :: (a -> b -> c) -> (name, a) -> b -> (name, c)
withSubObjectBindings :: (Context -> Object -> [(String, Object)]) -> Context -> [Binding] -> [(String, [Binding])]
withSubObjectBinding :: (Context -> Object -> [(String, Object)]) -> Context -> Binding -> [(String, Binding)]
applyOneRule :: Context -> Object -> [(String, Object)]
isNF :: Context -> Object -> Bool
applyRules :: Context -> Object -> [Object]
data ApplicationLimits = ApplicationLimits {
- maxDepth :: Int
- maxTermSize :: Int
}
defaultApplicationLimits :: Int -> ApplicationLimits
objectSize :: Object -> Int
bindingSize :: Binding -> Int
applyRulesWith :: ApplicationLimits -> Context -> Object -> [Object]
equalProgram :: Program -> Program -> Bool
equalObject :: Object -> Object -> Bool
equalObjectNamed :: (String, Object) -> (String, Object) -> Bool
equalBindings :: [Binding] -> [Binding] -> Bool
equalBinding :: Binding -> Binding -> Bool
data LogEntry log = LogEntry {
- logEntryMessage :: String
- logEntryLog :: log
- logEntryLevel :: Int
}
newtype Chain log result = Chain {
- runChain :: Context -> [([LogEntry log], result)]
}
type NormalizeChain = Chain Object
type DataizeChain = Chain (Either Object Bytes)
logStep :: String -> info -> Chain info ()
incLogLevel :: Chain info a -> Chain info a
choose :: [a] -> Chain log a
msplit :: Chain log a -> Chain log (Maybe (a, Chain log a))
transformLogs :: (log1 -> log2) -> Chain log1 a -> Chain log2 a
transformNormLogs :: NormalizeChain a -> DataizeChain a
listen :: Chain log a -> Chain log (a, [LogEntry log])
minimizeObject' :: DataizeChain (Either Object Bytes) -> DataizeChain (Either Object Bytes)
minimizeObject :: DataizeChain (Either Object Bytes) -> DataizeChain (Either Object Bytes)
smallestObject :: [Either Object bytes] -> Object -> Object
getContext :: Chain a Context
withContext :: Context -> Chain log a -> Chain log a
modifyContext :: (Context -> Context) -> Chain log a -> Chain log a
applyRulesChain' :: Context -> Object -> [([LogEntry Object], Object)]
applyRulesChain :: Object -> NormalizeChain Object
applyRulesChainWith' :: ApplicationLimits -> Context -> Object -> [([LogEntry Object], Object)]
applyRulesChainWith :: ApplicationLimits -> Object -> NormalizeChain Object
lookupBinding :: Attribute -> [Binding] -> Maybe Object
objectBindings :: Object -> [Binding]
isRhoBinding :: Binding -> Bool
hideRhoInBinding :: Binding -> Binding
hideRho :: Object -> Object
hideRhoInBinding1 :: Binding -> Binding
hideRho1 :: Object -> Object

Documentation

>>> :set -XOverloadedStrings
>>> :set -XOverloadedLists
>>> import Language.EO.Phi.Syntax

type EvaluationState = () Source #

State of evaluation is not needed yet, but it might be in the future

type NamedRule = (String, Rule) Source #

type Atoms = HashMap String (String -> Object -> EvaluationState -> DataizeChain (Object, EvaluationState)) Source #

data Context Source #

Constructors

Context

Fields

builtinRules :: Bool
allRules :: [NamedRule]
enabledAtoms :: Atoms
knownAtoms :: Atoms
outerFormations :: NonEmpty Object
currentAttr :: Attribute
insideFormation :: Bool
Temporary hack for applying Ksi and Phi rules when dataizing
insideAbstractFormation :: Bool
dataizePackage :: Bool
Temporary flag to only dataize Package attributes for the top-level formation.
minimizeTerms :: Bool
insideSubObject :: Bool

sameContext :: Context -> Context -> Bool Source #

type Rule = Context -> Object -> [Object] Source #

A rule tries to apply a transformation to the root object, if possible.

applyOneRuleAtRoot :: Context -> Object -> [(String, Object)] Source #

extendContextWith :: Object -> Context -> Context Source #

isEmptyBinding :: Binding -> Bool Source #

withSubObject :: (Context -> Object -> [(String, Object)]) -> Context -> Object -> [(String, Object)] Source #

propagateName1 :: (a -> b) -> (name, a) -> (name, b) Source #

Given a unary function that operates only on plain objects, converts it to a function that operates on named objects

propagateName2 :: (a -> b -> c) -> (name, a) -> b -> (name, c) Source #

Given a binary function that operates only on plain objects, converts it to a function that operates on named objects

withSubObjectBindings :: (Context -> Object -> [(String, Object)]) -> Context -> [Binding] -> [(String, [Binding])] Source #

withSubObjectBinding :: (Context -> Object -> [(String, Object)]) -> Context -> Binding -> [(String, Binding)] Source #

applyOneRule :: Context -> Object -> [(String, Object)] Source #

isNF :: Context -> Object -> Bool Source #

applyRules :: Context -> Object -> [Object] Source #

Apply rules until we get a normal form.

data ApplicationLimits Source #

Constructors

ApplicationLimits
Fields maxDepth :: Int maxTermSize :: Int

defaultApplicationLimits :: Int -> ApplicationLimits Source #

objectSize :: Object -> Int Source #

bindingSize :: Binding -> Int Source #

applyRulesWith :: ApplicationLimits -> Context -> Object -> [Object] Source #

A variant of applyRules with a maximum application depth.

equalProgram :: Program -> Program -> Bool Source #

equalObject :: Object -> Object -> Bool Source #

equalObjectNamed :: (String, Object) -> (String, Object) -> Bool Source #

equalBindings :: [Binding] -> [Binding] -> Bool Source #

equalBinding :: Binding -> Binding -> Bool Source #

Chain variants

data LogEntry log Source #

Constructors

LogEntry
Fields logEntryMessage :: String logEntryLog :: log logEntryLevel :: Int

Instances

Instances details

Functor LogEntry Source #
Instance details Defined in Language.EO.Phi.Rules.Common Methods fmap :: (a -> b) -> LogEntry a -> LogEntry b # (<$) :: a -> LogEntry b -> LogEntry a #
Show log => Show (LogEntry log) Source #
Instance details Defined in Language.EO.Phi.Rules.Common Methods showsPrec :: Int -> LogEntry log -> ShowS # show :: LogEntry log -> String # showList :: [LogEntry log] -> ShowS #

newtype Chain log result Source #

Constructors

Chain
Fields runChain :: Context -> [([LogEntry log], result)]

Instances

Instances details

MonadFail (Chain a) Source #
Instance details Defined in Language.EO.Phi.Rules.Common Methods fail :: String -> Chain a a0 #
Applicative (Chain a) Source #
Instance details Defined in Language.EO.Phi.Rules.Common Methods pure :: a0 -> Chain a a0 # (<>) :: Chain a (a0 -> b) -> Chain a a0 -> Chain a b # liftA2 :: (a0 -> b -> c) -> Chain a a0 -> Chain a b -> Chain a c # (>) :: Chain a a0 -> Chain a b -> Chain a b # (<*) :: Chain a a0 -> Chain a b -> Chain a a0 #
Functor (Chain log) Source #
Instance details Defined in Language.EO.Phi.Rules.Common Methods fmap :: (a -> b) -> Chain log a -> Chain log b # (<$) :: a -> Chain log b -> Chain log a #
Monad (Chain a) Source #
Instance details Defined in Language.EO.Phi.Rules.Common Methods (>>=) :: Chain a a0 -> (a0 -> Chain a b) -> Chain a b # (>>) :: Chain a a0 -> Chain a b -> Chain a b # return :: a0 -> Chain a a0 #