hydra-0.1.0: Type-aware transformations for data and functional programs
Safe HaskellSafe-Inferred
LanguageHaskell2010

Hydra.Impl.Haskell.Dsl.Lib.Math

Documentation

add :: Datum (Int -> Int -> Int) Source #

div :: Datum (Int -> Int -> Int) Source #

mod :: Datum (Int -> Int -> Int) Source #

mul :: Datum (Int -> Int -> Int) Source #

neg :: Datum (Int -> Int) Source #

rem :: Datum (Int -> Int -> Int) Source #

sub :: Datum (Int -> Int -> Int) Source #