Copyright	(c) Erich Gut
License	BSD3
Maintainer	zerich.gut@gmail.com
Safe Haskell	Safe-Inferred
Language	Haskell2010

OAlg.Data.Equal

Contents

Eq
Eq1
Eq2

Description

equality on values.

Synopsis

class Eq a where
- (==) :: a -> a -> Bool
- (/=) :: a -> a -> Bool
eql :: (a -> a -> Ordering) -> a -> a -> Bool
ngt :: (a -> a -> Ordering) -> a -> a -> Bool
class Eq1 p where
- eq1 :: p x -> p x -> Bool
class Eq2 h where
- eq2 :: h x y -> h x y -> Bool

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

Instances details

Eq All	Since: base-2.1
Instance details Defined in Data.Semigroup.Internal Methods (==) :: All -> All -> Bool # (/=) :: All -> All -> Bool #
Eq Any	Since: base-2.1
Instance details Defined in Data.Semigroup.Internal Methods (==) :: Any -> Any -> Bool # (/=) :: Any -> Any -> Bool #
Eq SomeTypeRep
Instance details Defined in Data.Typeable.Internal Methods (==) :: SomeTypeRep -> SomeTypeRep -> Bool # (/=) :: SomeTypeRep -> SomeTypeRep -> Bool #
Eq Unique
Instance details Defined in Data.Unique Methods (==) :: Unique -> Unique -> Bool # (/=) :: Unique -> Unique -> Bool #
Eq Version	Since: base-2.1
Instance details Defined in Data.Version Methods (==) :: Version -> Version -> Bool # (/=) :: Version -> Version -> Bool #
Eq Void	Since: base-4.8.0.0
Instance details Defined in Data.Void Methods (==) :: Void -> Void -> Bool # (/=) :: Void -> Void -> Bool #
Eq CBool
Instance details Defined in Foreign.C.Types Methods (==) :: CBool -> CBool -> Bool # (/=) :: CBool -> CBool -> Bool #
Eq CChar
Instance details Defined in Foreign.C.Types Methods (==) :: CChar -> CChar -> Bool # (/=) :: CChar -> CChar -> Bool #
Eq CClock
Instance details Defined in Foreign.C.Types Methods (==) :: CClock -> CClock -> Bool # (/=) :: CClock -> CClock -> Bool #
Eq CDouble
Instance details Defined in Foreign.C.Types Methods (==) :: CDouble -> CDouble -> Bool # (/=) :: CDouble -> CDouble -> Bool #
Eq CFloat
Instance details Defined in Foreign.C.Types Methods (==) :: CFloat -> CFloat -> Bool # (/=) :: CFloat -> CFloat -> Bool #
Eq CInt
Instance details Defined in Foreign.C.Types Methods (==) :: CInt -> CInt -> Bool # (/=) :: CInt -> CInt -> Bool #
Eq CIntMax
Instance details Defined in Foreign.C.Types Methods (==) :: CIntMax -> CIntMax -> Bool # (/=) :: CIntMax -> CIntMax -> Bool #
Eq CIntPtr
Instance details Defined in Foreign.C.Types Methods (==) :: CIntPtr -> CIntPtr -> Bool # (/=) :: CIntPtr -> CIntPtr -> Bool #
Eq CLLong
Instance details Defined in Foreign.C.Types Methods (==) :: CLLong -> CLLong -> Bool # (/=) :: CLLong -> CLLong -> Bool #
Eq CLong
Instance details Defined in Foreign.C.Types Methods (==) :: CLong -> CLong -> Bool # (/=) :: CLong -> CLong -> Bool #
Eq CPtrdiff
Instance details Defined in Foreign.C.Types Methods (==) :: CPtrdiff -> CPtrdiff -> Bool # (/=) :: CPtrdiff -> CPtrdiff -> Bool #
Eq CSChar
Instance details Defined in Foreign.C.Types Methods (==) :: CSChar -> CSChar -> Bool # (/=) :: CSChar -> CSChar -> Bool #
Eq CSUSeconds
Instance details Defined in Foreign.C.Types Methods (==) :: CSUSeconds -> CSUSeconds -> Bool # (/=) :: CSUSeconds -> CSUSeconds -> Bool #
Eq CShort
Instance details Defined in Foreign.C.Types Methods (==) :: CShort -> CShort -> Bool # (/=) :: CShort -> CShort -> Bool #
Eq CSigAtomic
Instance details Defined in Foreign.C.Types Methods (==) :: CSigAtomic -> CSigAtomic -> Bool # (/=) :: CSigAtomic -> CSigAtomic -> Bool #
Eq CSize
Instance details Defined in Foreign.C.Types Methods (==) :: CSize -> CSize -> Bool # (/=) :: CSize -> CSize -> Bool #
Eq CTime
Instance details Defined in Foreign.C.Types Methods (==) :: CTime -> CTime -> Bool # (/=) :: CTime -> CTime -> Bool #
Eq CUChar
Instance details Defined in Foreign.C.Types Methods (==) :: CUChar -> CUChar -> Bool # (/=) :: CUChar -> CUChar -> Bool #
Eq CUInt
Instance details Defined in Foreign.C.Types Methods (==) :: CUInt -> CUInt -> Bool # (/=) :: CUInt -> CUInt -> Bool #
Eq CUIntMax
Instance details Defined in Foreign.C.Types Methods (==) :: CUIntMax -> CUIntMax -> Bool # (/=) :: CUIntMax -> CUIntMax -> Bool #
Eq CUIntPtr
Instance details Defined in Foreign.C.Types Methods (==) :: CUIntPtr -> CUIntPtr -> Bool # (/=) :: CUIntPtr -> CUIntPtr -> Bool #
Eq CULLong
Instance details Defined in Foreign.C.Types Methods (==) :: CULLong -> CULLong -> Bool # (/=) :: CULLong -> CULLong -> Bool #
Eq CULong
Instance details Defined in Foreign.C.Types Methods (==) :: CULong -> CULong -> Bool # (/=) :: CULong -> CULong -> Bool #
Eq CUSeconds
Instance details Defined in Foreign.C.Types Methods (==) :: CUSeconds -> CUSeconds -> Bool # (/=) :: CUSeconds -> CUSeconds -> Bool #
Eq CUShort
Instance details Defined in Foreign.C.Types Methods (==) :: CUShort -> CUShort -> Bool # (/=) :: CUShort -> CUShort -> Bool #
Eq CWchar
Instance details Defined in Foreign.C.Types Methods (==) :: CWchar -> CWchar -> Bool # (/=) :: CWchar -> CWchar -> Bool #
Eq BlockReason	Since: base-4.3.0.0
Instance details Defined in GHC.Conc.Sync Methods (==) :: BlockReason -> BlockReason -> Bool # (/=) :: BlockReason -> BlockReason -> Bool #
Eq ThreadId	Since: base-4.2.0.0
Instance details Defined in GHC.Conc.Sync Methods (==) :: ThreadId -> ThreadId -> Bool # (/=) :: ThreadId -> ThreadId -> Bool #
Eq ThreadStatus	Since: base-4.3.0.0
Instance details Defined in GHC.Conc.Sync Methods (==) :: ThreadStatus -> ThreadStatus -> Bool # (/=) :: ThreadStatus -> ThreadStatus -> Bool #
Eq ErrorCall	Since: base-4.7.0.0
Instance details Defined in GHC.Exception Methods (==) :: ErrorCall -> ErrorCall -> Bool # (/=) :: ErrorCall -> ErrorCall -> Bool #
Eq ArithException	Since: base-3.0
Instance details Defined in GHC.Exception.Type Methods (==) :: ArithException -> ArithException -> Bool # (/=) :: ArithException -> ArithException -> Bool #
Eq SpecConstrAnnotation	Since: base-4.3.0.0
Instance details Defined in GHC.Exts Methods (==) :: SpecConstrAnnotation -> SpecConstrAnnotation -> Bool # (/=) :: SpecConstrAnnotation -> SpecConstrAnnotation -> Bool #
Eq Fingerprint	Since: base-4.4.0.0
Instance details Defined in GHC.Fingerprint.Type Methods (==) :: Fingerprint -> Fingerprint -> Bool # (/=) :: Fingerprint -> Fingerprint -> Bool #
Eq Associativity	Since: base-4.6.0.0
Instance details Defined in GHC.Generics Methods (==) :: Associativity -> Associativity -> Bool # (/=) :: Associativity -> Associativity -> Bool #
Eq DecidedStrictness	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods (==) :: DecidedStrictness -> DecidedStrictness -> Bool # (/=) :: DecidedStrictness -> DecidedStrictness -> Bool #
Eq Fixity	Since: base-4.6.0.0
Instance details Defined in GHC.Generics Methods (==) :: Fixity -> Fixity -> Bool # (/=) :: Fixity -> Fixity -> Bool #
Eq SourceStrictness	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods (==) :: SourceStrictness -> SourceStrictness -> Bool # (/=) :: SourceStrictness -> SourceStrictness -> Bool #
Eq SourceUnpackedness	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods (==) :: SourceUnpackedness -> SourceUnpackedness -> Bool # (/=) :: SourceUnpackedness -> SourceUnpackedness -> Bool #
Eq MaskingState	Since: base-4.3.0.0
Instance details Defined in GHC.IO Methods (==) :: MaskingState -> MaskingState -> Bool # (/=) :: MaskingState -> MaskingState -> Bool #
Eq IODeviceType	Since: base-4.2.0.0
Instance details Defined in GHC.IO.Device Methods (==) :: IODeviceType -> IODeviceType -> Bool # (/=) :: IODeviceType -> IODeviceType -> Bool #
Eq SeekMode	Since: base-4.2.0.0
Instance details Defined in GHC.IO.Device Methods (==) :: SeekMode -> SeekMode -> Bool # (/=) :: SeekMode -> SeekMode -> Bool #
Eq CodingProgress	Since: base-4.4.0.0
Instance details Defined in GHC.IO.Encoding.Types Methods (==) :: CodingProgress -> CodingProgress -> Bool # (/=) :: CodingProgress -> CodingProgress -> Bool #
Eq ArrayException	Since: base-4.2.0.0
Instance details Defined in GHC.IO.Exception Methods (==) :: ArrayException -> ArrayException -> Bool # (/=) :: ArrayException -> ArrayException -> Bool #
Eq AsyncException	Since: base-4.2.0.0
Instance details Defined in GHC.IO.Exception Methods (==) :: AsyncException -> AsyncException -> Bool # (/=) :: AsyncException -> AsyncException -> Bool #
Eq ExitCode
Instance details Defined in GHC.IO.Exception Methods (==) :: ExitCode -> ExitCode -> Bool # (/=) :: ExitCode -> ExitCode -> Bool #
Eq IOErrorType	Since: base-4.1.0.0
Instance details Defined in GHC.IO.Exception Methods (==) :: IOErrorType -> IOErrorType -> Bool # (/=) :: IOErrorType -> IOErrorType -> Bool #
Eq IOException	Since: base-4.1.0.0
Instance details Defined in GHC.IO.Exception Methods (==) :: IOException -> IOException -> Bool # (/=) :: IOException -> IOException -> Bool #
Eq HandlePosn	Since: base-4.1.0.0
Instance details Defined in GHC.IO.Handle Methods (==) :: HandlePosn -> HandlePosn -> Bool # (/=) :: HandlePosn -> HandlePosn -> Bool #
Eq BufferMode	Since: base-4.2.0.0
Instance details Defined in GHC.IO.Handle.Types Methods (==) :: BufferMode -> BufferMode -> Bool # (/=) :: BufferMode -> BufferMode -> Bool #
Eq Handle	Since: base-4.1.0.0
Instance details Defined in GHC.IO.Handle.Types Methods (==) :: Handle -> Handle -> Bool # (/=) :: Handle -> Handle -> Bool #
Eq Newline	Since: base-4.2.0.0
Instance details Defined in GHC.IO.Handle.Types Methods (==) :: Newline -> Newline -> Bool # (/=) :: Newline -> Newline -> Bool #
Eq NewlineMode	Since: base-4.2.0.0
Instance details Defined in GHC.IO.Handle.Types Methods (==) :: NewlineMode -> NewlineMode -> Bool # (/=) :: NewlineMode -> NewlineMode -> Bool #
Eq IOMode	Since: base-4.2.0.0
Instance details Defined in GHC.IO.IOMode Methods (==) :: IOMode -> IOMode -> Bool # (/=) :: IOMode -> IOMode -> Bool #
Eq Int16	Since: base-2.1
Instance details Defined in GHC.Int Methods (==) :: Int16 -> Int16 -> Bool # (/=) :: Int16 -> Int16 -> Bool #
Eq Int32	Since: base-2.1
Instance details Defined in GHC.Int Methods (==) :: Int32 -> Int32 -> Bool # (/=) :: Int32 -> Int32 -> Bool #
Eq Int64	Since: base-2.1
Instance details Defined in GHC.Int Methods (==) :: Int64 -> Int64 -> Bool # (/=) :: Int64 -> Int64 -> Bool #
Eq Int8	Since: base-2.1
Instance details Defined in GHC.Int Methods (==) :: Int8 -> Int8 -> Bool # (/=) :: Int8 -> Int8 -> Bool #
Eq SrcLoc	Since: base-4.9.0.0
Instance details Defined in GHC.Stack.Types Methods (==) :: SrcLoc -> SrcLoc -> Bool # (/=) :: SrcLoc -> SrcLoc -> Bool #
Eq SomeChar
Instance details Defined in GHC.TypeLits Methods (==) :: SomeChar -> SomeChar -> Bool # (/=) :: SomeChar -> SomeChar -> Bool #
Eq SomeSymbol	Since: base-4.7.0.0
Instance details Defined in GHC.TypeLits Methods (==) :: SomeSymbol -> SomeSymbol -> Bool # (/=) :: SomeSymbol -> SomeSymbol -> Bool #
Eq SomeNat	Since: base-4.7.0.0
Instance details Defined in GHC.TypeNats Methods (==) :: SomeNat -> SomeNat -> Bool # (/=) :: SomeNat -> SomeNat -> Bool #
Eq GeneralCategory	Since: base-2.1
Instance details Defined in GHC.Unicode Methods (==) :: GeneralCategory -> GeneralCategory -> Bool # (/=) :: GeneralCategory -> GeneralCategory -> Bool #
Eq Word16	Since: base-2.1
Instance details Defined in GHC.Word Methods (==) :: Word16 -> Word16 -> Bool # (/=) :: Word16 -> Word16 -> Bool #
Eq Word32	Since: base-2.1
Instance details Defined in GHC.Word Methods (==) :: Word32 -> Word32 -> Bool # (/=) :: Word32 -> Word32 -> Bool #
Eq Word64	Since: base-2.1
Instance details Defined in GHC.Word Methods (==) :: Word64 -> Word64 -> Bool # (/=) :: Word64 -> Word64 -> Bool #
Eq Word8	Since: base-2.1
Instance details Defined in GHC.Word Methods (==) :: Word8 -> Word8 -> Bool # (/=) :: Word8 -> Word8 -> Bool #
Eq Lexeme	Since: base-2.1
Instance details Defined in Text.Read.Lex Methods (==) :: Lexeme -> Lexeme -> Bool # (/=) :: Lexeme -> Lexeme -> Bool #
Eq Number	Since: base-4.6.0.0
Instance details Defined in Text.Read.Lex Methods (==) :: Number -> Number -> Bool # (/=) :: Number -> Number -> Bool #
Eq ByteString
Instance details Defined in Data.ByteString.Internal Methods (==) :: ByteString -> ByteString -> Bool # (/=) :: ByteString -> ByteString -> Bool #
Eq ByteString
Instance details Defined in Data.ByteString.Lazy.Internal Methods (==) :: ByteString -> ByteString -> Bool # (/=) :: ByteString -> ByteString -> Bool #
Eq ShortByteString
Instance details Defined in Data.ByteString.Short.Internal Methods (==) :: ShortByteString -> ShortByteString -> Bool # (/=) :: ShortByteString -> ShortByteString -> Bool #
Eq ForeignSrcLang
Instance details Defined in GHC.ForeignSrcLang.Type Methods (==) :: ForeignSrcLang -> ForeignSrcLang -> Bool # (/=) :: ForeignSrcLang -> ForeignSrcLang -> Bool #
Eq Extension
Instance details Defined in GHC.LanguageExtensions.Type Methods (==) :: Extension -> Extension -> Bool # (/=) :: Extension -> Extension -> Bool #
Eq Module
Instance details Defined in GHC.Classes Methods (==) :: Module -> Module -> Bool # (/=) :: Module -> Module -> Bool #
Eq Ordering
Instance details Defined in GHC.Classes Methods (==) :: Ordering -> Ordering -> Bool # (/=) :: Ordering -> Ordering -> Bool #
Eq TrName
Instance details Defined in GHC.Classes Methods (==) :: TrName -> TrName -> Bool # (/=) :: TrName -> TrName -> Bool #
Eq TyCon
Instance details Defined in GHC.Classes Methods (==) :: TyCon -> TyCon -> Bool # (/=) :: TyCon -> TyCon -> Bool #
Eq Stochastic Source #
Instance details Defined in OAlg.Control.Validate Methods (==) :: Stochastic -> Stochastic -> Bool # (/=) :: Stochastic -> Stochastic -> Bool #
Eq Verbosity Source #
Instance details Defined in OAlg.Control.Verbose Methods (==) :: Verbosity -> Verbosity -> Bool # (/=) :: Verbosity -> Verbosity -> Bool #
Eq Direction Source #
Instance details Defined in OAlg.Data.Dualisable Methods (==) :: Direction -> Direction -> Bool # (/=) :: Direction -> Direction -> Bool #
Eq Side Source #
Instance details Defined in OAlg.Data.Dualisable Methods (==) :: Side -> Side -> Bool # (/=) :: Side -> Side -> Bool #
Eq Site Source #
Instance details Defined in OAlg.Data.Dualisable Methods (==) :: Site -> Site -> Bool # (/=) :: Site -> Site -> Bool #
Eq N Source #
Instance details Defined in OAlg.Data.Number Methods (==) :: N -> N -> Bool # (/=) :: N -> N -> Bool #
Eq Q Source #
Instance details Defined in OAlg.Data.Number Methods (==) :: Q -> Q -> Bool # (/=) :: Q -> Q -> Bool #
Eq Z Source #
Instance details Defined in OAlg.Data.Number Methods (==) :: Z -> Z -> Bool # (/=) :: Z -> Z -> Bool #
Eq RdcState Source #
Instance details Defined in OAlg.Data.Reducible Methods (==) :: RdcState -> RdcState -> Bool # (/=) :: RdcState -> RdcState -> Bool #
Eq Valid Source #
Instance details Defined in OAlg.Data.Statement.Definition Methods (==) :: Valid -> Valid -> Bool # (/=) :: Valid -> Valid -> Bool #
Eq ValidateingException Source #
Instance details Defined in OAlg.Data.Statement.Definition Methods (==) :: ValidateingException -> ValidateingException -> Bool # (/=) :: ValidateingException -> ValidateingException -> Bool #
Eq Symbol Source #
Instance details Defined in OAlg.Data.Symbol Methods (==) :: Symbol -> Symbol -> Bool # (/=) :: Symbol -> Symbol -> Bool #
Eq Omega Source #
Instance details Defined in OAlg.Data.X Methods (==) :: Omega -> Omega -> Bool # (/=) :: Omega -> Omega -> Bool #
Eq Empty Source #
Instance details Defined in OAlg.Entity.Definition Methods (==) :: Empty -> Empty -> Bool # (/=) :: Empty -> Empty -> Bool #
Eq DiagramType Source #
Instance details Defined in OAlg.Entity.Diagram.Definition Methods (==) :: DiagramType -> DiagramType -> Bool # (/=) :: DiagramType -> DiagramType -> Bool #
Eq N' Source #
Instance details Defined in OAlg.Entity.Natural Methods (==) :: N' -> N' -> Bool # (/=) :: N' -> N' -> Bool #
Eq SomeNatural Source #
Instance details Defined in OAlg.Entity.Natural Methods (==) :: SomeNatural -> SomeNatural -> Bool # (/=) :: SomeNatural -> SomeNatural -> Bool #
Eq W' Source #
Instance details Defined in OAlg.Entity.Natural Methods (==) :: W' -> W' -> Bool # (/=) :: W' -> W' -> Bool #
Eq SequenceException Source #
Instance details Defined in OAlg.Entity.Sequence.Definition Methods (==) :: SequenceException -> SequenceException -> Bool # (/=) :: SequenceException -> SequenceException -> Bool #
Eq LimesException Source #
Instance details Defined in OAlg.Limes.Definition Methods (==) :: LimesException -> LimesException -> Bool # (/=) :: LimesException -> LimesException -> Bool #
Eq Perspective Source #
Instance details Defined in OAlg.Limes.Perspective Methods (==) :: Perspective -> Perspective -> Bool # (/=) :: Perspective -> Perspective -> Bool #
Eq ArithmeticException Source #
Instance details Defined in OAlg.Structure.Exception Methods (==) :: ArithmeticException -> ArithmeticException -> Bool # (/=) :: ArithmeticException -> ArithmeticException -> Bool #
Eq StdGen
Instance details Defined in System.Random.Internal Methods (==) :: StdGen -> StdGen -> Bool # (/=) :: StdGen -> StdGen -> Bool #
Eq AnnLookup
Instance details Defined in Language.Haskell.TH.Syntax Methods (==) :: AnnLookup -> AnnLookup -> Bool # (/=) :: AnnLookup -> AnnLookup -> Bool #
Eq AnnTarget
Instance details Defined in Language.Haskell.TH.Syntax Methods (==) :: AnnTarget -> AnnTarget -> Bool # (/=) :: AnnTarget -> AnnTarget -> Bool #
Eq Bang
Instance details Defined in Language.Haskell.TH.Syntax Methods (==) :: Bang -> Bang -> Bool # (/=) :: Bang -> Bang -> Bool #
Eq Body
Instance details Defined in Language.Haskell.TH.Syntax Methods (==) :: Body -> Body -> Bool # (/=) :: Body -> Body -> Bool #
Eq Bytes
Instance details Defined in Language.Haskell.TH.Syntax Methods (==) :: Bytes -> Bytes -> Bool # (/=) :: Bytes -> Bytes -> Bool #
Eq Callconv
Instance details Defined in Language.Haskell.TH.Syntax Methods (==) :: Callconv -> Callconv -> Bool # (/=) :: Callconv -> Callconv -> Bool #
Eq Clause
Instance details Defined in Language.Haskell.TH.Syntax Methods (==) :: Clause -> Clause -> Bool # (/=) :: Clause -> Clause -> Bool #
Eq Con
Instance details Defined in Language.Haskell.TH.Syntax Methods (==) :: Con -> Con -> Bool # (/=) :: Con -> Con -> Bool #
Eq Dec
Instance details Defined in Language.Haskell.TH.Syntax Methods (==) :: Dec -> Dec -> Bool # (/=) :: Dec -> Dec -> Bool #
Eq DecidedStrictness
Instance details Defined in Language.Haskell.TH.Syntax Methods (==) :: DecidedStrictness -> DecidedStrictness -> Bool # (/=) :: DecidedStrictness -> DecidedStrictness -> Bool #
Eq DerivClause
Instance details Defined in Language.Haskell.TH.Syntax Methods (==) :: DerivClause -> DerivClause -> Bool # (/=) :: DerivClause -> DerivClause -> Bool #
Eq DerivStrategy
Instance details Defined in Language.Haskell.TH.Syntax Methods (==) :: DerivStrategy -> DerivStrategy -> Bool # (/=) :: DerivStrategy -> DerivStrategy -> Bool #
Eq DocLoc
Instance details Defined in Language.Haskell.TH.Syntax Methods (==) :: DocLoc -> DocLoc -> Bool # (/=) :: DocLoc -> DocLoc -> Bool #
Eq Exp
Instance details Defined in Language.Haskell.TH.Syntax Methods (==) :: Exp -> Exp -> Bool # (/=) :: Exp -> Exp -> Bool #
Eq FamilyResultSig
Instance details Defined in Language.Haskell.TH.Syntax Methods (==) :: FamilyResultSig -> FamilyResultSig -> Bool # (/=) :: FamilyResultSig -> FamilyResultSig -> Bool #
Eq Fixity
Instance details Defined in Language.Haskell.TH.Syntax Methods (==) :: Fixity -> Fixity -> Bool # (/=) :: Fixity -> Fixity -> Bool #
Eq FixityDirection
Instance details Defined in Language.Haskell.TH.Syntax Methods (==) :: FixityDirection -> FixityDirection -> Bool # (/=) :: FixityDirection -> FixityDirection -> Bool #
Eq Foreign
Instance details Defined in Language.Haskell.TH.Syntax Methods (==) :: Foreign -> Foreign -> Bool # (/=) :: Foreign -> Foreign -> Bool #
Eq FunDep
Instance details Defined in Language.Haskell.TH.Syntax Methods (==) :: FunDep -> FunDep -> Bool # (/=) :: FunDep -> FunDep -> Bool #
Eq Guard
Instance details Defined in Language.Haskell.TH.Syntax Methods (==) :: Guard -> Guard -> Bool # (/=) :: Guard -> Guard -> Bool #
Eq Info
Instance details Defined in Language.Haskell.TH.Syntax Methods (==) :: Info -> Info -> Bool # (/=) :: Info -> Info -> Bool #
Eq InjectivityAnn
Instance details Defined in Language.Haskell.TH.Syntax Methods (==) :: InjectivityAnn -> InjectivityAnn -> Bool # (/=) :: InjectivityAnn -> InjectivityAnn -> Bool #
Eq Inline
Instance details Defined in Language.Haskell.TH.Syntax Methods (==) :: Inline -> Inline -> Bool # (/=) :: Inline -> Inline -> Bool #
Eq Lit
Instance details Defined in Language.Haskell.TH.Syntax Methods (==) :: Lit -> Lit -> Bool # (/=) :: Lit -> Lit -> Bool #
Eq Loc
Instance details Defined in Language.Haskell.TH.Syntax Methods (==) :: Loc -> Loc -> Bool # (/=) :: Loc -> Loc -> Bool #
Eq Match
Instance details Defined in Language.Haskell.TH.Syntax Methods (==) :: Match -> Match -> Bool # (/=) :: Match -> Match -> Bool #
Eq ModName
Instance details Defined in Language.Haskell.TH.Syntax Methods (==) :: ModName -> ModName -> Bool # (/=) :: ModName -> ModName -> Bool #
Eq Module
Instance details Defined in Language.Haskell.TH.Syntax Methods (==) :: Module -> Module -> Bool # (/=) :: Module -> Module -> Bool #
Eq ModuleInfo
Instance details Defined in Language.Haskell.TH.Syntax Methods (==) :: ModuleInfo -> ModuleInfo -> Bool # (/=) :: ModuleInfo -> ModuleInfo -> Bool #
Eq Name
Instance details Defined in Language.Haskell.TH.Syntax Methods (==) :: Name -> Name -> Bool # (/=) :: Name -> Name -> Bool #
Eq NameFlavour
Instance details Defined in Language.Haskell.TH.Syntax Methods (==) :: NameFlavour -> NameFlavour -> Bool # (/=) :: NameFlavour -> NameFlavour -> Bool #
Eq NameSpace
Instance details Defined in Language.Haskell.TH.Syntax Methods (==) :: NameSpace -> NameSpace -> Bool # (/=) :: NameSpace -> NameSpace -> Bool #
Eq OccName
Instance details Defined in Language.Haskell.TH.Syntax Methods (==) :: OccName -> OccName -> Bool # (/=) :: OccName -> OccName -> Bool #
Eq Overlap
Instance details Defined in Language.Haskell.TH.Syntax Methods (==) :: Overlap -> Overlap -> Bool # (/=) :: Overlap -> Overlap -> Bool #
Eq Pat
Instance details Defined in Language.Haskell.TH.Syntax Methods (==) :: Pat -> Pat -> Bool # (/=) :: Pat -> Pat -> Bool #
Eq PatSynArgs
Instance details Defined in Language.Haskell.TH.Syntax Methods (==) :: PatSynArgs -> PatSynArgs -> Bool # (/=) :: PatSynArgs -> PatSynArgs -> Bool #
Eq PatSynDir
Instance details Defined in Language.Haskell.TH.Syntax Methods (==) :: PatSynDir -> PatSynDir -> Bool # (/=) :: PatSynDir -> PatSynDir -> Bool #
Eq Phases
Instance details Defined in Language.Haskell.TH.Syntax Methods (==) :: Phases -> Phases -> Bool # (/=) :: Phases -> Phases -> Bool #
Eq PkgName
Instance details Defined in Language.Haskell.TH.Syntax Methods (==) :: PkgName -> PkgName -> Bool # (/=) :: PkgName -> PkgName -> Bool #
Eq Pragma
Instance details Defined in Language.Haskell.TH.Syntax Methods (==) :: Pragma -> Pragma -> Bool # (/=) :: Pragma -> Pragma -> Bool #
Eq Range
Instance details Defined in Language.Haskell.TH.Syntax Methods (==) :: Range -> Range -> Bool # (/=) :: Range -> Range -> Bool #
Eq Role
Instance details Defined in Language.Haskell.TH.Syntax Methods (==) :: Role -> Role -> Bool # (/=) :: Role -> Role -> Bool #
Eq RuleBndr
Instance details Defined in Language.Haskell.TH.Syntax Methods (==) :: RuleBndr -> RuleBndr -> Bool # (/=) :: RuleBndr -> RuleBndr -> Bool #
Eq RuleMatch
Instance details Defined in Language.Haskell.TH.Syntax Methods (==) :: RuleMatch -> RuleMatch -> Bool # (/=) :: RuleMatch -> RuleMatch -> Bool #
Eq Safety
Instance details Defined in Language.Haskell.TH.Syntax Methods (==) :: Safety -> Safety -> Bool # (/=) :: Safety -> Safety -> Bool #
Eq SourceStrictness
Instance details Defined in Language.Haskell.TH.Syntax Methods (==) :: SourceStrictness -> SourceStrictness -> Bool # (/=) :: SourceStrictness -> SourceStrictness -> Bool #
Eq SourceUnpackedness
Instance details Defined in Language.Haskell.TH.Syntax Methods (==) :: SourceUnpackedness -> SourceUnpackedness -> Bool # (/=) :: SourceUnpackedness -> SourceUnpackedness -> Bool #
Eq Specificity
Instance details Defined in Language.Haskell.TH.Syntax Methods (==) :: Specificity -> Specificity -> Bool # (/=) :: Specificity -> Specificity -> Bool #
Eq Stmt
Instance details Defined in Language.Haskell.TH.Syntax Methods (==) :: Stmt -> Stmt -> Bool # (/=) :: Stmt -> Stmt -> Bool #
Eq TyLit
Instance details Defined in Language.Haskell.TH.Syntax Methods (==) :: TyLit -> TyLit -> Bool # (/=) :: TyLit -> TyLit -> Bool #
Eq TySynEqn
Instance details Defined in Language.Haskell.TH.Syntax Methods (==) :: TySynEqn -> TySynEqn -> Bool # (/=) :: TySynEqn -> TySynEqn -> Bool #
Eq Type
Instance details Defined in Language.Haskell.TH.Syntax Methods (==) :: Type -> Type -> Bool # (/=) :: Type -> Type -> Bool #
Eq TypeFamilyHead
Instance details Defined in Language.Haskell.TH.Syntax Methods (==) :: TypeFamilyHead -> TypeFamilyHead -> Bool # (/=) :: TypeFamilyHead -> TypeFamilyHead -> Bool #
Eq CalendarDiffDays
Instance details Defined in Data.Time.Calendar.CalendarDiffDays Methods (==) :: CalendarDiffDays -> CalendarDiffDays -> Bool # (/=) :: CalendarDiffDays -> CalendarDiffDays -> Bool #
Eq Day
Instance details Defined in Data.Time.Calendar.Days Methods (==) :: Day -> Day -> Bool # (/=) :: Day -> Day -> Bool #
Eq DayOfWeek
Instance details Defined in Data.Time.Calendar.Week Methods (==) :: DayOfWeek -> DayOfWeek -> Bool # (/=) :: DayOfWeek -> DayOfWeek -> Bool #
Eq AbsoluteTime
Instance details Defined in Data.Time.Clock.Internal.AbsoluteTime Methods (==) :: AbsoluteTime -> AbsoluteTime -> Bool # (/=) :: AbsoluteTime -> AbsoluteTime -> Bool #
Eq DiffTime
Instance details Defined in Data.Time.Clock.Internal.DiffTime Methods (==) :: DiffTime -> DiffTime -> Bool # (/=) :: DiffTime -> DiffTime -> Bool #
Eq NominalDiffTime
Instance details Defined in Data.Time.Clock.Internal.NominalDiffTime Methods (==) :: NominalDiffTime -> NominalDiffTime -> Bool # (/=) :: NominalDiffTime -> NominalDiffTime -> Bool #
Eq SystemTime
Instance details Defined in Data.Time.Clock.Internal.SystemTime Methods (==) :: SystemTime -> SystemTime -> Bool # (/=) :: SystemTime -> SystemTime -> Bool #
Eq UTCTime
Instance details Defined in Data.Time.Clock.Internal.UTCTime Methods (==) :: UTCTime -> UTCTime -> Bool # (/=) :: UTCTime -> UTCTime -> Bool #
Eq UniversalTime
Instance details Defined in Data.Time.Clock.Internal.UniversalTime Methods (==) :: UniversalTime -> UniversalTime -> Bool # (/=) :: UniversalTime -> UniversalTime -> Bool #
Eq TimeLocale
Instance details Defined in Data.Time.Format.Locale Methods (==) :: TimeLocale -> TimeLocale -> Bool # (/=) :: TimeLocale -> TimeLocale -> Bool #
Eq CalendarDiffTime
Instance details Defined in Data.Time.LocalTime.Internal.CalendarDiffTime Methods (==) :: CalendarDiffTime -> CalendarDiffTime -> Bool # (/=) :: CalendarDiffTime -> CalendarDiffTime -> Bool #
Eq LocalTime
Instance details Defined in Data.Time.LocalTime.Internal.LocalTime Methods (==) :: LocalTime -> LocalTime -> Bool # (/=) :: LocalTime -> LocalTime -> Bool #
Eq TimeOfDay
Instance details Defined in Data.Time.LocalTime.Internal.TimeOfDay Methods (==) :: TimeOfDay -> TimeOfDay -> Bool # (/=) :: TimeOfDay -> TimeOfDay -> Bool #
Eq TimeZone
Instance details Defined in Data.Time.LocalTime.Internal.TimeZone Methods (==) :: TimeZone -> TimeZone -> Bool # (/=) :: TimeZone -> TimeZone -> Bool #
Eq Integer
Instance details Defined in GHC.Num.Integer Methods (==) :: Integer -> Integer -> Bool # (/=) :: Integer -> Integer -> Bool #
Eq Natural
Instance details Defined in GHC.Num.Natural Methods (==) :: Natural -> Natural -> Bool # (/=) :: Natural -> Natural -> Bool #
Eq ()
Instance details Defined in GHC.Classes Methods (==) :: () -> () -> Bool # (/=) :: () -> () -> Bool #
Eq Bool
Instance details Defined in GHC.Classes Methods (==) :: Bool -> Bool -> Bool # (/=) :: Bool -> Bool -> Bool #
Eq Char
Instance details 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
Instance details 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
Instance details Defined in GHC.Classes Methods (==) :: Float -> Float -> Bool # (/=) :: Float -> Float -> Bool #
Eq Int
Instance details Defined in GHC.Classes Methods (==) :: Int -> Int -> Bool # (/=) :: Int -> Int -> Bool #
Eq Word
Instance details Defined in GHC.Classes Methods (==) :: Word -> Word -> Bool # (/=) :: Word -> Word -> Bool #
Eq a => Eq (ZipList a)	Since: base-4.7.0.0
Instance details Defined in Control.Applicative Methods (==) :: ZipList a -> ZipList a -> Bool # (/=) :: ZipList a -> ZipList a -> Bool #
Eq a => Eq (Complex a)	Since: base-2.1
Instance details 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
Instance details 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
Instance details Defined in Data.Monoid Methods (==) :: First a -> First a -> Bool # (/=) :: First a -> First a -> Bool #
Eq a => Eq (Last a)	Since: base-2.1
Instance details 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
Instance details 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
Instance details 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
Instance details 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
Instance details 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
Instance details 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
Instance details Defined in Data.Semigroup Methods (==) :: WrappedMonoid m -> WrappedMonoid m -> Bool # (/=) :: WrappedMonoid m -> WrappedMonoid m -> Bool #
Eq a => Eq (Dual a)	Since: base-2.1
Instance details 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
Instance details 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
Instance details 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
Instance details 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
Instance details 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
Instance details Defined in GHC.IORef Methods (==) :: IORef a -> IORef a -> Bool # (/=) :: IORef a -> IORef a -> Bool #
Eq (MVar a)	Since: base-4.1.0.0
Instance details Defined in GHC.MVar Methods (==) :: MVar a -> MVar a -> Bool # (/=) :: MVar a -> MVar a -> Bool #
Eq (FunPtr a)
Instance details Defined in GHC.Ptr Methods (==) :: FunPtr a -> FunPtr a -> Bool # (/=) :: FunPtr a -> FunPtr a -> Bool #
Eq (Ptr a)	Since: base-2.1
Instance details Defined in GHC.Ptr Methods (==) :: Ptr a -> Ptr a -> Bool # (/=) :: Ptr a -> Ptr a -> Bool #
Eq a => Eq (Ratio a)	Since: base-2.1
Instance details Defined in GHC.Real Methods (==) :: Ratio a -> Ratio a -> Bool # (/=) :: Ratio a -> Ratio a -> Bool #
Eq (StableName a)	Since: base-2.1
Instance details Defined in GHC.StableName Methods (==) :: StableName a -> StableName a -> Bool # (/=) :: StableName a -> StableName a -> Bool #
(EmbeddableMorphismTyp m, Typeable m, Eq2 m) => Eq (SomeMorphism m) Source #
Instance details Defined in OAlg.Category.Unify Methods (==) :: SomeMorphism m -> SomeMorphism m -> Bool # (/=) :: SomeMorphism m -> SomeMorphism m -> Bool #
Eq (SomeObjectClass m) Source #
Instance details Defined in OAlg.Category.Unify Methods (==) :: SomeObjectClass m -> SomeObjectClass m -> Bool # (/=) :: SomeObjectClass m -> SomeObjectClass m -> Bool #
Eq x => Eq (Id x) Source #
Instance details Defined in OAlg.Data.Identity Methods (==) :: Id x -> Id x -> Bool # (/=) :: Id x -> Id x -> Bool #
Eq x => Eq (Op x) Source #
Instance details Defined in OAlg.Data.Opposite Methods (==) :: Op x -> Op x -> Bool # (/=) :: Op x -> Op x -> Bool #
Eq x => Eq (Closer x) Source #
Instance details Defined in OAlg.Data.Ord Methods (==) :: Closer x -> Closer x -> Bool # (/=) :: Closer x -> Closer x -> Bool #
Oriented x => Eq (Matrix x) Source #
Instance details Defined in OAlg.Entity.Matrix.Definition Methods (==) :: Matrix x -> Matrix x -> Bool # (/=) :: Matrix x -> Matrix x -> Bool #
Eq x => Eq (GL2 x) Source #
Instance details Defined in OAlg.Entity.Matrix.GeneralLinearGroup Methods (==) :: GL2 x -> GL2 x -> Bool # (/=) :: GL2 x -> GL2 x -> Bool #
Oriented x => Eq (GLT x) Source #
Instance details Defined in OAlg.Entity.Matrix.GeneralLinearGroup Methods (==) :: GLT x -> GLT x -> Bool # (/=) :: GLT x -> GLT x -> Bool #
Eq (Transformation x) Source #
Instance details Defined in OAlg.Entity.Matrix.GeneralLinearGroup Methods (==) :: Transformation x -> Transformation x -> Bool # (/=) :: Transformation x -> Transformation x -> Bool #
Oriented x => Eq (ColTrafo x) Source #
Instance details Defined in OAlg.Entity.Matrix.Transformation Methods (==) :: ColTrafo x -> ColTrafo x -> Bool # (/=) :: ColTrafo x -> ColTrafo x -> Bool #
Oriented k => Eq (DiagonalForm k) Source #
Instance details Defined in OAlg.Entity.Matrix.Transformation Methods (==) :: DiagonalForm k -> DiagonalForm k -> Bool # (/=) :: DiagonalForm k -> DiagonalForm k -> Bool #
Oriented k => Eq (DiagonalFormStrictPositive k) Source #
Instance details Defined in OAlg.Entity.Matrix.Transformation Methods (==) :: DiagonalFormStrictPositive k -> DiagonalFormStrictPositive k -> Bool # (/=) :: DiagonalFormStrictPositive k -> DiagonalFormStrictPositive k -> Bool #
Oriented a => Eq (RowTrafo a) Source #
Instance details Defined in OAlg.Entity.Matrix.Transformation Methods (==) :: RowTrafo a -> RowTrafo a -> Bool # (/=) :: RowTrafo a -> RowTrafo a -> Bool #
Eq r => Eq (Vector r) Source #
Instance details Defined in OAlg.Entity.Matrix.Vector Methods (==) :: Vector r -> Vector r -> Bool # (/=) :: Vector r -> Vector r -> Bool #
Eq (W n) Source #
Instance details Defined in OAlg.Entity.Natural Methods (==) :: W n -> W n -> Bool # (/=) :: W n -> W n -> Bool #
Entity x => Eq (ProductSymbol x) Source #
Instance details Defined in OAlg.Entity.Product.ProductSymbol Methods (==) :: ProductSymbol x -> ProductSymbol x -> Bool # (/=) :: ProductSymbol x -> ProductSymbol x -> Bool #
Eq x => Eq (U x) Source #
Instance details Defined in OAlg.Entity.Product.ProductSymbol Methods (==) :: U x -> U x -> Bool # (/=) :: U x -> U x -> Bool #
Eq i => Eq (Permutation i) Source #
Instance details Defined in OAlg.Entity.Sequence.Permutation Methods (==) :: Permutation i -> Permutation i -> Bool # (/=) :: Permutation i -> Permutation i -> Bool #
Eq i => Eq (PermutationForm i) Source #
Instance details Defined in OAlg.Entity.Sequence.Permutation Methods (==) :: PermutationForm i -> PermutationForm i -> Bool # (/=) :: PermutationForm i -> PermutationForm i -> Bool #
Eq x => Eq (Set x) Source #
Instance details Defined in OAlg.Entity.Sequence.Set Methods (==) :: Set x -> Set x -> Bool # (/=) :: Set x -> Set x -> Bool #
Eq a => Eq (R a) Source #
Instance details Defined in OAlg.Entity.Sum.SumSymbol Methods (==) :: R a -> R a -> Bool # (/=) :: R a -> R a -> Bool #
Eq a => Eq (Adbl2 a) Source #
Instance details Defined in OAlg.Structure.Additive.Proposition Methods (==) :: Adbl2 a -> Adbl2 a -> Bool # (/=) :: Adbl2 a -> Adbl2 a -> Bool #
Eq a => Eq (Adbl3 a) Source #
Instance details Defined in OAlg.Structure.Additive.Proposition Methods (==) :: Adbl3 a -> Adbl3 a -> Bool # (/=) :: Adbl3 a -> Adbl3 a -> Bool #
Fibred f => Eq (Sheaf f) Source #
Instance details Defined in OAlg.Structure.Fibred.Definition Methods (==) :: Sheaf f -> Sheaf f -> Bool # (/=) :: Sheaf f -> Sheaf f -> Bool #
Eq c => Eq (Inv c) Source #
Instance details Defined in OAlg.Structure.Multiplicative.Definition Methods (==) :: Inv c -> Inv c -> Bool # (/=) :: Inv c -> Inv c -> Bool #
Eq q => Eq (Endo q) Source #
Instance details Defined in OAlg.Structure.Multiplicative.Proposition Methods (==) :: Endo q -> Endo q -> Bool # (/=) :: Endo q -> Endo q -> Bool #
Eq c => Eq (Mltp2 c) Source #
Instance details Defined in OAlg.Structure.Multiplicative.Proposition Methods (==) :: Mltp2 c -> Mltp2 c -> Bool # (/=) :: Mltp2 c -> Mltp2 c -> Bool #
Eq c => Eq (Mltp3 c) Source #
Instance details Defined in OAlg.Structure.Multiplicative.Proposition Methods (==) :: Mltp3 c -> Mltp3 c -> Bool # (/=) :: Mltp3 c -> Mltp3 c -> Bool #
Eq p => Eq (Orientation p) Source #
Instance details Defined in OAlg.Structure.Oriented.Definition Methods (==) :: Orientation p -> Orientation p -> Bool # (/=) :: Orientation p -> Orientation p -> Bool #
Oriented q => Eq (Path q) Source #
Instance details Defined in OAlg.Structure.Oriented.Definition Methods (==) :: Path q -> Path q -> Bool # (/=) :: Path q -> Path q -> Bool #
Eq g => Eq (StateGen g)
Instance details Defined in System.Random.Internal Methods (==) :: StateGen g -> StateGen g -> Bool # (/=) :: StateGen g -> StateGen g -> Bool #
Eq flag => Eq (TyVarBndr flag)
Instance details 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
Instance details Defined in GHC.Base Methods (==) :: NonEmpty a -> NonEmpty a -> Bool # (/=) :: NonEmpty a -> NonEmpty a -> Bool #
Eq a => Eq (Maybe a)	Since: base-2.1
Instance details Defined in GHC.Maybe Methods (==) :: Maybe a -> Maybe a -> Bool # (/=) :: Maybe a -> Maybe a -> Bool #
Eq a => Eq (a)
Instance details Defined in GHC.Classes Methods (==) :: (a) -> (a) -> Bool # (/=) :: (a) -> (a) -> Bool #
Eq a => Eq [a]
Instance details Defined in GHC.Classes Methods (==) :: [a] -> [a] -> Bool # (/=) :: [a] -> [a] -> Bool #
(Eq a, Eq b) => Eq (Either a b)	Since: base-2.1
Instance details 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
Instance details Defined in Data.Fixed Methods (==) :: Fixed a -> Fixed a -> Bool # (/=) :: Fixed a -> Fixed a -> Bool #
Eq (Proxy s)	Since: base-4.7.0.0
Instance details 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
Instance details 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
Instance details 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
Instance details 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
Instance details Defined in GHC.Generics Methods (==) :: U1 p -> U1 p -> Bool # (/=) :: U1 p -> U1 p -> Bool #
Eq (V1 p)	Since: base-4.9.0.0
Instance details 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
Instance details Defined in GHC.STRef Methods (==) :: STRef s a -> STRef s a -> Bool # (/=) :: STRef s a -> STRef s a -> Bool #
Eq (Empty2 a b) Source #
Instance details Defined in OAlg.Entity.Definition Methods (==) :: Empty2 a b -> Empty2 a b -> Bool # (/=) :: Empty2 a b -> Empty2 a b -> Bool #
Eq (Quiver n m) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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)
Instance details 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
Instance details 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
Instance details 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
Instance details 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
Instance details Defined in Data.Type.Equality Methods (==) :: (a :~: b) -> (a :~: b) -> Bool # (/=) :: (a :~: b) -> (a :~: b) -> Bool #
Eq (OrderingI a b)
Instance details 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
Instance details 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
Instance details 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
Instance details 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
Instance details 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
Instance details Defined in GHC.Generics Methods (==) :: URec Double p -> URec Double p -> Bool # (/=) :: URec Double p -> URec Double p -> Bool #
Eq (URec Float p)
Instance details 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
Instance details 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
Instance details Defined in GHC.Generics Methods (==) :: URec Word p -> URec Word p -> Bool # (/=) :: URec Word p -> URec Word p -> Bool #
Eq (Homomorphous s x y) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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)
Instance details 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)
Instance details 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
Instance details 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
Instance details 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
Instance details 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
Instance details 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
Instance details 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
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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)
Instance details 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
Instance details 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
Instance details 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
Instance details 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)
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #	see OAlg.Limes.Definition
Instance details 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)
Instance details 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)
Instance details 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)
Instance details 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)
Instance details 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)
Instance details 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)
Instance details 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)
Instance details 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)
Instance details 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)
Instance details 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)
Instance details 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 Source #

equal.

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

not greater than.

Eq1

class Eq1 p where Source #

equality on values for one parameterized types.

Minimal complete definition

Nothing

Methods

eq1 :: p x -> p x -> Bool Source #

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

Instances

Instances details

Eq1 (Proxy :: Type -> Type) Source #
Instance details Defined in OAlg.Data.Equal Methods eq1 :: Proxy x -> Proxy x -> Bool Source #
Eq1 (Free k) Source #
Instance details Defined in OAlg.Entity.Slice.Free Methods eq1 :: Free k x -> Free k x -> Bool Source #
Eq1 (Struct s) Source #
Instance details Defined in OAlg.Structure.Definition Methods eq1 :: Struct s x -> Struct s x -> Bool Source #

Eq2

class Eq2 h where Source #

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 Source #

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

Instances

Instances details

Eq2 Empty2 Source #
Instance details Defined in OAlg.Entity.Definition Methods eq2 :: Empty2 x y -> Empty2 x y -> Bool Source #
Eq2 GLApp Source #
Instance details Defined in OAlg.Entity.Matrix.GeneralLinearGroup Methods eq2 :: GLApp x y -> GLApp x y -> Bool Source #
Eq2 TrApp Source #
Instance details Defined in OAlg.Entity.Matrix.GeneralLinearGroup Methods eq2 :: TrApp x y -> TrApp x y -> Bool Source #
Eq2 (Homomorphous m) Source #
Instance details Defined in OAlg.Category.Definition Methods eq2 :: Homomorphous m x y -> Homomorphous m x y -> Bool Source #
(EmbeddableMorphismTyp m, Eq2 m) => Eq2 (Path m) Source #
Instance details Defined in OAlg.Category.Path Methods eq2 :: Path m x y -> Path m x y -> Bool Source #
Eq2 h => Eq2 (Op2 h) Source #
Instance details Defined in OAlg.Data.Opposite Methods eq2 :: Op2 h x y -> Op2 h x y -> Bool Source #
Semiring r => Eq2 (HomSymbol r) Source #
Instance details Defined in OAlg.Entity.Matrix.Vector Methods eq2 :: HomSymbol r x y -> HomSymbol r x y -> Bool Source #
Eq2 (SliceFactorDrop s) Source #
Instance details Defined in OAlg.Entity.Slice.Definition Methods eq2 :: SliceFactorDrop s x y -> SliceFactorDrop s x y -> Bool Source #
Eq2 (HomOp s) Source #
Instance details Defined in OAlg.Hom.Oriented.Definition Methods eq2 :: HomOp s x y -> HomOp s x y -> Bool Source #
Eq2 (IdHom s) Source #
Instance details Defined in OAlg.Hom.Oriented.Definition Methods eq2 :: IdHom s x y -> IdHom s x y -> Bool Source #
ForgetfulTyp s => Eq2 (IsoOp s) Source #
Instance details Defined in OAlg.Hom.Oriented.Definition Methods eq2 :: IsoOp s x y -> IsoOp s x y -> Bool Source #
Eq2 h => Eq2 (OpHom h) Source #
Instance details Defined in OAlg.Hom.Oriented.Definition Methods eq2 :: OpHom h x y -> OpHom h x y -> Bool Source #
Eq2 m => Eq2 (Forget t m) Source #
Instance details Defined in OAlg.Category.Definition Methods eq2 :: Forget t m x y -> Forget t m x y -> Bool Source #
(Eq2 f, Eq2 g) => Eq2 (Either2 f g) Source #
Instance details Defined in OAlg.Data.Either Methods eq2 :: Either2 f g x y -> Either2 f g x y -> Bool Source #
Eq2 (SliceCokernelKernel i c) Source #
Instance details Defined in OAlg.Entity.Slice.Adjunction Methods eq2 :: SliceCokernelKernel i c x y -> SliceCokernelKernel i c x y -> Bool Source #
ForgetfulTyp s => Eq2 (IsoOpMap f s) Source #
Instance details Defined in OAlg.Hom.Oriented.Definition Methods eq2 :: IsoOpMap f s x y -> IsoOpMap f s x y -> Bool Source #
Eq2 (OpMap f s) Source #
Instance details Defined in OAlg.Hom.Oriented.Definition Methods eq2 :: OpMap f s x y -> OpMap f s x y -> Bool Source #