E.Eta

Documentation

data ArityType

Constructors

ABottom

ATop

Instances

Eq ArityType

Ord ArityType

Show ArityType

Typeable ArityType

etaExpandAp :: (NameMonad Id m, MonadStats m) => DataTable -> TVr -> [E] -> m (Maybe E)

eta expand a use of a value

annotateArity :: E -> Info -> Info

deleteArity :: Info -> Info

etaExpandDef

Arguments

:: (NameMonad Id m, MonadStats m)

=> DataTable

-> Int

eta expand at least this far, independent of calculated amount

-> TVr

-> E

-> m (Maybe (TVr, E))

eta expand a definition

etaExpandDef' :: (NameMonad Id m, MonadStats m) => DataTable -> Int -> TVr -> E -> m (TVr' E, E)

only reduce if all lambdas can be discarded. otherwise leave them in place

etaExpandProgram :: MonadStats m => Program -> m Program

getArityInfo :: Num t => TVr' e -> (ArityType, t)

etaAnnotateProgram :: Program -> Program

etaReduce :: E -> E

eta reduce as much as possible