Maintainer	hapytexeu+gh@gmail.com
Stability	experimental
Portability	POSIX
Safe Haskell	Safe
Language	Haskell2010

Dep.Class.Simplify

Contents

A typeclass to specify that values of the type can be simplified.

Description

The Simplify typeclass exports a function simplify that is used to simplify a value. That function should be idempotent: multiple simplify calls should not have a different result than a single simplify call.

Synopsis

class Simplify a where
- simplify :: a -> a

A typeclass to specify that values of the type can be simplified.

class Simplify a where Source #

A typeclass that specifies that the the values of the given type sometimes can be simplfied. The simplify operation is idempotent: calling it multiple times has the same effect as calling it once.

Methods

simplify Source #

Arguments

:: a	The given object to simplify.
-> a	The correspoding simplified relevant.

A function to simplify the given object to a potentially simplier object. This function should be idempotent: calling simplify multiple times has the same effect as calling simplify once.

Instances

Instances details

Eq a => Simplify (Three a) Source #
Instance details Defined in Dep.Data.Three Methods simplify :: Three a -> Three a Source #