oalg-base-1.1.4.0: Algebraic structures on oriented entities and limits as a tool kit to solve algebraic problems.
Copyright(c) Erich Gut
LicenseBSD3
Maintainerzerich.gut@gmail.com
Safe HaskellSafe-Inferred
LanguageHaskell2010

OAlg.Data.Singular

Description

parameterized types with at most on constructor.

Synopsis

Documentation

class Eq1 p => Singular p Source #

parameterized types with at most on constructor.

Definition A type function p is called singular if and only if for each type x there is at most one constructor for p x.

Instances

Instances details
Singular (Proxy :: Type -> Type) Source # 
Instance details

Defined in OAlg.Data.Singular

Singular (Struct s) Source # 
Instance details

Defined in OAlg.Structure.Definition

(<==>) :: Singular p => p x -> p x -> Bool Source #

equivalence of witnesses in p x.

Note p <==> q returns either True or an ImplementationError will be thrown.