Application.TermSearch.TermSearch

Documentation

tau :: Node

allConstructors :: [(Text, Int)]

generalize :: Node -> Node

app :: Node -> Node -> Node

applyOperator :: Node

hoogleComps :: [Edge]

anyFunc :: Node

filterType :: Node -> Node -> Node

termsK :: Node -> Bool -> Int -> [Node]

relevantTermK :: Node -> Bool -> Int -> [Argument] -> [Node]

relevantTermsOfSize :: Node -> [Argument] -> Int -> Node

relevantTermsUptoK :: Node -> [Argument] -> Int -> Node

prettyTerm :: Term -> Term

dropTypes :: Node -> Node

getText :: Symbol -> Text

fromJustFunc :: Node

maybeFunctions :: [Symbol]

listReps :: [Text]

isListFunction :: Symbol -> Bool

maybeReps :: [Text]

isMaybeFunction :: Symbol -> Bool

anyListFunc :: Node

anyNonListFunc :: Node

anyNonNilFunc :: Node

anyNonNothingFunc :: Node

reduceFully :: Node -> Node

checkSolution :: Term -> [Term] -> IO ()

reduceFullyAndLog :: Node -> IO Node

f1 :: Edge

f2 :: Edge

f3 :: Edge

f4 :: Edge

f5 :: Edge

f6 :: Edge

f7 :: Edge

f8 :: Edge

f9 :: Edge

f10 :: Edge

f11 :: Edge

f12 :: Edge

f13 :: Edge

f14 :: Edge

f15 :: Edge

f16 :: Edge

f17 :: Edge

f18 :: Edge

f19 :: Edge

f20 :: Edge

f21 :: Edge

f22 :: Edge

f23 :: Edge

f24 :: Edge

f25 :: Edge

f26 :: Edge

f27 :: Edge

f28 :: Edge

f29 :: Edge

f30 :: Edge

toMappedName :: Text -> Text

prettyPrintAllTerms :: AblationType -> Term -> Node -> IO ()

substTerm :: Term -> Term

parseHoogleComponent :: Text -> TypeSkeleton -> Edge