OAlg.Data.Equal

equality on values.

Eq

reexported from standard Haskell

class Eq a where

The Eq class defines equality (==) and inequality (/=). All the basic datatypes exported by the Prelude are instances of Eq, and Eq may be derived for any datatype whose constituents are also instances of Eq.

The Haskell Report defines no laws for Eq. However, instances are encouraged to follow these properties:

Reflexivity

x == x = True

Symmetry

x == y = y == x

Transitivity

if x == y && y == z = True, then x == z = True

Extensionality

if x == y = True and f is a function whose return type is an instance of Eq, then f x == f y = True

Negation

x /= y = not (x == y)

Minimal complete definition: either == or /=.

Minimal complete definition

(==) | (/=)

Methods

(==) :: a -> a -> Bool infix 4

(/=) :: a -> a -> Bool infix 4

Instances

Eq All

Since: base-2.1

Defined in Data.Semigroup.Internal

Methods

(==) :: All -> All -> Bool

(/=) :: All -> All -> Bool

Eq Any

Since: base-2.1

Defined in Data.Semigroup.Internal

Methods

(==) :: Any -> Any -> Bool

(/=) :: Any -> Any -> Bool

Eq SomeTypeRep

Defined in Data.Typeable.Internal

Methods

(==) :: SomeTypeRep -> SomeTypeRep -> Bool

(/=) :: SomeTypeRep -> SomeTypeRep -> Bool

Eq Unique

Defined in Data.Unique

Methods

(==) :: Unique -> Unique -> Bool

(/=) :: Unique -> Unique -> Bool

Eq Version

Since: base-2.1

Defined in Data.Version

Methods

(==) :: Version -> Version -> Bool

(/=) :: Version -> Version -> Bool

Eq Void

Since: base-4.8.0.0

Defined in Data.Void

Methods

(==) :: Void -> Void -> Bool

(/=) :: Void -> Void -> Bool

Eq CBool

Defined in Foreign.C.Types

Methods

(==) :: CBool -> CBool -> Bool

(/=) :: CBool -> CBool -> Bool

Eq CChar

Defined in Foreign.C.Types

Methods

(==) :: CChar -> CChar -> Bool

(/=) :: CChar -> CChar -> Bool

Eq CClock

Defined in Foreign.C.Types

Methods

(==) :: CClock -> CClock -> Bool

(/=) :: CClock -> CClock -> Bool

Eq CDouble

Defined in Foreign.C.Types

Methods

(==) :: CDouble -> CDouble -> Bool

(/=) :: CDouble -> CDouble -> Bool

Eq CFloat

Defined in Foreign.C.Types

Methods

(==) :: CFloat -> CFloat -> Bool

(/=) :: CFloat -> CFloat -> Bool

Eq CInt

Defined in Foreign.C.Types

Methods

(==) :: CInt -> CInt -> Bool

(/=) :: CInt -> CInt -> Bool

Eq CIntMax

Defined in Foreign.C.Types

Methods

(==) :: CIntMax -> CIntMax -> Bool

(/=) :: CIntMax -> CIntMax -> Bool

Eq CIntPtr

Defined in Foreign.C.Types

Methods

(==) :: CIntPtr -> CIntPtr -> Bool

(/=) :: CIntPtr -> CIntPtr -> Bool

Eq CLLong

Defined in Foreign.C.Types

Methods

(==) :: CLLong -> CLLong -> Bool

(/=) :: CLLong -> CLLong -> Bool

Eq CLong

Defined in Foreign.C.Types

Methods

(==) :: CLong -> CLong -> Bool

(/=) :: CLong -> CLong -> Bool

Eq CPtrdiff

Defined in Foreign.C.Types

Methods

(==) :: CPtrdiff -> CPtrdiff -> Bool

(/=) :: CPtrdiff -> CPtrdiff -> Bool

Eq CSChar

Defined in Foreign.C.Types

Methods

(==) :: CSChar -> CSChar -> Bool

(/=) :: CSChar -> CSChar -> Bool

Eq CSUSeconds

Defined in Foreign.C.Types

Methods

(==) :: CSUSeconds -> CSUSeconds -> Bool

(/=) :: CSUSeconds -> CSUSeconds -> Bool

Eq CShort

Defined in Foreign.C.Types

Methods

(==) :: CShort -> CShort -> Bool

(/=) :: CShort -> CShort -> Bool

Eq CSigAtomic

Defined in Foreign.C.Types

Methods

(==) :: CSigAtomic -> CSigAtomic -> Bool

(/=) :: CSigAtomic -> CSigAtomic -> Bool

Eq CSize

Defined in Foreign.C.Types

Methods

(==) :: CSize -> CSize -> Bool

(/=) :: CSize -> CSize -> Bool

Eq CTime

Defined in Foreign.C.Types

Methods

(==) :: CTime -> CTime -> Bool

(/=) :: CTime -> CTime -> Bool

Eq CUChar

Defined in Foreign.C.Types

Methods

(==) :: CUChar -> CUChar -> Bool

(/=) :: CUChar -> CUChar -> Bool

Eq CUInt

Defined in Foreign.C.Types

Methods

(==) :: CUInt -> CUInt -> Bool

(/=) :: CUInt -> CUInt -> Bool

Eq CUIntMax

Defined in Foreign.C.Types

Methods

(==) :: CUIntMax -> CUIntMax -> Bool

(/=) :: CUIntMax -> CUIntMax -> Bool

Eq CUIntPtr

Defined in Foreign.C.Types

Methods

(==) :: CUIntPtr -> CUIntPtr -> Bool

(/=) :: CUIntPtr -> CUIntPtr -> Bool

Eq CULLong

Defined in Foreign.C.Types

Methods

(==) :: CULLong -> CULLong -> Bool

(/=) :: CULLong -> CULLong -> Bool

Eq CULong

Defined in Foreign.C.Types

Methods

(==) :: CULong -> CULong -> Bool

(/=) :: CULong -> CULong -> Bool

Eq CUSeconds

Defined in Foreign.C.Types

Methods

(==) :: CUSeconds -> CUSeconds -> Bool

(/=) :: CUSeconds -> CUSeconds -> Bool

Eq CUShort

Defined in Foreign.C.Types

Methods

(==) :: CUShort -> CUShort -> Bool

(/=) :: CUShort -> CUShort -> Bool

Eq CWchar

Defined in Foreign.C.Types

Methods

(==) :: CWchar -> CWchar -> Bool

(/=) :: CWchar -> CWchar -> Bool

Eq BlockReason

Since: base-4.3.0.0

Defined in GHC.Conc.Sync

Methods

(==) :: BlockReason -> BlockReason -> Bool

(/=) :: BlockReason -> BlockReason -> Bool

Eq ThreadId

Since: base-4.2.0.0

Defined in GHC.Conc.Sync

Methods

(==) :: ThreadId -> ThreadId -> Bool

(/=) :: ThreadId -> ThreadId -> Bool

Eq ThreadStatus

Since: base-4.3.0.0

Defined in GHC.Conc.Sync

Methods

(==) :: ThreadStatus -> ThreadStatus -> Bool

(/=) :: ThreadStatus -> ThreadStatus -> Bool

Eq ErrorCall

Since: base-4.7.0.0

Defined in GHC.Exception

Methods

(==) :: ErrorCall -> ErrorCall -> Bool

(/=) :: ErrorCall -> ErrorCall -> Bool

Eq ArithException

Since: base-3.0

Defined in GHC.Exception.Type

Methods

(==) :: ArithException -> ArithException -> Bool

(/=) :: ArithException -> ArithException -> Bool

Eq SpecConstrAnnotation

Since: base-4.3.0.0

Defined in GHC.Exts

Methods

(==) :: SpecConstrAnnotation -> SpecConstrAnnotation -> Bool

(/=) :: SpecConstrAnnotation -> SpecConstrAnnotation -> Bool

Eq Fingerprint

Since: base-4.4.0.0

Defined in GHC.Fingerprint.Type

Methods

(==) :: Fingerprint -> Fingerprint -> Bool

(/=) :: Fingerprint -> Fingerprint -> Bool

Eq Associativity

Since: base-4.6.0.0

Defined in GHC.Generics

Methods

(==) :: Associativity -> Associativity -> Bool

(/=) :: Associativity -> Associativity -> Bool

Eq DecidedStrictness

Since: base-4.9.0.0

Defined in GHC.Generics

Methods

(==) :: DecidedStrictness -> DecidedStrictness -> Bool

(/=) :: DecidedStrictness -> DecidedStrictness -> Bool

Eq Fixity

Since: base-4.6.0.0

Defined in GHC.Generics

Methods

(==) :: Fixity -> Fixity -> Bool

(/=) :: Fixity -> Fixity -> Bool

Eq SourceStrictness

Since: base-4.9.0.0

Defined in GHC.Generics

Methods

(==) :: SourceStrictness -> SourceStrictness -> Bool

(/=) :: SourceStrictness -> SourceStrictness -> Bool

Eq SourceUnpackedness

Since: base-4.9.0.0

Defined in GHC.Generics

Methods

(==) :: SourceUnpackedness -> SourceUnpackedness -> Bool

(/=) :: SourceUnpackedness -> SourceUnpackedness -> Bool

Eq MaskingState

Since: base-4.3.0.0

Defined in GHC.IO

Methods

(==) :: MaskingState -> MaskingState -> Bool

(/=) :: MaskingState -> MaskingState -> Bool

Eq IODeviceType

Since: base-4.2.0.0

Defined in GHC.IO.Device

Methods

(==) :: IODeviceType -> IODeviceType -> Bool

(/=) :: IODeviceType -> IODeviceType -> Bool

Eq SeekMode

Since: base-4.2.0.0

Defined in GHC.IO.Device

Methods

(==) :: SeekMode -> SeekMode -> Bool

(/=) :: SeekMode -> SeekMode -> Bool

Eq CodingProgress

Since: base-4.4.0.0

Defined in GHC.IO.Encoding.Types

Methods

(==) :: CodingProgress -> CodingProgress -> Bool

(/=) :: CodingProgress -> CodingProgress -> Bool

Eq ArrayException

Since: base-4.2.0.0

Defined in GHC.IO.Exception

Methods

(==) :: ArrayException -> ArrayException -> Bool

(/=) :: ArrayException -> ArrayException -> Bool

Eq AsyncException

Since: base-4.2.0.0

Defined in GHC.IO.Exception

Methods

(==) :: AsyncException -> AsyncException -> Bool

(/=) :: AsyncException -> AsyncException -> Bool

Eq ExitCode

Defined in GHC.IO.Exception

Methods

(==) :: ExitCode -> ExitCode -> Bool

(/=) :: ExitCode -> ExitCode -> Bool

Eq IOErrorType

Since: base-4.1.0.0

Defined in GHC.IO.Exception

Methods

(==) :: IOErrorType -> IOErrorType -> Bool

(/=) :: IOErrorType -> IOErrorType -> Bool

Eq IOException

Since: base-4.1.0.0

Defined in GHC.IO.Exception

Methods

(==) :: IOException -> IOException -> Bool

(/=) :: IOException -> IOException -> Bool

Eq HandlePosn

Since: base-4.1.0.0

Defined in GHC.IO.Handle

Methods

(==) :: HandlePosn -> HandlePosn -> Bool

(/=) :: HandlePosn -> HandlePosn -> Bool

Eq BufferMode

Since: base-4.2.0.0

Defined in GHC.IO.Handle.Types

Methods

(==) :: BufferMode -> BufferMode -> Bool

(/=) :: BufferMode -> BufferMode -> Bool

Eq Handle

Since: base-4.1.0.0

Defined in GHC.IO.Handle.Types

Methods

(==) :: Handle -> Handle -> Bool

(/=) :: Handle -> Handle -> Bool

Eq Newline

Since: base-4.2.0.0

Defined in GHC.IO.Handle.Types

Methods

(==) :: Newline -> Newline -> Bool

(/=) :: Newline -> Newline -> Bool

Eq NewlineMode

Since: base-4.2.0.0

Defined in GHC.IO.Handle.Types

Methods

(==) :: NewlineMode -> NewlineMode -> Bool

(/=) :: NewlineMode -> NewlineMode -> Bool

Eq IOMode

Since: base-4.2.0.0

Defined in GHC.IO.IOMode

Methods

(==) :: IOMode -> IOMode -> Bool

(/=) :: IOMode -> IOMode -> Bool

Eq Int16

Since: base-2.1

Defined in GHC.Int

Methods

(==) :: Int16 -> Int16 -> Bool

(/=) :: Int16 -> Int16 -> Bool

Eq Int32

Since: base-2.1

Defined in GHC.Int

Methods

(==) :: Int32 -> Int32 -> Bool

(/=) :: Int32 -> Int32 -> Bool

Eq Int64

Since: base-2.1

Defined in GHC.Int

Methods

(==) :: Int64 -> Int64 -> Bool

(/=) :: Int64 -> Int64 -> Bool

Eq Int8

Since: base-2.1

Defined in GHC.Int

Methods

(==) :: Int8 -> Int8 -> Bool

(/=) :: Int8 -> Int8 -> Bool

Eq SrcLoc

Since: base-4.9.0.0

Defined in GHC.Stack.Types

Methods

(==) :: SrcLoc -> SrcLoc -> Bool

(/=) :: SrcLoc -> SrcLoc -> Bool

Eq SomeChar

Defined in GHC.TypeLits

Methods

(==) :: SomeChar -> SomeChar -> Bool

(/=) :: SomeChar -> SomeChar -> Bool

Eq SomeSymbol

Since: base-4.7.0.0

Defined in GHC.TypeLits

Methods

(==) :: SomeSymbol -> SomeSymbol -> Bool

(/=) :: SomeSymbol -> SomeSymbol -> Bool

Eq SomeNat

Since: base-4.7.0.0

Defined in GHC.TypeNats

Methods

(==) :: SomeNat -> SomeNat -> Bool

(/=) :: SomeNat -> SomeNat -> Bool

Eq GeneralCategory

Since: base-2.1

Defined in GHC.Unicode

Methods

(==) :: GeneralCategory -> GeneralCategory -> Bool

(/=) :: GeneralCategory -> GeneralCategory -> Bool

Eq Word16

Since: base-2.1

Defined in GHC.Word

Methods

(==) :: Word16 -> Word16 -> Bool

(/=) :: Word16 -> Word16 -> Bool

Eq Word32

Since: base-2.1

Defined in GHC.Word

Methods

(==) :: Word32 -> Word32 -> Bool

(/=) :: Word32 -> Word32 -> Bool

Eq Word64

Since: base-2.1

Defined in GHC.Word

Methods

(==) :: Word64 -> Word64 -> Bool

(/=) :: Word64 -> Word64 -> Bool

Eq Word8

Since: base-2.1

Defined in GHC.Word

Methods

(==) :: Word8 -> Word8 -> Bool

(/=) :: Word8 -> Word8 -> Bool

Eq Lexeme

Since: base-2.1

Defined in Text.Read.Lex

Methods

(==) :: Lexeme -> Lexeme -> Bool

(/=) :: Lexeme -> Lexeme -> Bool

Eq Number

Since: base-4.6.0.0

Defined in Text.Read.Lex

Methods

(==) :: Number -> Number -> Bool

(/=) :: Number -> Number -> Bool

Eq ByteString

Defined in Data.ByteString.Internal

Methods

(==) :: ByteString -> ByteString -> Bool

(/=) :: ByteString -> ByteString -> Bool

Eq ByteString

Defined in Data.ByteString.Lazy.Internal

Methods

(==) :: ByteString -> ByteString -> Bool

(/=) :: ByteString -> ByteString -> Bool

Eq ShortByteString

Defined in Data.ByteString.Short.Internal

Methods

(==) :: ShortByteString -> ShortByteString -> Bool

(/=) :: ShortByteString -> ShortByteString -> Bool

Eq ForeignSrcLang

Defined in GHC.ForeignSrcLang.Type

Methods

(==) :: ForeignSrcLang -> ForeignSrcLang -> Bool

(/=) :: ForeignSrcLang -> ForeignSrcLang -> Bool

Eq Extension

Defined in GHC.LanguageExtensions.Type

Methods

(==) :: Extension -> Extension -> Bool

(/=) :: Extension -> Extension -> Bool

Eq Module

Defined in GHC.Classes

Methods

(==) :: Module -> Module -> Bool

(/=) :: Module -> Module -> Bool

Eq Ordering

Defined in GHC.Classes

Methods

(==) :: Ordering -> Ordering -> Bool

(/=) :: Ordering -> Ordering -> Bool

Eq TrName

Defined in GHC.Classes

Methods

(==) :: TrName -> TrName -> Bool

(/=) :: TrName -> TrName -> Bool

Eq TyCon

Defined in GHC.Classes

Methods

(==) :: TyCon -> TyCon -> Bool

(/=) :: TyCon -> TyCon -> Bool

Eq Stochastic

Defined in OAlg.Control.Validate

Methods

(==) :: Stochastic -> Stochastic -> Bool

(/=) :: Stochastic -> Stochastic -> Bool

Eq Verbosity

Defined in OAlg.Control.Verbose

Methods

(==) :: Verbosity -> Verbosity -> Bool

(/=) :: Verbosity -> Verbosity -> Bool

Eq Direction

Defined in OAlg.Data.Dualisable

Methods

(==) :: Direction -> Direction -> Bool

(/=) :: Direction -> Direction -> Bool

Eq Side

Defined in OAlg.Data.Dualisable

Methods

(==) :: Side -> Side -> Bool

(/=) :: Side -> Side -> Bool

Eq Site

Defined in OAlg.Data.Dualisable

Methods

(==) :: Site -> Site -> Bool

(/=) :: Site -> Site -> Bool

Eq N

Defined in OAlg.Data.Number

Methods

(==) :: N -> N -> Bool

(/=) :: N -> N -> Bool

Eq Q

Defined in OAlg.Data.Number

Methods

(==) :: Q -> Q -> Bool

(/=) :: Q -> Q -> Bool

Eq Z

Defined in OAlg.Data.Number

Methods

(==) :: Z -> Z -> Bool

(/=) :: Z -> Z -> Bool

Eq RdcState

Defined in OAlg.Data.Reducible

Methods

(==) :: RdcState -> RdcState -> Bool

(/=) :: RdcState -> RdcState -> Bool

Eq Valid

Defined in OAlg.Data.Statement.Definition

Methods

(==) :: Valid -> Valid -> Bool

(/=) :: Valid -> Valid -> Bool

Eq ValidateingException

Defined in OAlg.Data.Statement.Definition

Methods

(==) :: ValidateingException -> ValidateingException -> Bool

(/=) :: ValidateingException -> ValidateingException -> Bool

Eq Symbol

Defined in OAlg.Data.Symbol

Methods

(==) :: Symbol -> Symbol -> Bool

(/=) :: Symbol -> Symbol -> Bool

Eq Omega

Defined in OAlg.Data.X

Methods

(==) :: Omega -> Omega -> Bool

(/=) :: Omega -> Omega -> Bool

Eq Empty

Defined in OAlg.Entity.Definition

Methods

(==) :: Empty -> Empty -> Bool

(/=) :: Empty -> Empty -> Bool

Eq DiagramType

Defined in OAlg.Entity.Diagram.Definition

Methods

(==) :: DiagramType -> DiagramType -> Bool

(/=) :: DiagramType -> DiagramType -> Bool

Eq N'

Defined in OAlg.Entity.Natural

Methods

(==) :: N' -> N' -> Bool

(/=) :: N' -> N' -> Bool

Eq SomeNatural

Defined in OAlg.Entity.Natural

Methods

(==) :: SomeNatural -> SomeNatural -> Bool

(/=) :: SomeNatural -> SomeNatural -> Bool

Eq W'

Defined in OAlg.Entity.Natural

Methods

(==) :: W' -> W' -> Bool

(/=) :: W' -> W' -> Bool

Eq SequenceException

Defined in OAlg.Entity.Sequence.Definition

Methods

(==) :: SequenceException -> SequenceException -> Bool

(/=) :: SequenceException -> SequenceException -> Bool

Eq LimesException

Defined in OAlg.Limes.Definition

Methods

(==) :: LimesException -> LimesException -> Bool

(/=) :: LimesException -> LimesException -> Bool

Eq Perspective

Defined in OAlg.Limes.Perspective

Methods

(==) :: Perspective -> Perspective -> Bool

(/=) :: Perspective -> Perspective -> Bool

Eq ArithmeticException

Defined in OAlg.Structure.Exception

Methods

(==) :: ArithmeticException -> ArithmeticException -> Bool

(/=) :: ArithmeticException -> ArithmeticException -> Bool

Eq StdGen

Defined in System.Random.Internal

Methods

(==) :: StdGen -> StdGen -> Bool

(/=) :: StdGen -> StdGen -> Bool

Eq AnnLookup

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: AnnLookup -> AnnLookup -> Bool

(/=) :: AnnLookup -> AnnLookup -> Bool

Eq AnnTarget

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: AnnTarget -> AnnTarget -> Bool

(/=) :: AnnTarget -> AnnTarget -> Bool

Eq Bang

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: Bang -> Bang -> Bool

(/=) :: Bang -> Bang -> Bool

Eq Body

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: Body -> Body -> Bool

(/=) :: Body -> Body -> Bool

Eq Bytes

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: Bytes -> Bytes -> Bool

(/=) :: Bytes -> Bytes -> Bool

Eq Callconv

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: Callconv -> Callconv -> Bool

(/=) :: Callconv -> Callconv -> Bool

Eq Clause

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: Clause -> Clause -> Bool

(/=) :: Clause -> Clause -> Bool

Eq Con

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: Con -> Con -> Bool

(/=) :: Con -> Con -> Bool

Eq Dec

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: Dec -> Dec -> Bool

(/=) :: Dec -> Dec -> Bool

Eq DecidedStrictness

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: DecidedStrictness -> DecidedStrictness -> Bool

(/=) :: DecidedStrictness -> DecidedStrictness -> Bool

Eq DerivClause

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: DerivClause -> DerivClause -> Bool

(/=) :: DerivClause -> DerivClause -> Bool

Eq DerivStrategy

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: DerivStrategy -> DerivStrategy -> Bool

(/=) :: DerivStrategy -> DerivStrategy -> Bool

Eq DocLoc

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: DocLoc -> DocLoc -> Bool

(/=) :: DocLoc -> DocLoc -> Bool

Eq Exp

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: Exp -> Exp -> Bool

(/=) :: Exp -> Exp -> Bool

Eq FamilyResultSig

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: FamilyResultSig -> FamilyResultSig -> Bool

(/=) :: FamilyResultSig -> FamilyResultSig -> Bool

Eq Fixity

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: Fixity -> Fixity -> Bool

(/=) :: Fixity -> Fixity -> Bool

Eq FixityDirection

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: FixityDirection -> FixityDirection -> Bool

(/=) :: FixityDirection -> FixityDirection -> Bool

Eq Foreign

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: Foreign -> Foreign -> Bool

(/=) :: Foreign -> Foreign -> Bool

Eq FunDep

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: FunDep -> FunDep -> Bool

(/=) :: FunDep -> FunDep -> Bool

Eq Guard

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: Guard -> Guard -> Bool

(/=) :: Guard -> Guard -> Bool

Eq Info

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: Info -> Info -> Bool

(/=) :: Info -> Info -> Bool

Eq InjectivityAnn

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: InjectivityAnn -> InjectivityAnn -> Bool

(/=) :: InjectivityAnn -> InjectivityAnn -> Bool

Eq Inline

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: Inline -> Inline -> Bool

(/=) :: Inline -> Inline -> Bool

Eq Lit

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: Lit -> Lit -> Bool

(/=) :: Lit -> Lit -> Bool

Eq Loc

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: Loc -> Loc -> Bool

(/=) :: Loc -> Loc -> Bool

Eq Match

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: Match -> Match -> Bool

(/=) :: Match -> Match -> Bool

Eq ModName

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: ModName -> ModName -> Bool

(/=) :: ModName -> ModName -> Bool

Eq Module

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: Module -> Module -> Bool

(/=) :: Module -> Module -> Bool

Eq ModuleInfo

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: ModuleInfo -> ModuleInfo -> Bool

(/=) :: ModuleInfo -> ModuleInfo -> Bool

Eq Name

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: Name -> Name -> Bool

(/=) :: Name -> Name -> Bool

Eq NameFlavour

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: NameFlavour -> NameFlavour -> Bool

(/=) :: NameFlavour -> NameFlavour -> Bool

Eq NameSpace

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: NameSpace -> NameSpace -> Bool

(/=) :: NameSpace -> NameSpace -> Bool

Eq OccName

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: OccName -> OccName -> Bool

(/=) :: OccName -> OccName -> Bool

Eq Overlap

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: Overlap -> Overlap -> Bool

(/=) :: Overlap -> Overlap -> Bool

Eq Pat

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: Pat -> Pat -> Bool

(/=) :: Pat -> Pat -> Bool

Eq PatSynArgs

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: PatSynArgs -> PatSynArgs -> Bool

(/=) :: PatSynArgs -> PatSynArgs -> Bool

Eq PatSynDir

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: PatSynDir -> PatSynDir -> Bool

(/=) :: PatSynDir -> PatSynDir -> Bool

Eq Phases

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: Phases -> Phases -> Bool

(/=) :: Phases -> Phases -> Bool

Eq PkgName

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: PkgName -> PkgName -> Bool

(/=) :: PkgName -> PkgName -> Bool

Eq Pragma

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: Pragma -> Pragma -> Bool

(/=) :: Pragma -> Pragma -> Bool

Eq Range

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: Range -> Range -> Bool

(/=) :: Range -> Range -> Bool

Eq Role

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: Role -> Role -> Bool

(/=) :: Role -> Role -> Bool

Eq RuleBndr

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: RuleBndr -> RuleBndr -> Bool

(/=) :: RuleBndr -> RuleBndr -> Bool

Eq RuleMatch

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: RuleMatch -> RuleMatch -> Bool

(/=) :: RuleMatch -> RuleMatch -> Bool

Eq Safety

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: Safety -> Safety -> Bool

(/=) :: Safety -> Safety -> Bool

Eq SourceStrictness

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: SourceStrictness -> SourceStrictness -> Bool

(/=) :: SourceStrictness -> SourceStrictness -> Bool

Eq SourceUnpackedness

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: SourceUnpackedness -> SourceUnpackedness -> Bool

(/=) :: SourceUnpackedness -> SourceUnpackedness -> Bool

Eq Specificity

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: Specificity -> Specificity -> Bool

(/=) :: Specificity -> Specificity -> Bool

Eq Stmt

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: Stmt -> Stmt -> Bool

(/=) :: Stmt -> Stmt -> Bool

Eq TyLit

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: TyLit -> TyLit -> Bool

(/=) :: TyLit -> TyLit -> Bool

Eq TySynEqn

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: TySynEqn -> TySynEqn -> Bool

(/=) :: TySynEqn -> TySynEqn -> Bool

Eq Type

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: Type -> Type -> Bool

(/=) :: Type -> Type -> Bool

Eq TypeFamilyHead

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: TypeFamilyHead -> TypeFamilyHead -> Bool

(/=) :: TypeFamilyHead -> TypeFamilyHead -> Bool

Eq CalendarDiffDays

Defined in Data.Time.Calendar.CalendarDiffDays

Methods

(==) :: CalendarDiffDays -> CalendarDiffDays -> Bool

(/=) :: CalendarDiffDays -> CalendarDiffDays -> Bool

Eq Day

Defined in Data.Time.Calendar.Days

Methods

(==) :: Day -> Day -> Bool

(/=) :: Day -> Day -> Bool

Eq DayOfWeek

Defined in Data.Time.Calendar.Week

Methods

(==) :: DayOfWeek -> DayOfWeek -> Bool

(/=) :: DayOfWeek -> DayOfWeek -> Bool

Eq AbsoluteTime

Defined in Data.Time.Clock.Internal.AbsoluteTime

Methods

(==) :: AbsoluteTime -> AbsoluteTime -> Bool

(/=) :: AbsoluteTime -> AbsoluteTime -> Bool

Eq DiffTime

Defined in Data.Time.Clock.Internal.DiffTime

Methods

(==) :: DiffTime -> DiffTime -> Bool

(/=) :: DiffTime -> DiffTime -> Bool

Eq NominalDiffTime

Defined in Data.Time.Clock.Internal.NominalDiffTime

Methods

(==) :: NominalDiffTime -> NominalDiffTime -> Bool

(/=) :: NominalDiffTime -> NominalDiffTime -> Bool

Eq SystemTime

Defined in Data.Time.Clock.Internal.SystemTime

Methods

(==) :: SystemTime -> SystemTime -> Bool

(/=) :: SystemTime -> SystemTime -> Bool

Eq UTCTime

Defined in Data.Time.Clock.Internal.UTCTime

Methods

(==) :: UTCTime -> UTCTime -> Bool

(/=) :: UTCTime -> UTCTime -> Bool

Eq UniversalTime

Defined in Data.Time.Clock.Internal.UniversalTime

Methods

(==) :: UniversalTime -> UniversalTime -> Bool

(/=) :: UniversalTime -> UniversalTime -> Bool

Eq TimeLocale

Defined in Data.Time.Format.Locale

Methods

(==) :: TimeLocale -> TimeLocale -> Bool

(/=) :: TimeLocale -> TimeLocale -> Bool

Eq CalendarDiffTime

Defined in Data.Time.LocalTime.Internal.CalendarDiffTime

Methods

(==) :: CalendarDiffTime -> CalendarDiffTime -> Bool

(/=) :: CalendarDiffTime -> CalendarDiffTime -> Bool

Eq LocalTime

Defined in Data.Time.LocalTime.Internal.LocalTime

Methods

(==) :: LocalTime -> LocalTime -> Bool

(/=) :: LocalTime -> LocalTime -> Bool

Eq TimeOfDay

Defined in Data.Time.LocalTime.Internal.TimeOfDay

Methods

(==) :: TimeOfDay -> TimeOfDay -> Bool

(/=) :: TimeOfDay -> TimeOfDay -> Bool

Eq TimeZone

Defined in Data.Time.LocalTime.Internal.TimeZone

Methods

(==) :: TimeZone -> TimeZone -> Bool

(/=) :: TimeZone -> TimeZone -> Bool

Eq Integer

Defined in GHC.Num.Integer

Methods

(==) :: Integer -> Integer -> Bool

(/=) :: Integer -> Integer -> Bool

Eq Natural

Defined in GHC.Num.Natural

Methods

(==) :: Natural -> Natural -> Bool

(/=) :: Natural -> Natural -> Bool

Eq ()

Defined in GHC.Classes

Methods

(==) :: () -> () -> Bool

(/=) :: () -> () -> Bool

Eq Bool

Defined in GHC.Classes

Methods

(==) :: Bool -> Bool -> Bool

(/=) :: Bool -> Bool -> Bool

Eq Char

Defined in GHC.Classes

Methods

(==) :: Char -> Char -> Bool

(/=) :: Char -> Char -> Bool

Eq Double

Note that due to the presence of NaN, Double's Eq instance does not satisfy reflexivity.

>>> 0/0 == (0/0 :: Double)
False

Also note that Double's Eq instance does not satisfy substitutivity:

>>> 0 == (-0 :: Double)
True
>>> recip 0 == recip (-0 :: Double)
False

Defined in GHC.Classes

Methods

(==) :: Double -> Double -> Bool

(/=) :: Double -> Double -> Bool

Eq Float

Note that due to the presence of NaN, Float's Eq instance does not satisfy reflexivity.

>>> 0/0 == (0/0 :: Float)
False

Also note that Float's Eq instance does not satisfy extensionality:

>>> 0 == (-0 :: Float)
True
>>> recip 0 == recip (-0 :: Float)
False

Defined in GHC.Classes

Methods

(==) :: Float -> Float -> Bool

(/=) :: Float -> Float -> Bool

Eq Int

Defined in GHC.Classes

Methods

(==) :: Int -> Int -> Bool

(/=) :: Int -> Int -> Bool

Eq Word

Defined in GHC.Classes

Methods

(==) :: Word -> Word -> Bool

(/=) :: Word -> Word -> Bool

Eq a => Eq (ZipList a)

Since: base-4.7.0.0

Defined in Control.Applicative

Methods

(==) :: ZipList a -> ZipList a -> Bool

(/=) :: ZipList a -> ZipList a -> Bool

Eq a => Eq (Complex a)

Since: base-2.1

Defined in Data.Complex

Methods

(==) :: Complex a -> Complex a -> Bool

(/=) :: Complex a -> Complex a -> Bool

Eq a => Eq (Identity a)

Since: base-4.8.0.0

Defined in Data.Functor.Identity

Methods

(==) :: Identity a -> Identity a -> Bool

(/=) :: Identity a -> Identity a -> Bool

Eq a => Eq (First a)

Since: base-2.1

Defined in Data.Monoid

Methods

(==) :: First a -> First a -> Bool

(/=) :: First a -> First a -> Bool

Eq a => Eq (Last a)

Since: base-2.1

Defined in Data.Monoid

Methods

(==) :: Last a -> Last a -> Bool

(/=) :: Last a -> Last a -> Bool

Eq a => Eq (Down a)

Since: base-4.6.0.0

Defined in Data.Ord

Methods

(==) :: Down a -> Down a -> Bool

(/=) :: Down a -> Down a -> Bool

Eq a => Eq (First a)

Since: base-4.9.0.0

Defined in Data.Semigroup

Methods

(==) :: First a -> First a -> Bool

(/=) :: First a -> First a -> Bool

Eq a => Eq (Last a)

Since: base-4.9.0.0

Defined in Data.Semigroup

Methods

(==) :: Last a -> Last a -> Bool

(/=) :: Last a -> Last a -> Bool

Eq a => Eq (Max a)

Since: base-4.9.0.0

Defined in Data.Semigroup

Methods

(==) :: Max a -> Max a -> Bool

(/=) :: Max a -> Max a -> Bool

Eq a => Eq (Min a)

Since: base-4.9.0.0

Defined in Data.Semigroup

Methods

(==) :: Min a -> Min a -> Bool

(/=) :: Min a -> Min a -> Bool

Eq m => Eq (WrappedMonoid m)

Since: base-4.9.0.0

Defined in Data.Semigroup

Methods

(==) :: WrappedMonoid m -> WrappedMonoid m -> Bool

(/=) :: WrappedMonoid m -> WrappedMonoid m -> Bool

Eq a => Eq (Dual a)

Since: base-2.1

Defined in Data.Semigroup.Internal

Methods

(==) :: Dual a -> Dual a -> Bool

(/=) :: Dual a -> Dual a -> Bool

Eq a => Eq (Product a)

Since: base-2.1

Defined in Data.Semigroup.Internal

Methods

(==) :: Product a -> Product a -> Bool

(/=) :: Product a -> Product a -> Bool

Eq a => Eq (Sum a)

Since: base-2.1

Defined in Data.Semigroup.Internal

Methods

(==) :: Sum a -> Sum a -> Bool

(/=) :: Sum a -> Sum a -> Bool

Eq (TVar a)

Since: base-4.8.0.0

Defined in GHC.Conc.Sync

Methods

(==) :: TVar a -> TVar a -> Bool

(/=) :: TVar a -> TVar a -> Bool

Eq p => Eq (Par1 p)

Since: base-4.7.0.0

Defined in GHC.Generics

Methods

(==) :: Par1 p -> Par1 p -> Bool

(/=) :: Par1 p -> Par1 p -> Bool

Eq (IORef a)

Pointer equality.

Since: base-4.0.0.0

Defined in GHC.IORef

Methods

(==) :: IORef a -> IORef a -> Bool

(/=) :: IORef a -> IORef a -> Bool

Eq (MVar a)

Since: base-4.1.0.0

Defined in GHC.MVar

Methods

(==) :: MVar a -> MVar a -> Bool

(/=) :: MVar a -> MVar a -> Bool

Eq (FunPtr a)

Defined in GHC.Ptr

Methods

(==) :: FunPtr a -> FunPtr a -> Bool

(/=) :: FunPtr a -> FunPtr a -> Bool

Eq (Ptr a)

Since: base-2.1

Defined in GHC.Ptr

Methods

(==) :: Ptr a -> Ptr a -> Bool

(/=) :: Ptr a -> Ptr a -> Bool

Eq a => Eq (Ratio a)

Since: base-2.1

Defined in GHC.Real

Methods

(==) :: Ratio a -> Ratio a -> Bool

(/=) :: Ratio a -> Ratio a -> Bool

Eq (StableName a)

Since: base-2.1

Defined in GHC.StableName

Methods

(==) :: StableName a -> StableName a -> Bool

(/=) :: StableName a -> StableName a -> Bool

(EmbeddableMorphismTyp m, Typeable m, Eq2 m) => Eq (SomeMorphism m)

Defined in OAlg.Category.Unify

Methods

(==) :: SomeMorphism m -> SomeMorphism m -> Bool

(/=) :: SomeMorphism m -> SomeMorphism m -> Bool

Eq (SomeObjectClass m)

Defined in OAlg.Category.Unify

Methods

(==) :: SomeObjectClass m -> SomeObjectClass m -> Bool

(/=) :: SomeObjectClass m -> SomeObjectClass m -> Bool

Eq x => Eq (Id x)

Defined in OAlg.Data.Identity

Methods

(==) :: Id x -> Id x -> Bool

(/=) :: Id x -> Id x -> Bool

Eq x => Eq (Op x)

Defined in OAlg.Data.Opposite

Methods

(==) :: Op x -> Op x -> Bool

(/=) :: Op x -> Op x -> Bool

Eq x => Eq (Closer x)

Defined in OAlg.Data.Ord

Methods

(==) :: Closer x -> Closer x -> Bool

(/=) :: Closer x -> Closer x -> Bool

Oriented x => Eq (Matrix x)

Defined in OAlg.Entity.Matrix.Definition

Methods

(==) :: Matrix x -> Matrix x -> Bool

(/=) :: Matrix x -> Matrix x -> Bool

Eq x => Eq (GL2 x)

Defined in OAlg.Entity.Matrix.GeneralLinearGroup

Methods

(==) :: GL2 x -> GL2 x -> Bool

(/=) :: GL2 x -> GL2 x -> Bool

Oriented x => Eq (GLT x)

Defined in OAlg.Entity.Matrix.GeneralLinearGroup

Methods

(==) :: GLT x -> GLT x -> Bool

(/=) :: GLT x -> GLT x -> Bool

Eq (Transformation x)

Defined in OAlg.Entity.Matrix.GeneralLinearGroup

Methods

(==) :: Transformation x -> Transformation x -> Bool

(/=) :: Transformation x -> Transformation x -> Bool

Oriented x => Eq (ColTrafo x)

Defined in OAlg.Entity.Matrix.Transformation

Methods

(==) :: ColTrafo x -> ColTrafo x -> Bool

(/=) :: ColTrafo x -> ColTrafo x -> Bool

Oriented k => Eq (DiagonalForm k)

Defined in OAlg.Entity.Matrix.Transformation

Methods

(==) :: DiagonalForm k -> DiagonalForm k -> Bool

(/=) :: DiagonalForm k -> DiagonalForm k -> Bool

Oriented k => Eq (DiagonalFormStrictPositive k)

Defined in OAlg.Entity.Matrix.Transformation

Methods

(==) :: DiagonalFormStrictPositive k -> DiagonalFormStrictPositive k -> Bool

(/=) :: DiagonalFormStrictPositive k -> DiagonalFormStrictPositive k -> Bool

Oriented a => Eq (RowTrafo a)

Defined in OAlg.Entity.Matrix.Transformation

Methods

(==) :: RowTrafo a -> RowTrafo a -> Bool

(/=) :: RowTrafo a -> RowTrafo a -> Bool

Eq r => Eq (Vector r)

Defined in OAlg.Entity.Matrix.Vector

Methods

(==) :: Vector r -> Vector r -> Bool

(/=) :: Vector r -> Vector r -> Bool

Eq (W n)

Defined in OAlg.Entity.Natural

Methods

(==) :: W n -> W n -> Bool

(/=) :: W n -> W n -> Bool

Entity x => Eq (ProductSymbol x)

Defined in OAlg.Entity.Product.ProductSymbol

Methods

(==) :: ProductSymbol x -> ProductSymbol x -> Bool

(/=) :: ProductSymbol x -> ProductSymbol x -> Bool

Eq x => Eq (U x)

Defined in OAlg.Entity.Product.ProductSymbol

Methods

(==) :: U x -> U x -> Bool

(/=) :: U x -> U x -> Bool

Eq i => Eq (Permutation i)

Defined in OAlg.Entity.Sequence.Permutation

Methods

(==) :: Permutation i -> Permutation i -> Bool

(/=) :: Permutation i -> Permutation i -> Bool

Eq i => Eq (PermutationForm i)

Defined in OAlg.Entity.Sequence.Permutation

Methods

(==) :: PermutationForm i -> PermutationForm i -> Bool

(/=) :: PermutationForm i -> PermutationForm i -> Bool

Eq x => Eq (Set x)

Defined in OAlg.Entity.Sequence.Set

Methods

(==) :: Set x -> Set x -> Bool

(/=) :: Set x -> Set x -> Bool

Eq a => Eq (R a)

Defined in OAlg.Entity.Sum.SumSymbol

Methods

(==) :: R a -> R a -> Bool

(/=) :: R a -> R a -> Bool

Eq a => Eq (Adbl2 a)

Defined in OAlg.Structure.Additive.Proposition

Methods

(==) :: Adbl2 a -> Adbl2 a -> Bool

(/=) :: Adbl2 a -> Adbl2 a -> Bool

Eq a => Eq (Adbl3 a)

Defined in OAlg.Structure.Additive.Proposition

Methods

(==) :: Adbl3 a -> Adbl3 a -> Bool

(/=) :: Adbl3 a -> Adbl3 a -> Bool

Fibred f => Eq (Sheaf f)

Defined in OAlg.Structure.Fibred.Definition

Methods

(==) :: Sheaf f -> Sheaf f -> Bool

(/=) :: Sheaf f -> Sheaf f -> Bool

Eq c => Eq (Inv c)

Defined in OAlg.Structure.Multiplicative.Definition

Methods

(==) :: Inv c -> Inv c -> Bool

(/=) :: Inv c -> Inv c -> Bool

Eq q => Eq (Endo q)

Defined in OAlg.Structure.Multiplicative.Proposition

Methods

(==) :: Endo q -> Endo q -> Bool

(/=) :: Endo q -> Endo q -> Bool

Eq c => Eq (Mltp2 c)

Defined in OAlg.Structure.Multiplicative.Proposition

Methods

(==) :: Mltp2 c -> Mltp2 c -> Bool

(/=) :: Mltp2 c -> Mltp2 c -> Bool

Eq c => Eq (Mltp3 c)

Defined in OAlg.Structure.Multiplicative.Proposition

Methods

(==) :: Mltp3 c -> Mltp3 c -> Bool

(/=) :: Mltp3 c -> Mltp3 c -> Bool

Eq p => Eq (Orientation p)

Defined in OAlg.Structure.Oriented.Definition

Methods

(==) :: Orientation p -> Orientation p -> Bool

(/=) :: Orientation p -> Orientation p -> Bool

Oriented q => Eq (Path q)

Defined in OAlg.Structure.Oriented.Definition

Methods

(==) :: Path q -> Path q -> Bool

(/=) :: Path q -> Path q -> Bool

Eq g => Eq (StateGen g)

Defined in System.Random.Internal

Methods

(==) :: StateGen g -> StateGen g -> Bool

(/=) :: StateGen g -> StateGen g -> Bool

Eq flag => Eq (TyVarBndr flag)

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: TyVarBndr flag -> TyVarBndr flag -> Bool

(/=) :: TyVarBndr flag -> TyVarBndr flag -> Bool

Eq a => Eq (NonEmpty a)

Since: base-4.9.0.0

Defined in GHC.Base

Methods

(==) :: NonEmpty a -> NonEmpty a -> Bool

(/=) :: NonEmpty a -> NonEmpty a -> Bool

Eq a => Eq (Maybe a)

Since: base-2.1

Defined in GHC.Maybe

Methods

(==) :: Maybe a -> Maybe a -> Bool

(/=) :: Maybe a -> Maybe a -> Bool

Eq a => Eq (a)

Defined in GHC.Classes

Methods

(==) :: (a) -> (a) -> Bool

(/=) :: (a) -> (a) -> Bool

Eq a => Eq [a]

Defined in GHC.Classes

Methods

(==) :: [a] -> [a] -> Bool

(/=) :: [a] -> [a] -> Bool

(Eq a, Eq b) => Eq (Either a b)

Since: base-2.1

Defined in Data.Either

Methods

(==) :: Either a b -> Either a b -> Bool

(/=) :: Either a b -> Either a b -> Bool

Eq (Fixed a)

Since: base-2.1

Defined in Data.Fixed

Methods

(==) :: Fixed a -> Fixed a -> Bool

(/=) :: Fixed a -> Fixed a -> Bool

Eq (Proxy s)

Since: base-4.7.0.0

Defined in Data.Proxy

Methods

(==) :: Proxy s -> Proxy s -> Bool

(/=) :: Proxy s -> Proxy s -> Bool

Eq a => Eq (Arg a b)

Since: base-4.9.0.0

Defined in Data.Semigroup

Methods

(==) :: Arg a b -> Arg a b -> Bool

(/=) :: Arg a b -> Arg a b -> Bool

Eq (TypeRep a)

Since: base-2.1

Defined in Data.Typeable.Internal

Methods

(==) :: TypeRep a -> TypeRep a -> Bool

(/=) :: TypeRep a -> TypeRep a -> Bool

(Ix i, Eq e) => Eq (Array i e)

Since: base-2.1

Defined in GHC.Arr

Methods

(==) :: Array i e -> Array i e -> Bool

(/=) :: Array i e -> Array i e -> Bool

Eq (U1 p)

Since: base-4.9.0.0

Defined in GHC.Generics

Methods

(==) :: U1 p -> U1 p -> Bool

(/=) :: U1 p -> U1 p -> Bool

Eq (V1 p)

Since: base-4.9.0.0

Defined in GHC.Generics

Methods

(==) :: V1 p -> V1 p -> Bool

(/=) :: V1 p -> V1 p -> Bool

Eq (STRef s a)

Pointer equality.

Since: base-2.1

Defined in GHC.STRef

Methods

(==) :: STRef s a -> STRef s a -> Bool

(/=) :: STRef s a -> STRef s a -> Bool

Eq (Empty2 a b)

Defined in OAlg.Entity.Definition

Methods

(==) :: Empty2 a b -> Empty2 a b -> Bool

(/=) :: Empty2 a b -> Empty2 a b -> Bool

Eq (Quiver n m)

Defined in OAlg.Entity.Diagram.Quiver

Methods

(==) :: Quiver n m -> Quiver n m -> Bool

(/=) :: Quiver n m -> Quiver n m -> Bool

Eq a => Eq (FinList n a)

Defined in OAlg.Entity.FinList

Methods

(==) :: FinList n a -> FinList n a -> Bool

(/=) :: FinList n a -> FinList n a -> Bool

Oriented x => Eq (Dim x p)

Defined in OAlg.Entity.Matrix.Dim

Methods

(==) :: Dim x p -> Dim x p -> Bool

(/=) :: Dim x p -> Dim x p -> Bool

(Eq x, Eq i) => Eq (Col i x)

Defined in OAlg.Entity.Matrix.Entries

Methods

(==) :: Col i x -> Col i x -> Bool

(/=) :: Col i x -> Col i x -> Bool

(Eq x, Eq j) => Eq (Row j x)

Defined in OAlg.Entity.Matrix.Entries

Methods

(==) :: Row j x -> Row j x -> Bool

(/=) :: Row j x -> Row j x -> Bool

Eq (GLApp x y)

Defined in OAlg.Entity.Matrix.GeneralLinearGroup

Methods

(==) :: GLApp x y -> GLApp x y -> Bool

(/=) :: GLApp x y -> GLApp x y -> Bool

Eq (TrApp x y)

Defined in OAlg.Entity.Matrix.GeneralLinearGroup

Methods

(==) :: TrApp x y -> TrApp x y -> Bool

(/=) :: TrApp x y -> TrApp x y -> Bool

(Oriented a, Entity r) => Eq (Product r a)

Defined in OAlg.Entity.Product.Definition

Methods

(==) :: Product r a -> Product r a -> Bool

(/=) :: Product r a -> Product r a -> Bool

(Oriented a, Entity r) => Eq (ProductForm r a)

Defined in OAlg.Entity.Product.Definition

Methods

(==) :: ProductForm r a -> ProductForm r a -> Bool

(/=) :: ProductForm r a -> ProductForm r a -> Bool

(Eq a, Eq r) => Eq (Word r a)

Defined in OAlg.Entity.Product.Definition

Methods

(==) :: Word r a -> Word r a -> Bool

(/=) :: Word r a -> Word r a -> Bool

(Eq i, Eq x) => Eq (Graph i x)

Defined in OAlg.Entity.Sequence.Graph

Methods

(==) :: Graph i x -> Graph i x -> Bool

(/=) :: Graph i x -> Graph i x -> Bool

(Eq x, Eq i) => Eq (PSequence i x)

Defined in OAlg.Entity.Sequence.PSequence

Methods

(==) :: PSequence i x -> PSequence i x -> Bool

(/=) :: PSequence i x -> PSequence i x -> Bool

Eq (Free k c)

Defined in OAlg.Entity.Slice.Free

Methods

(==) :: Free k c -> Free k c -> Bool

(/=) :: Free k c -> Free k c -> Bool

(Eq r, Eq a) => Eq (LinearCombination r a)

Defined in OAlg.Entity.Sum.Definition

Methods

(==) :: LinearCombination r a -> LinearCombination r a -> Bool

(/=) :: LinearCombination r a -> LinearCombination r a -> Bool

(Fibred a, Entity r) => Eq (Sum r a)

Defined in OAlg.Entity.Sum.Definition

Methods

(==) :: Sum r a -> Sum r a -> Bool

(/=) :: Sum r a -> Sum r a -> Bool

(Fibred a, Entity r) => Eq (SumForm r a)

Defined in OAlg.Entity.Sum.Definition

Methods

(==) :: SumForm r a -> SumForm r a -> Bool

(/=) :: SumForm r a -> SumForm r a -> Bool

(Entity a, Entity r) => Eq (SumSymbol r a)

Defined in OAlg.Entity.Sum.SumSymbol

Methods

(==) :: SumSymbol r a -> SumSymbol r a -> Bool

(/=) :: SumSymbol r a -> SumSymbol r a -> Bool

Eq (ConeStruct s a)

Defined in OAlg.Limes.Cone.Definition

Methods

(==) :: ConeStruct s a -> ConeStruct s a -> Bool

(/=) :: ConeStruct s a -> ConeStruct s a -> Bool

Eq (Struct s x)

Defined in OAlg.Structure.Definition

Methods

(==) :: Struct s x -> Struct s x -> Bool

(/=) :: Struct s x -> Struct s x -> Bool

Eq r => Eq (Digits b r)

Defined in OAlg.Structure.Number.Definition

Methods

(==) :: Digits b r -> Digits b r -> Bool

(/=) :: Digits b r -> Digits b r -> Bool

(Eq a, Eq b) => Eq (a, b)

Defined in GHC.Classes

Methods

(==) :: (a, b) -> (a, b) -> Bool

(/=) :: (a, b) -> (a, b) -> Bool

Eq a => Eq (Const a b)

Since: base-4.9.0.0

Defined in Data.Functor.Const

Methods

(==) :: Const a b -> Const a b -> Bool

(/=) :: Const a b -> Const a b -> Bool

Eq (f a) => Eq (Ap f a)

Since: base-4.12.0.0

Defined in Data.Monoid

Methods

(==) :: Ap f a -> Ap f a -> Bool

(/=) :: Ap f a -> Ap f a -> Bool

Eq (f a) => Eq (Alt f a)

Since: base-4.8.0.0

Defined in Data.Semigroup.Internal

Methods

(==) :: Alt f a -> Alt f a -> Bool

(/=) :: Alt f a -> Alt f a -> Bool

Eq (a :~: b)

Since: base-4.7.0.0

Defined in Data.Type.Equality

Methods

(==) :: (a :~: b) -> (a :~: b) -> Bool

(/=) :: (a :~: b) -> (a :~: b) -> Bool

Eq (OrderingI a b)

Defined in Data.Type.Ord

Methods

(==) :: OrderingI a b -> OrderingI a b -> Bool

(/=) :: OrderingI a b -> OrderingI a b -> Bool

Eq (STArray s i e)

Since: base-2.1

Defined in GHC.Arr

Methods

(==) :: STArray s i e -> STArray s i e -> Bool

(/=) :: STArray s i e -> STArray s i e -> Bool

Eq (f p) => Eq (Rec1 f p)

Since: base-4.7.0.0

Defined in GHC.Generics

Methods

(==) :: Rec1 f p -> Rec1 f p -> Bool

(/=) :: Rec1 f p -> Rec1 f p -> Bool

Eq (URec (Ptr ()) p)

Since: base-4.9.0.0

Defined in GHC.Generics

Methods

(==) :: URec (Ptr ()) p -> URec (Ptr ()) p -> Bool

(/=) :: URec (Ptr ()) p -> URec (Ptr ()) p -> Bool

Eq (URec Char p)

Since: base-4.9.0.0

Defined in GHC.Generics

Methods

(==) :: URec Char p -> URec Char p -> Bool

(/=) :: URec Char p -> URec Char p -> Bool

Eq (URec Double p)

Since: base-4.9.0.0

Defined in GHC.Generics

Methods

(==) :: URec Double p -> URec Double p -> Bool

(/=) :: URec Double p -> URec Double p -> Bool

Eq (URec Float p)

Defined in GHC.Generics

Methods

(==) :: URec Float p -> URec Float p -> Bool

(/=) :: URec Float p -> URec Float p -> Bool

Eq (URec Int p)

Since: base-4.9.0.0

Defined in GHC.Generics

Methods

(==) :: URec Int p -> URec Int p -> Bool

(/=) :: URec Int p -> URec Int p -> Bool

Eq (URec Word p)

Since: base-4.9.0.0

Defined in GHC.Generics

Methods

(==) :: URec Word p -> URec Word p -> Bool

(/=) :: URec Word p -> URec Word p -> Bool

Eq (Homomorphous s x y)

Defined in OAlg.Category.Definition

Methods

(==) :: Homomorphous s x y -> Homomorphous s x y -> Bool

(/=) :: Homomorphous s x y -> Homomorphous s x y -> Bool

Eq2 (Path m) => Eq (Path m x y)

Defined in OAlg.Category.Path

Methods

(==) :: Path m x y -> Path m x y -> Bool

(/=) :: Path m x y -> Path m x y -> Bool

(Eq x, Eq i, Eq j) => Eq (Entries i j x)

Defined in OAlg.Entity.Matrix.Entries

Methods

(==) :: Entries i j x -> Entries i j x -> Bool

(/=) :: Entries i j x -> Entries i j x -> Bool

Semiring r => Eq (HomSymbol r x y)

Defined in OAlg.Entity.Matrix.Vector

Methods

(==) :: HomSymbol r x y -> HomSymbol r x y -> Bool

(/=) :: HomSymbol r x y -> HomSymbol r x y -> Bool

(Eq1 i, Eq c) => Eq (Slice s i c)

Defined in OAlg.Entity.Slice.Definition

Methods

(==) :: Slice s i c -> Slice s i c -> Bool

(/=) :: Slice s i c -> Slice s i c -> Bool

(Eq1 i, Eq c) => Eq (SliceFactor s i c)

Defined in OAlg.Entity.Slice.Definition

Methods

(==) :: SliceFactor s i c -> SliceFactor s i c -> Bool

(/=) :: SliceFactor s i c -> SliceFactor s i c -> Bool

Eq (SliceFactorDrop s x y)

Defined in OAlg.Entity.Slice.Definition

Methods

(==) :: SliceFactorDrop s x y -> SliceFactorDrop s x y -> Bool

(/=) :: SliceFactorDrop s x y -> SliceFactorDrop s x y -> Bool

Eq (HomOp s a b)

Defined in OAlg.Hom.Oriented.Definition

Methods

(==) :: HomOp s a b -> HomOp s a b -> Bool

(/=) :: HomOp s a b -> HomOp s a b -> Bool

Eq (IdHom s a b)

Defined in OAlg.Hom.Oriented.Definition

Methods

(==) :: IdHom s a b -> IdHom s a b -> Bool

(/=) :: IdHom s a b -> IdHom s a b -> Bool

ForgetfulTyp s => Eq (IsoOp s a b)

Defined in OAlg.Hom.Oriented.Definition

Methods

(==) :: IsoOp s a b -> IsoOp s a b -> Bool

(/=) :: IsoOp s a b -> IsoOp s a b -> Bool

Oriented a => Eq (FactorChain s n a)

Defined in OAlg.Limes.Cone.Definition

Methods

(==) :: FactorChain s n a -> FactorChain s n a -> Bool

(/=) :: FactorChain s n a -> FactorChain s n a -> Bool

(Eq e, Eq1 m, Eq a) => Eq (ErrorT e m a)

Defined in Control.Monad.Trans.Error

Methods

(==) :: ErrorT e m a -> ErrorT e m a -> Bool

(/=) :: ErrorT e m a -> ErrorT e m a -> Bool

(Eq a, Eq b, Eq c) => Eq (a, b, c)

Defined in GHC.Classes

Methods

(==) :: (a, b, c) -> (a, b, c) -> Bool

(/=) :: (a, b, c) -> (a, b, c) -> Bool

(Eq1 f, Eq1 g, Eq a) => Eq (Product f g a)

Since: base-4.9.0.0

Defined in Data.Functor.Product

Methods

(==) :: Product f g a -> Product f g a -> Bool

(/=) :: Product f g a -> Product f g a -> Bool

(Eq1 f, Eq1 g, Eq a) => Eq (Sum f g a)

Since: base-4.9.0.0

Defined in Data.Functor.Sum

Methods

(==) :: Sum f g a -> Sum f g a -> Bool

(/=) :: Sum f g a -> Sum f g a -> Bool

Eq (a :~~: b)

Since: base-4.10.0.0

Defined in Data.Type.Equality

Methods

(==) :: (a :~~: b) -> (a :~~: b) -> Bool

(/=) :: (a :~~: b) -> (a :~~: b) -> Bool

(Eq (f p), Eq (g p)) => Eq ((f :*: g) p)

Since: base-4.7.0.0

Defined in GHC.Generics

Methods

(==) :: (f :*: g) p -> (f :*: g) p -> Bool

(/=) :: (f :*: g) p -> (f :*: g) p -> Bool

(Eq (f p), Eq (g p)) => Eq ((f :+: g) p)

Since: base-4.7.0.0

Defined in GHC.Generics

Methods

(==) :: (f :+: g) p -> (f :+: g) p -> Bool

(/=) :: (f :+: g) p -> (f :+: g) p -> Bool

Eq c => Eq (K1 i c p)

Since: base-4.7.0.0

Defined in GHC.Generics

Methods

(==) :: K1 i c p -> K1 i c p -> Bool

(/=) :: K1 i c p -> K1 i c p -> Bool

Eq2 m => Eq (Forget t m x y)

Defined in OAlg.Category.Definition

Methods

(==) :: Forget t m x y -> Forget t m x y -> Bool

(/=) :: Forget t m x y -> Forget t m x y -> Bool

Oriented a => Eq (Diagram t n m a)

Defined in OAlg.Entity.Diagram.Definition

Methods

(==) :: Diagram t n m a -> Diagram t n m a -> Bool

(/=) :: Diagram t n m a -> Diagram t n m a -> Bool

Oriented a => Eq (Transformation t n m a)

Defined in OAlg.Entity.Diagram.Transformation

Methods

(==) :: Transformation t n m a -> Transformation t n m a -> Bool

(/=) :: Transformation t n m a -> Transformation t n m a -> Bool

Eq (SliceCokernelKernel i c x y)

Defined in OAlg.Entity.Slice.Adjunction

Methods

(==) :: SliceCokernelKernel i c x y -> SliceCokernelKernel i c x y -> Bool

(/=) :: SliceCokernelKernel i c x y -> SliceCokernelKernel i c x y -> Bool

ForgetfulTyp s => Eq (IsoOpMap f s a b)

Defined in OAlg.Hom.Oriented.Definition

Methods

(==) :: IsoOpMap f s a b -> IsoOpMap f s a b -> Bool

(/=) :: IsoOpMap f s a b -> IsoOpMap f s a b -> Bool

Eq (OpMap f s a b)

Defined in OAlg.Hom.Oriented.Definition

Methods

(==) :: OpMap f s a b -> OpMap f s a b -> Bool

(/=) :: OpMap f s a b -> OpMap f s a b -> Bool

(Eq a, Eq b, Eq c, Eq d) => Eq (a, b, c, d)

Defined in GHC.Classes

Methods

(==) :: (a, b, c, d) -> (a, b, c, d) -> Bool

(/=) :: (a, b, c, d) -> (a, b, c, d) -> Bool

(Eq1 f, Eq1 g, Eq a) => Eq (Compose f g a)

Since: base-4.9.0.0

Defined in Data.Functor.Compose

Methods

(==) :: Compose f g a -> Compose f g a -> Bool

(/=) :: Compose f g a -> Compose f g a -> Bool

Eq (f (g p)) => Eq ((f :.: g) p)

Since: base-4.7.0.0

Defined in GHC.Generics

Methods

(==) :: (f :.: g) p -> (f :.: g) p -> Bool

(/=) :: (f :.: g) p -> (f :.: g) p -> Bool

Eq (f p) => Eq (M1 i c f p)

Since: base-4.7.0.0

Defined in GHC.Generics

Methods

(==) :: M1 i c f p -> M1 i c f p -> Bool

(/=) :: M1 i c f p -> M1 i c f p -> Bool

(Eq a, Eq b, Eq c, Eq d, Eq e) => Eq (a, b, c, d, e)

Defined in GHC.Classes

Methods

(==) :: (a, b, c, d, e) -> (a, b, c, d, e) -> Bool

(/=) :: (a, b, c, d, e) -> (a, b, c, d, e) -> Bool

Eq (Cone s p t n m a)

Defined in OAlg.Limes.Cone.Definition

Methods

(==) :: Cone s p t n m a -> Cone s p t n m a -> Bool

(/=) :: Cone s p t n m a -> Cone s p t n m a -> Bool

Eq (ConeZeroHead s p t n m a)

Defined in OAlg.Limes.Cone.Definition

Methods

(==) :: ConeZeroHead s p t n m a -> ConeZeroHead s p t n m a -> Bool

(/=) :: ConeZeroHead s p t n m a -> ConeZeroHead s p t n m a -> Bool

Oriented a => Eq (Limes s p t n m a)

see OAlg.Limes.Definition

Defined in OAlg.Limes.Definition

Methods

(==) :: Limes s p t n m a -> Limes s p t n m a -> Bool

(/=) :: Limes s p t n m a -> Limes s p t n m a -> Bool

(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f) => Eq (a, b, c, d, e, f)

Defined in GHC.Classes

Methods

(==) :: (a, b, c, d, e, f) -> (a, b, c, d, e, f) -> Bool

(/=) :: (a, b, c, d, e, f) -> (a, b, c, d, e, f) -> Bool

(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g) => Eq (a, b, c, d, e, f, g)

Defined in GHC.Classes

Methods

(==) :: (a, b, c, d, e, f, g) -> (a, b, c, d, e, f, g) -> Bool

(/=) :: (a, b, c, d, e, f, g) -> (a, b, c, d, e, f, g) -> Bool

(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h) => Eq (a, b, c, d, e, f, g, h)

Defined in GHC.Classes

Methods

(==) :: (a, b, c, d, e, f, g, h) -> (a, b, c, d, e, f, g, h) -> Bool

(/=) :: (a, b, c, d, e, f, g, h) -> (a, b, c, d, e, f, g, h) -> Bool

(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i) => Eq (a, b, c, d, e, f, g, h, i)

Defined in GHC.Classes

Methods

(==) :: (a, b, c, d, e, f, g, h, i) -> (a, b, c, d, e, f, g, h, i) -> Bool

(/=) :: (a, b, c, d, e, f, g, h, i) -> (a, b, c, d, e, f, g, h, i) -> Bool

(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j) => Eq (a, b, c, d, e, f, g, h, i, j)

Defined in GHC.Classes

Methods

(==) :: (a, b, c, d, e, f, g, h, i, j) -> (a, b, c, d, e, f, g, h, i, j) -> Bool

(/=) :: (a, b, c, d, e, f, g, h, i, j) -> (a, b, c, d, e, f, g, h, i, j) -> Bool

(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k) => Eq (a, b, c, d, e, f, g, h, i, j, k)

Defined in GHC.Classes

Methods

(==) :: (a, b, c, d, e, f, g, h, i, j, k) -> (a, b, c, d, e, f, g, h, i, j, k) -> Bool

(/=) :: (a, b, c, d, e, f, g, h, i, j, k) -> (a, b, c, d, e, f, g, h, i, j, k) -> Bool

(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l) => Eq (a, b, c, d, e, f, g, h, i, j, k, l)

Defined in GHC.Classes

Methods

(==) :: (a, b, c, d, e, f, g, h, i, j, k, l) -> (a, b, c, d, e, f, g, h, i, j, k, l) -> Bool

(/=) :: (a, b, c, d, e, f, g, h, i, j, k, l) -> (a, b, c, d, e, f, g, h, i, j, k, l) -> Bool

(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m) => Eq (a, b, c, d, e, f, g, h, i, j, k, l, m)

Defined in GHC.Classes

Methods

(==) :: (a, b, c, d, e, f, g, h, i, j, k, l, m) -> (a, b, c, d, e, f, g, h, i, j, k, l, m) -> Bool

(/=) :: (a, b, c, d, e, f, g, h, i, j, k, l, m) -> (a, b, c, d, e, f, g, h, i, j, k, l, m) -> Bool

(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m, Eq n) => Eq (a, b, c, d, e, f, g, h, i, j, k, l, m, n)

Defined in GHC.Classes

Methods

(==) :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n) -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n) -> Bool

(/=) :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n) -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n) -> Bool

(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m, Eq n, Eq o) => Eq (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)

Defined in GHC.Classes

Methods

(==) :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) -> Bool

(/=) :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) -> Bool

eql :: (a -> a -> Ordering) -> a -> a -> Bool

equal.

ngt :: (a -> a -> Ordering) -> a -> a -> Bool

not greater than.

Eq1

class Eq1 p where

equality on values for one parameterized types.

Minimal complete definition

Nothing

Methods

eq1 :: p x -> p x -> Bool

default eq1 :: Eq (p x) => p x -> p x -> Bool

Instances

Eq1 (Proxy :: Type -> Type)

Defined in OAlg.Data.Equal

Methods

eq1 :: Proxy x -> Proxy x -> Bool

Eq1 (Free k)

Defined in OAlg.Entity.Slice.Free

Methods

eq1 :: Free k x -> Free k x -> Bool

Eq1 (Struct s)

Defined in OAlg.Structure.Definition

Methods

eq1 :: Struct s x -> Struct s x -> Bool

Eq2

class Eq2 h where

equality on values for two parameterized types.

Note We use this class meanly in the context of Path.

Minimal complete definition

Nothing

Methods

eq2 :: h x y -> h x y -> Bool

default eq2 :: Eq (h x y) => h x y -> h x y -> Bool

Instances

Eq2 Empty2

Defined in OAlg.Entity.Definition

Methods

eq2 :: Empty2 x y -> Empty2 x y -> Bool

Eq2 GLApp

Defined in OAlg.Entity.Matrix.GeneralLinearGroup

Methods

eq2 :: GLApp x y -> GLApp x y -> Bool

Eq2 TrApp

Defined in OAlg.Entity.Matrix.GeneralLinearGroup

Methods

eq2 :: TrApp x y -> TrApp x y -> Bool

Eq2 (Homomorphous m)

Defined in OAlg.Category.Definition

Methods

eq2 :: Homomorphous m x y -> Homomorphous m x y -> Bool

(EmbeddableMorphismTyp m, Eq2 m) => Eq2 (Path m)

Defined in OAlg.Category.Path

Methods

eq2 :: Path m x y -> Path m x y -> Bool

Eq2 h => Eq2 (Op2 h)

Defined in OAlg.Data.Opposite

Methods

eq2 :: Op2 h x y -> Op2 h x y -> Bool

Semiring r => Eq2 (HomSymbol r)

Defined in OAlg.Entity.Matrix.Vector

Methods

eq2 :: HomSymbol r x y -> HomSymbol r x y -> Bool

Eq2 (SliceFactorDrop s)

Defined in OAlg.Entity.Slice.Definition

Methods

eq2 :: SliceFactorDrop s x y -> SliceFactorDrop s x y -> Bool

Eq2 (HomOp s)

Defined in OAlg.Hom.Oriented.Definition

Methods

eq2 :: HomOp s x y -> HomOp s x y -> Bool

Eq2 (IdHom s)

Defined in OAlg.Hom.Oriented.Definition

Methods

eq2 :: IdHom s x y -> IdHom s x y -> Bool

ForgetfulTyp s => Eq2 (IsoOp s)

Defined in OAlg.Hom.Oriented.Definition

Methods

eq2 :: IsoOp s x y -> IsoOp s x y -> Bool

Eq2 h => Eq2 (OpHom h)

Defined in OAlg.Hom.Oriented.Definition

Methods

eq2 :: OpHom h x y -> OpHom h x y -> Bool

Eq2 m => Eq2 (Forget t m)

Defined in OAlg.Category.Definition

Methods

eq2 :: Forget t m x y -> Forget t m x y -> Bool

(Eq2 f, Eq2 g) => Eq2 (Either2 f g)

Defined in OAlg.Data.Either

Methods

eq2 :: Either2 f g x y -> Either2 f g x y -> Bool

Eq2 (SliceCokernelKernel i c)

Defined in OAlg.Entity.Slice.Adjunction

Methods

eq2 :: SliceCokernelKernel i c x y -> SliceCokernelKernel i c x y -> Bool

ForgetfulTyp s => Eq2 (IsoOpMap f s)

Defined in OAlg.Hom.Oriented.Definition

Methods

eq2 :: IsoOpMap f s x y -> IsoOpMap f s x y -> Bool

Eq2 (OpMap f s)

Defined in OAlg.Hom.Oriented.Definition

Methods

eq2 :: OpMap f s x y -> OpMap f s x y -> Bool