ecta-plugin-0.1.1.3: Hole-Fit Synthesis using ECTAs
Safe HaskellNone
LanguageHaskell2010

ECTA.Plugin.Utils

Synopsis

Documentation

typeToSkeleton :: Type -> Maybe (TypeSkeleton, [Type]) Source #

Extremely crude at the moment!! Returns the typeSkeleton and any constructors (for instance lookup)

tk :: Comps -> Node -> Bool -> Int -> [Node] Source #

tkUpToK :: Comps -> Node -> Bool -> Int -> [Node] Source #

rtk :: [Argument] -> Comps -> Node -> Bool -> Int -> [Node] Source #

rtkUpToK :: [Argument] -> Comps -> Node -> Bool -> Int -> [Node] Source #

chunks :: Int -> [a] -> [[a]] Source #

invertMap :: Ord b => Map a b -> Map b [a] Source #

isSafe :: TypeSkeleton -> Bool Source #

isSafe checks if we can use the type. Sadly ecta doesn't support all types as of yet, so we fall back to the regulur valid hole-fits.