MagicHaskeller-0.8.6.2: Automatic inductive functional programmer by systematic search Contents Index

MagicHaskeller.LibTH

Synopsis

init075 :: IO () inittv1 :: IO () initialize :: IO () mlist :: ProgramGenerator pg => pg mlist' :: ProgramGenerator pg => pg mnat :: ProgramGenerator pg => pg mlistnat :: ProgramGenerator pg => pg mnat_nc :: ProgramGenerator pg => pg mall :: ProgramGenerator pg => pg hd :: [a] -> Maybe a nat :: [Primitive] natural :: [Primitive] list' :: [Primitive] list :: [Primitive] bool :: [Primitive] boolean :: [Primitive] eq :: [Primitive] intinst :: [Primitive] list1 :: [Primitive] list2 :: [Primitive] list3 :: [Primitive] nats :: [Primitive] tuple :: [Primitive] rich :: [Primitive] rich' :: [Primitive] debug :: [Primitive] mb :: [Primitive] nat_para :: Integral i => i -> a -> (i -> a -> a) -> a list_para :: [b] -> a -> (b -> [b] -> a -> a) -> a iF :: Bool -> a -> a -> a postprocess :: Exp -> ExpQ exploit :: (Typeable a, Filtrable a) => (a -> Bool) -> IO () reallyall :: ProgramGenerator pg => pg poormix :: ProgramGenerator pg => pg mix :: ProgramGenerator pg => pg ra :: ProgramGenerator pg => pg mx :: ProgramGenerator pg => pg module MagicHaskeller

Documentation

init075 :: IO ()

inittv1 :: IO ()

initialize :: IO ()

mlist :: ProgramGenerator pg => pg

mlist' :: ProgramGenerator pg => pg

mnat :: ProgramGenerator pg => pg

mlistnat :: ProgramGenerator pg => pg

mnat_nc :: ProgramGenerator pg => pg

mall :: ProgramGenerator pg => pg

hd :: [a] -> Maybe a

nat :: [Primitive]

natural :: [Primitive]

list' :: [Primitive]

list :: [Primitive]

bool :: [Primitive]

boolean :: [Primitive]

eq :: [Primitive]

intinst :: [Primitive]

list1 :: [Primitive]

list2 :: [Primitive]

list3 :: [Primitive]

nats :: [Primitive]

tuple :: [Primitive]

rich :: [Primitive]

rich' :: [Primitive]

debug :: [Primitive]

mb :: [Primitive]

nat_para :: Integral i => i -> a -> (i -> a -> a) -> a

list_para :: [b] -> a -> (b -> [b] -> a -> a) -> a

iF :: Bool -> a -> a -> a

postprocess :: Exp -> ExpQ

postprocess replaces uncommon functions like paramorphisms with well-known functions. In future it can do some refactoring.

exploit :: (Typeable a, Filtrable a) => (a -> Bool) -> IO ()

reallyall :: ProgramGenerator pg => pg

poormix :: ProgramGenerator pg => pg

mix :: ProgramGenerator pg => pg

ra :: ProgramGenerator pg => pg

mx :: ProgramGenerator pg => pg

module MagicHaskeller

Produced by Haddock version 2.7.2