noether-0.0.1: Math in Haskell.

Safe HaskellNone
LanguageHaskell2010

Noether.Equality.Tutorial

Documentation

testInt :: Bool Source #

testDouble :: (Bool, Bool) Source #

test1 :: Double -> Bool Source #

newtype Dbl Source #

Constructors

Dbl Double 

Instances

test2 :: Bool Source #

newtype Dbl' Source #

Constructors

Dbl' Double 

Instances

type Equality Dbl' Source # 
type Equality (Dbl, Dbl') Source # 

test3 :: Bool Source #

test4 :: (Bool, Bool) Source #

newtype Mod n Source #

Constructors

Mod Int 

Instances

type Equality (Mod n) Source # 

test5 :: Bool Source #