Graphics.EasyRender.Auxiliary

This module provides miscellaneous general-purpose auxiliary functions used by the Graphics.EasyRender package.

Arithmetic operations

int_ceiling :: RealFrac a => a -> Integer

A version of the ceiling function that returns an Integer.

The Curry type class

class Curry fun args res | args res -> fun where

The Curry type class is used to implement functions that have a variable number of arguments. It provides a family of type isomorphisms

fun  ≅  args -> res,

where

fun = a1 -> a2 -> ... -> an -> res,
args = (a1, (a2, (..., (an, ())))).

Minimal complete definition

mcurry, muncurry

Methods

mcurry :: (args -> res) -> fun

Multiple curry: map a function (a₁, (a₂, (…, ())) → b to its curried form a₁ → a₂ → … → b.

muncurry :: fun -> args -> res

Multiple uncurry: map a function a₁ → a₂ → … → b to its uncurried form (a₁, (a₂, (…, ())) → b.

Instances

Curry b () b

Methods

mcurry :: (() -> b) -> b

muncurry :: b -> () -> b

Curry fun args res => Curry (a -> fun) (a, args) res

Methods

mcurry :: ((a, args) -> res) -> a -> fun

muncurry :: (a -> fun) -> (a, args) -> res