Safe Haskell	Safe-Inferred
Language	Haskell2010

Telomare.Resolver

Contents

Orphan instances

Synopsis

debug :: Bool
debugTrace :: String -> a -> a
type VarList = [String]
i2t :: LocTag -> Int -> Cofree (ParserTermF l v) LocTag
ints2t :: LocTag -> [Int] -> Cofree (ParserTermF l v) LocTag
s2t :: LocTag -> String -> Cofree (ParserTermF l v) LocTag
findInts :: LocTag -> Pattern -> [AnnotatedUPT -> AnnotatedUPT]
findStrings :: LocTag -> Pattern -> [AnnotatedUPT -> AnnotatedUPT]
fitPatternVarsToCasedUPT :: Pattern -> AnnotatedUPT -> AnnotatedUPT
varsUPT :: UnprocessedParsedTerm -> Set String
mkLambda4FreeVarUPs :: AnnotatedUPT -> AnnotatedUPT
findPatternVars :: LocTag -> Pattern -> Map String (AnnotatedUPT -> AnnotatedUPT)
pairStructureCheck :: Pattern -> UnprocessedParsedTerm -> UnprocessedParsedTerm
pairRoute2Dirs :: Pattern -> [UnprocessedParsedTerm -> UnprocessedParsedTerm]
pattern2UPT :: LocTag -> Pattern -> AnnotatedUPT
mkCaseAlternative :: AnnotatedUPT -> AnnotatedUPT -> Pattern -> AnnotatedUPT
case2annidatedIfs :: AnnotatedUPT -> [Pattern] -> [AnnotatedUPT] -> [AnnotatedUPT] -> [AnnotatedUPT] -> [AnnotatedUPT] -> [AnnotatedUPT] -> AnnotatedUPT
removeCaseUPs :: AnnotatedUPT -> AnnotatedUPT
debruijinize :: MonadFail m => VarList -> Term1 -> m Term2
rewriteOuterTag :: anno -> Cofree a anno -> Cofree a anno
splitExpr' :: Term2 -> BreakState' RecursionPieceFrag UnsizedRecursionToken
newtype FragExprUR' = FragExprUR' {
- unFragExprUR' :: FragExpr (RecursionSimulationPieces FragExprUR')
}
newtype Term3' = Term3' (Map FragIndex FragExprUR')
splitExpr :: Term2 -> Term3
makeLambda :: [(String, AnnotatedUPT)] -> String -> Term1 -> Term1
validateVariables :: [(String, AnnotatedUPT)] -> AnnotatedUPT -> Either String Term1
varsTerm1 :: Term1 -> Set String
optimizeBuiltinFunctions :: AnnotatedUPT -> AnnotatedUPT
generateAllHashes :: Term2 -> Term2
addBuiltins :: AnnotatedUPT -> AnnotatedUPT
process :: [(String, AnnotatedUPT)] -> AnnotatedUPT -> Either String Term3
process2Term2 :: [(String, AnnotatedUPT)] -> AnnotatedUPT -> Either String Term2
runTelomareParser2Term2 :: TelomareParser AnnotatedUPT -> [(String, AnnotatedUPT)] -> String -> Either String Term2
parseMain :: [(String, AnnotatedUPT)] -> String -> Either String Term3

Documentation

debug :: Bool Source #

debugTrace :: String -> a -> a Source #

type VarList = [String] Source #

i2t :: LocTag -> Int -> Cofree (ParserTermF l v) LocTag Source #

Int to ParserTerm

ints2t :: LocTag -> [Int] -> Cofree (ParserTermF l v) LocTag Source #

List of Int's to ParserTerm

s2t :: LocTag -> String -> Cofree (ParserTermF l v) LocTag Source #

String to ParserTerm

findInts :: LocTag -> Pattern -> [AnnotatedUPT -> AnnotatedUPT] Source #

Finds all PatternInt leaves returning "directions" to these leaves through pairs in the form of a combination of RightUP and LeftUP from the root e.g. PatternPair (PatternVar "x") (PatternPair (PatternInt 0) (PatternVar "y")) will return [LeftUP . RightUP]

findStrings :: LocTag -> Pattern -> [AnnotatedUPT -> AnnotatedUPT] Source #

Finds all PatternString leaves returning "directions" to these leaves through pairs in the form of a combination of RightUP and LeftUP from the root e.g. PatternPair (PatternVar "x") (PatternPair (PatternString "Hello, world!") (PatternVar "y")) will return [LeftUP . RightUP]

fitPatternVarsToCasedUPT :: Pattern -> AnnotatedUPT -> AnnotatedUPT Source #

varsUPT :: UnprocessedParsedTerm -> Set String Source #

Collect all free variable names in a AnnotatedUPT expresion

mkLambda4FreeVarUPs :: AnnotatedUPT -> AnnotatedUPT Source #

findPatternVars :: LocTag -> Pattern -> Map String (AnnotatedUPT -> AnnotatedUPT) Source #

pairStructureCheck :: Pattern -> UnprocessedParsedTerm -> UnprocessedParsedTerm Source #

pairRoute2Dirs :: Pattern -> [UnprocessedParsedTerm -> UnprocessedParsedTerm] Source #

pattern2UPT :: LocTag -> Pattern -> AnnotatedUPT Source #

mkCaseAlternative Source #

Arguments

:: AnnotatedUPT	UPT to be cased
-> AnnotatedUPT	Case result to be made lambda and applied
-> Pattern	Pattern
-> AnnotatedUPT	case result as a lambda applied to the appropirate part of the UPT to be cased

case2annidatedIfs Source #

Arguments

:: AnnotatedUPT	Term to be pattern matched
-> [Pattern]	All patterns in a case expression
-> [AnnotatedUPT]	Int leaves as ListUPs on UPT
-> [AnnotatedUPT]	Int leaves as ListUPs on pattern
-> [AnnotatedUPT]	String leaves as ListUPs on UPT
-> [AnnotatedUPT]	String leaves as ListUPs on pattern
-> [AnnotatedUPT]	Case's alternatives
-> AnnotatedUPT

removeCaseUPs :: AnnotatedUPT -> AnnotatedUPT Source #

debruijinize :: MonadFail m => VarList -> Term1 -> m Term2 Source #

rewriteOuterTag :: anno -> Cofree a anno -> Cofree a anno Source #

splitExpr' :: Term2 -> BreakState' RecursionPieceFrag UnsizedRecursionToken Source #

newtype FragExprUR' Source #

Constructors

FragExprUR'
Fields unFragExprUR' :: FragExpr (RecursionSimulationPieces FragExprUR')

Instances

Instances details

Show FragExprUR' Source #
Instance details Defined in Telomare.Resolver Methods showsPrec :: Int -> FragExprUR' -> ShowS Source # show :: FragExprUR' -> String Source # showList :: [FragExprUR'] -> ShowS Source #
Eq FragExprUR' Source #
Instance details Defined in Telomare.Resolver Methods (==) :: FragExprUR' -> FragExprUR' -> Bool Source # (/=) :: FragExprUR' -> FragExprUR' -> Bool Source #

newtype Term3' Source #

Constructors

Term3' (Map FragIndex FragExprUR')

Instances

Instances details

Show Term3' Source #
Instance details Defined in Telomare.Resolver Methods showsPrec :: Int -> Term3' -> ShowS Source # show :: Term3' -> String Source # showList :: [Term3'] -> ShowS Source #
Eq Term3' Source #
Instance details Defined in Telomare.Resolver Methods (==) :: Term3' -> Term3' -> Bool Source # (/=) :: Term3' -> Term3' -> Bool Source #

splitExpr :: Term2 -> Term3 Source #

makeLambda Source #

Arguments

:: [(String, AnnotatedUPT)]	Bindings
-> String	Variable name
-> Term1	Lambda body
-> Term1

`makeLambda ps vl t1` makes a TLam around t1 with vl as arguments. Automatic recognition of Close or Open type of TLam.

validateVariables Source #

Arguments

:: [(String, AnnotatedUPT)]	Prelude
-> AnnotatedUPT
-> Either String Term1

Transformation from AnnotatedUPT to Term1 validating and inlining VarUPs

varsTerm1 :: Term1 -> Set String Source #

Collect all free variable names in a Term1 expresion

optimizeBuiltinFunctions :: AnnotatedUPT -> AnnotatedUPT Source #

generateAllHashes :: Term2 -> Term2 Source #

Process an Term2 to have all HashUP replaced by a unique number. The unique number is constructed by doing a SHA1 hash of the Term2 and adding one for all consecutive HashUP's.

addBuiltins :: AnnotatedUPT -> AnnotatedUPT Source #

process Source #

Arguments

:: [(String, AnnotatedUPT)]	Prelude
-> AnnotatedUPT
-> Either String Term3

Process an AnnotatedUPT to a Term3 with failing capability.

process2Term2 Source #

Arguments

:: [(String, AnnotatedUPT)]	Prelude
-> AnnotatedUPT
-> Either String Term2

runTelomareParser2Term2 Source #

Arguments

:: TelomareParser AnnotatedUPT	Parser to run
-> [(String, AnnotatedUPT)]	Prelude
-> String	Raw string to be parsed
-> Either String Term2	Error on Left

Helper function to compile to Term2

parseMain Source #

Arguments

:: [(String, AnnotatedUPT)]	Prelude: [(VariableName, BindedUPT)]
-> String	Raw string to be parserd.
-> Either String Term3	Error on Left.

Orphan instances

MonadFail (Either String) Source #	Int to Church encoding
Instance details Methods fail :: String -> Either String a Source #