singletons-2.0.1: A framework for generating singleton types

Copyright(C) 2014 Jan Stolarek
LicenseBSD-style (see LICENSE)
MaintainerJan Stolarek (jan.stolarek@p.lodz.pl)
Stabilityexperimental
Portabilitynon-portable
Safe HaskellNone
LanguageHaskell2010

Data.Promotion.Prelude.Eq

Description

Provided promoted definitions related to type-level equality.

Synopsis

Documentation

class (kproxy ~ KProxy) => PEq kproxy Source

The promoted analogue of Eq. If you supply no definition for '(:==)', then it defaults to a use of '(==)', from Data.Type.Equality.

Associated Types

type x :== y :: Bool infix 4 Source

type x :/= y :: Bool infix 4 Source

Instances

PEq Bool (KProxy Bool) Source 
PEq Ordering (KProxy Ordering) Source 
PEq () (KProxy ()) Source 
PEq [k] (KProxy [k]) Source 
PEq (Maybe k) (KProxy (Maybe k)) Source 
PEq (Either k k) (KProxy (Either k k)) Source 
PEq ((,) k k) (KProxy ((,) k k)) Source 
PEq ((,,) k k k) (KProxy ((,,) k k k)) Source 
PEq ((,,,) k k k k) (KProxy ((,,,) k k k k)) Source 
PEq ((,,,,) k k k k k) (KProxy ((,,,,) k k k k k)) Source 
PEq ((,,,,,) k k k k k k) (KProxy ((,,,,,) k k k k k k)) Source 
PEq ((,,,,,,) k k k k k k k) (KProxy ((,,,,,,) k k k k k k k)) Source 

data (:==$) l Source

Instances

SuppressUnusedWarnings (TyFun k (TyFun k Bool -> *) -> *) ((:==$) k) Source 
type Apply (TyFun k Bool -> *) k ((:==$) k) l0 = (:==$$) k l0 Source 

data l :==$$ l Source

Instances

SuppressUnusedWarnings (k -> TyFun k Bool -> *) ((:==$$) k) Source 
type Apply Bool k ((:==$$) k l1) l0 = (:==$$$) k l1 l0 Source 

type (:==$$$) t t = (:==) t t Source

data (:/=$) l Source

Instances

SuppressUnusedWarnings (TyFun k (TyFun k Bool -> *) -> *) ((:/=$) k) Source 
type Apply (TyFun k Bool -> *) k ((:/=$) k) l0 = (:/=$$) k l0 Source 

data l :/=$$ l Source

Instances

SuppressUnusedWarnings (k -> TyFun k Bool -> *) ((:/=$$) k) Source 
type Apply Bool k ((:/=$$) k l1) l0 = (:/=$$$) k l1 l0 Source 

type (:/=$$$) t t = (:/=) t t Source