HAppS.Data.Normalize

The Normalize class provides a normalize function, which is intended to normalize values only at the top-level constructor, and a normalizeRecursively function, which is intended to normalize all the subvalues and then normalize the top-level constructor.

There is a default instance that matches all types, where normalize is id and normalizeRecursively applies normalizeRecursively to all of its children and then normalize to the result.

If you want to actually do some normalization for a certain type, then just define an instance for that type; this will take precedence over the default instance.

Methods

normalize :: a -> a

Source

normalizeRecursively :: a -> a

Source

Writing your own instances

defaultNormalize :: Normalize a => a -> a

Source

This is the normalize function in the default Normalize instance. It may be a useful building block when writing your own instances.

defaultNormalizeRecursively :: Normalize a => a -> a

Source

This is the normalizeRecursively function in the default Normalize instance. It may be a useful building block when writing your own instances.

Advanced usage

data NormalizeD a

Source

When writing your own generic functions for Normalize you may need to access the class methods through this datatype rather than directly.

Constructors

NormalizeD

normalizeD :: a -> a
normalizeRecursivelyD :: a -> a

Instances

Normalize t => Sat (NormalizeD t)

normalizeProxy :: Proxy NormalizeD

Source

When writing your own generic functions for Normalize you may need this, the proxy value.

Produced by Haddock version 2.4.2