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

Hydra.Dsl.Lib.Math

Documentation

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

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

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

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

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

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

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