ToySolver.Data.Delta

The Delta type

data Delta r

Construction

fromReal

delta

Query

realPart

deltaPart

Relationship with integers

floor'

ceiling'

isInteger'