-- minimal set of definitions for safer use by a server
module MagicHaskeller.Minimal(f1E, f1EF, ProgGenSF) where
import MagicHaskeller.LibTH
import MagicHaskeller.ProgGenSF
import Data.Typeable

deadline = Just 20000

f1E :: Typeable a => (a -> Bool) -> ProgGenSF -> [[Exp]]
f1E  pred = map (map (postprocess . fst)) . map (fp deadline pred) . everything
f1EF :: (Filtrable a, Typeable a) => (a -> Bool) -> ProgGenSF -> [[Exp]]
f1EF pred = map (map (postprocess . fst)) . everyF deadline . map (fp deadline pred) . everything