Module

Type.Quotient

Package: purescript-quotient
Repository: rightfold/purescript-quotient

Approximation of quotient types.

#Canonical Source

class Canonical a e | e -> a where

Equivalence relation disguised as a canonicalization function.

Members

canonical :: Proxy e -> a -> a

Instances

#Quotient Source

newtype Quotient a e

Quotient type with equivalence relation e. The runtime representation is identical to that of a.

Instances

(Eq a, Canonical a e) => Eq (Quotient a e)
(Ord a, Canonical a e) => Ord (Quotient a e)
(Show a, Canonical a e) => Show (Quotient a e)
(Arbitrary a, Canonical a e) => Arbitrary (Quotient a e)
(Coarbitrary a, Canonical a e) => Coarbitrary (Quotient a e)

#type (/) Source

Operator alias for Type.Quotient.Quotient (left-associative / precedence 9)

#mkQuotient Source

mkQuotient :: forall e a. a -> a / e

Pair a value with an equivalence relation.

#runQuotient Source

runQuotient :: forall e a. Canonical a e => a / e -> a

Canonicalize a value using an equivalence relation such that the caller cannot observe distinct wrappees.

#Id Source

data Id :: Type

T / Id ~ T.

Instances

Canonical a Id

#Abs Source

data Abs :: Type

Negative values are equivalent to their positive counterparts.

Instances

(Ord a, Ring a) => Canonical a Abs

#Mod2 Source

data Mod2 :: Type

Non-negative integers modulo 2.

Instances

Canonical Int Mod2

#Mod4 Source

data Mod4 :: Type

Non-negative integers modulo 4.

Instances

Canonical Int Mod4

#Mod8 Source

data Mod8 :: Type

Non-negative integers modulo 8.

Instances

Canonical Int Mod8

#Mod16 Source

data Mod16 :: Type

Non-negative integers modulo 16.

Instances

Canonical Int Mod16

#Mod32 Source

data Mod32 :: Type

Non-negative integers modulo 32.

Instances

Canonical Int Mod32

#Mod64 Source

data Mod64 :: Type

Non-negative integers modulo 64.

Instances

Canonical Int Mod64

#Mod128 Source

data Mod128 :: Type

Non-negative integers modulo 128.

Instances

Canonical Int Mod128

#Mod256 Source

data Mod256 :: Type

Non-negative integers modulo 256.

Instances

Canonical Int Mod256

#Mod512 Source

data Mod512 :: Type

Non-negative integers modulo 512.

Instances

Canonical Int Mod512

#Mod1024 Source

data Mod1024 :: Type

Non-negative integers modulo 1024.

Instances

Canonical Int Mod1024

Modules: Type.Quotient