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 :: Type -> Type) where
- eq1 :: p x -> p x -> Bool
class Eq2 (h :: Type -> Type -> Type) 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 ByteArray	Since: base-4.17.0.0
Instance details Defined in Data.Array.Byte Methods (==) :: ByteArray -> ByteArray -> Bool # (/=) :: ByteArray -> ByteArray -> Bool #
Eq Constr	Equality of constructors Since: base-4.0.0.0
Instance details Defined in Data.Data Methods (==) :: Constr -> Constr -> Bool # (/=) :: Constr -> Constr -> Bool #
Eq ConstrRep	Since: base-4.0.0.0
Instance details Defined in Data.Data Methods (==) :: ConstrRep -> ConstrRep -> Bool # (/=) :: ConstrRep -> ConstrRep -> Bool #
Eq DataRep	Since: base-4.0.0.0
Instance details Defined in Data.Data Methods (==) :: DataRep -> DataRep -> Bool # (/=) :: DataRep -> DataRep -> Bool #
Eq Fixity	Since: base-4.0.0.0
Instance details Defined in Data.Data Methods (==) :: Fixity -> Fixity -> Bool # (/=) :: Fixity -> Fixity -> 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 Errno	Since: base-2.1
Instance details Defined in Foreign.C.Error Methods (==) :: Errno -> Errno -> Bool # (/=) :: Errno -> Errno -> 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 IntPtr
Instance details Defined in Foreign.Ptr Methods (==) :: IntPtr -> IntPtr -> Bool # (/=) :: IntPtr -> IntPtr -> Bool #
Eq WordPtr
Instance details Defined in Foreign.Ptr Methods (==) :: WordPtr -> WordPtr -> Bool # (/=) :: WordPtr -> WordPtr -> Bool #
Eq Void	Since: base-4.8.0.0
Instance details Defined in GHC.Base Methods (==) :: Void -> Void -> Bool # (/=) :: Void -> Void -> Bool #
Eq ByteOrder	Since: base-4.11.0.0
Instance details Defined in GHC.ByteOrder Methods (==) :: ByteOrder -> ByteOrder -> Bool # (/=) :: ByteOrder -> ByteOrder -> 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 TimeoutKey
Instance details Defined in GHC.Event.TimeOut Methods (==) :: TimeoutKey -> TimeoutKey -> Bool # (/=) :: TimeoutKey -> TimeoutKey -> 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 BufferState	Since: base-4.2.0.0
Instance details Defined in GHC.IO.Buffer Methods (==) :: BufferState -> BufferState -> Bool # (/=) :: BufferState -> BufferState -> 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 InfoProv
Instance details Defined in GHC.InfoProv Methods (==) :: InfoProv -> InfoProv -> Bool # (/=) :: InfoProv -> InfoProv -> 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 IoSubSystem
Instance details Defined in GHC.RTS.Flags Methods (==) :: IoSubSystem -> IoSubSystem -> Bool # (/=) :: IoSubSystem -> IoSubSystem -> Bool #
Eq StackEntry
Instance details Defined in GHC.Stack.CloneStack Methods (==) :: StackEntry -> StackEntry -> Bool # (/=) :: StackEntry -> StackEntry -> 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 CBlkCnt
Instance details Defined in System.Posix.Types Methods (==) :: CBlkCnt -> CBlkCnt -> Bool # (/=) :: CBlkCnt -> CBlkCnt -> Bool #
Eq CBlkSize
Instance details Defined in System.Posix.Types Methods (==) :: CBlkSize -> CBlkSize -> Bool # (/=) :: CBlkSize -> CBlkSize -> Bool #
Eq CCc
Instance details Defined in System.Posix.Types Methods (==) :: CCc -> CCc -> Bool # (/=) :: CCc -> CCc -> Bool #
Eq CClockId
Instance details Defined in System.Posix.Types Methods (==) :: CClockId -> CClockId -> Bool # (/=) :: CClockId -> CClockId -> Bool #
Eq CDev
Instance details Defined in System.Posix.Types Methods (==) :: CDev -> CDev -> Bool # (/=) :: CDev -> CDev -> Bool #
Eq CFsBlkCnt
Instance details Defined in System.Posix.Types Methods (==) :: CFsBlkCnt -> CFsBlkCnt -> Bool # (/=) :: CFsBlkCnt -> CFsBlkCnt -> Bool #
Eq CFsFilCnt
Instance details Defined in System.Posix.Types Methods (==) :: CFsFilCnt -> CFsFilCnt -> Bool # (/=) :: CFsFilCnt -> CFsFilCnt -> Bool #
Eq CGid
Instance details Defined in System.Posix.Types Methods (==) :: CGid -> CGid -> Bool # (/=) :: CGid -> CGid -> Bool #
Eq CId
Instance details Defined in System.Posix.Types Methods (==) :: CId -> CId -> Bool # (/=) :: CId -> CId -> Bool #
Eq CIno
Instance details Defined in System.Posix.Types Methods (==) :: CIno -> CIno -> Bool # (/=) :: CIno -> CIno -> Bool #
Eq CKey
Instance details Defined in System.Posix.Types Methods (==) :: CKey -> CKey -> Bool # (/=) :: CKey -> CKey -> Bool #
Eq CMode
Instance details Defined in System.Posix.Types Methods (==) :: CMode -> CMode -> Bool # (/=) :: CMode -> CMode -> Bool #
Eq CNfds
Instance details Defined in System.Posix.Types Methods (==) :: CNfds -> CNfds -> Bool # (/=) :: CNfds -> CNfds -> Bool #
Eq CNlink
Instance details Defined in System.Posix.Types Methods (==) :: CNlink -> CNlink -> Bool # (/=) :: CNlink -> CNlink -> Bool #
Eq COff
Instance details Defined in System.Posix.Types Methods (==) :: COff -> COff -> Bool # (/=) :: COff -> COff -> Bool #
Eq CPid
Instance details Defined in System.Posix.Types Methods (==) :: CPid -> CPid -> Bool # (/=) :: CPid -> CPid -> Bool #
Eq CRLim
Instance details Defined in System.Posix.Types Methods (==) :: CRLim -> CRLim -> Bool # (/=) :: CRLim -> CRLim -> Bool #
Eq CSocklen
Instance details Defined in System.Posix.Types Methods (==) :: CSocklen -> CSocklen -> Bool # (/=) :: CSocklen -> CSocklen -> Bool #
Eq CSpeed
Instance details Defined in System.Posix.Types Methods (==) :: CSpeed -> CSpeed -> Bool # (/=) :: CSpeed -> CSpeed -> Bool #
Eq CSsize
Instance details Defined in System.Posix.Types Methods (==) :: CSsize -> CSsize -> Bool # (/=) :: CSsize -> CSsize -> Bool #
Eq CTcflag
Instance details Defined in System.Posix.Types Methods (==) :: CTcflag -> CTcflag -> Bool # (/=) :: CTcflag -> CTcflag -> Bool #
Eq CTimer
Instance details Defined in System.Posix.Types Methods (==) :: CTimer -> CTimer -> Bool # (/=) :: CTimer -> CTimer -> Bool #
Eq CUid
Instance details Defined in System.Posix.Types Methods (==) :: CUid -> CUid -> Bool # (/=) :: CUid -> CUid -> Bool #
Eq Fd
Instance details Defined in System.Posix.Types Methods (==) :: Fd -> Fd -> Bool # (/=) :: Fd -> Fd -> Bool #
Eq Timeout
Instance details Defined in System.Timeout Methods (==) :: Timeout -> Timeout -> Bool # (/=) :: Timeout -> Timeout -> 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.Type 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 BigNat
Instance details Defined in GHC.Num.BigNat Methods (==) :: BigNat -> BigNat -> Bool # (/=) :: BigNat -> BigNat -> 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 Variant Source #
Instance details Defined in OAlg.Data.Variant Methods (==) :: Variant -> Variant -> Bool # (/=) :: Variant -> Variant -> Bool #
Eq Omega Source #
Instance details Defined in OAlg.Data.X Methods (==) :: Omega -> Omega -> Bool # (/=) :: Omega -> Omega -> Bool #
Eq EntEmpty Source #
Instance details Defined in OAlg.Entity.Definition Methods (==) :: EntEmpty -> EntEmpty -> Bool # (/=) :: EntEmpty -> EntEmpty -> 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 Behavior Source #
Instance details Defined in OAlg.Entity.Sequence.FSequence Methods (==) :: Behavior -> Behavior -> Bool # (/=) :: Behavior -> Behavior -> Bool #
Eq LiftableException Source #
Instance details Defined in OAlg.Entity.Slice.Liftable Methods (==) :: LiftableException -> LiftableException -> Bool # (/=) :: LiftableException -> LiftableException -> 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 BndrVis
Instance details Defined in Language.Haskell.TH.Syntax Methods (==) :: BndrVis -> BndrVis -> Bool # (/=) :: BndrVis -> BndrVis -> 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 Month
Instance details Defined in Data.Time.Calendar.Month Methods (==) :: Month -> Month -> Bool # (/=) :: Month -> Month -> Bool #
Eq Quarter
Instance details Defined in Data.Time.Calendar.Quarter Methods (==) :: Quarter -> Quarter -> Bool # (/=) :: Quarter -> Quarter -> Bool #
Eq QuarterOfYear
Instance details Defined in Data.Time.Calendar.Quarter Methods (==) :: QuarterOfYear -> QuarterOfYear -> Bool # (/=) :: QuarterOfYear -> QuarterOfYear -> Bool #
Eq FirstWeekType
Instance details Defined in Data.Time.Calendar.WeekDate Methods (==) :: FirstWeekType -> FirstWeekType -> Bool # (/=) :: FirstWeekType -> FirstWeekType -> 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 SystemTime
Instance details Defined in Data.Time.Clock.Internal.SystemTime Methods (==) :: SystemTime -> SystemTime -> Bool # (/=) :: SystemTime -> SystemTime -> Bool #
Eq LocalTime
Instance details Defined in Data.Time.LocalTime.Internal.LocalTime Methods (==) :: LocalTime -> LocalTime -> Bool # (/=) :: LocalTime -> LocalTime -> 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 (Chan a)	Since: base-4.4.0.0
Instance details Defined in Control.Concurrent.Chan Methods (==) :: Chan a -> Chan a -> Bool # (/=) :: Chan a -> Chan a -> Bool #
Eq (MutableByteArray s)	Since: base-4.17.0.0
Instance details Defined in Data.Array.Byte Methods (==) :: MutableByteArray s -> MutableByteArray s -> Bool # (/=) :: MutableByteArray s -> MutableByteArray s -> Bool #
Eq a => Eq (And a)	Since: base-4.16
Instance details Defined in Data.Bits Methods (==) :: And a -> And a -> Bool # (/=) :: And a -> And a -> Bool #
Eq a => Eq (Iff a)	Since: base-4.16
Instance details Defined in Data.Bits Methods (==) :: Iff a -> Iff a -> Bool # (/=) :: Iff a -> Iff a -> Bool #
Eq a => Eq (Ior a)	Since: base-4.16
Instance details Defined in Data.Bits Methods (==) :: Ior a -> Ior a -> Bool # (/=) :: Ior a -> Ior a -> Bool #
Eq a => Eq (Xor a)	Since: base-4.16
Instance details Defined in Data.Bits Methods (==) :: Xor a -> Xor a -> Bool # (/=) :: Xor a -> Xor 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 (ConstPtr a)
Instance details Defined in Foreign.C.ConstPtr Methods (==) :: ConstPtr a -> ConstPtr a -> Bool # (/=) :: ConstPtr a -> ConstPtr a -> 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 (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 (ForeignPtr a)	Since: base-2.1
Instance details Defined in GHC.ForeignPtr Methods (==) :: ForeignPtr a -> ForeignPtr a -> Bool # (/=) :: ForeignPtr a -> ForeignPtr 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 (IOPort a)	Since: base-4.1.0.0
Instance details Defined in GHC.IOPort Methods (==) :: IOPort a -> IOPort a -> Bool # (/=) :: IOPort a -> IOPort a -> 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 (StablePtr a)	Since: base-2.1
Instance details Defined in GHC.Stable Methods (==) :: StablePtr a -> StablePtr a -> Bool # (/=) :: StablePtr a -> StablePtr 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 #
Eq (SChar c)	Since: base-4.19.0.0
Instance details Defined in GHC.TypeLits Methods (==) :: SChar c -> SChar c -> Bool # (/=) :: SChar c -> SChar c -> Bool #
Eq (SSymbol s)	Since: base-4.19.0.0
Instance details Defined in GHC.TypeLits Methods (==) :: SSymbol s -> SSymbol s -> Bool # (/=) :: SSymbol s -> SSymbol s -> Bool #
Eq (SNat n)	Since: base-4.19.0.0
Instance details Defined in GHC.TypeNats Methods (==) :: SNat n -> SNat n -> Bool # (/=) :: SNat n -> SNat n -> Bool #
(Morphism m, TransformableObjectClassTyp 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 (Closure x) Source #
Instance details Defined in OAlg.Data.Ord Methods (==) :: Closure x -> Closure x -> Bool # (/=) :: Closure x -> Closure x -> Bool #
Oriented a => Eq (SomeDiagram a) Source #
Instance details Defined in OAlg.Entity.Diagram.Definition Methods (==) :: SomeDiagram a -> SomeDiagram a -> Bool # (/=) :: SomeDiagram a -> SomeDiagram a -> 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 x => Eq (RowTrafo x) Source #
Instance details Defined in OAlg.Entity.Matrix.Transformation Methods (==) :: RowTrafo x -> RowTrafo x -> Bool # (/=) :: RowTrafo x -> RowTrafo x -> 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 #
(Show x, Validable x, Eq x, Typeable 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 i => Eq (Cycle i) Source #
Instance details Defined in OAlg.Entity.Sequence.Permutation Methods (==) :: Cycle i -> Cycle i -> Bool # (/=) :: Cycle i -> Cycle i -> 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 (SomeFree c) Source #
Instance details Defined in OAlg.Entity.Slice.Free Methods (==) :: SomeFree c -> SomeFree c -> Bool # (/=) :: SomeFree c -> SomeFree c -> Bool #
EqPoint x => Eq (ZeroPoint x) Source #
Instance details Defined in OAlg.Limes.Exact.ZeroPoint Methods (==) :: ZeroPoint x -> ZeroPoint x -> Bool # (/=) :: ZeroPoint x -> ZeroPoint x -> 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 #
(Eq f, EqRoot 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 x => Eq (R x) Source #
Instance details Defined in OAlg.Structure.Fibred.Root Methods (==) :: R x -> R x -> Bool # (/=) :: R x -> R x -> Bool #
EqRoot x => Eq (Rt x) Source #
Instance details Defined in OAlg.Structure.Fibred.Root Methods (==) :: Rt x -> Rt x -> Bool # (/=) :: Rt x -> Rt x -> 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 x => Eq (Op x) Source #
Instance details Defined in OAlg.Structure.Oriented.Opposite Methods (==) :: Op x -> Op x -> Bool # (/=) :: Op x -> Op x -> Bool #
Eq p => Eq (Orientation p) Source #
Instance details Defined in OAlg.Structure.Oriented.Orientation Methods (==) :: Orientation p -> Orientation p -> Bool # (/=) :: Orientation p -> Orientation p -> Bool #
(Eq q, EqPoint q) => Eq (Path q) Source #
Instance details Defined in OAlg.Structure.Oriented.Path Methods (==) :: Path q -> Path q -> Bool # (/=) :: Path q -> Path q -> Bool #
EqPoint x => Eq (Pnt x) Source #
Instance details Defined in OAlg.Structure.Oriented.Point Methods (==) :: Pnt x -> Pnt x -> Bool # (/=) :: Pnt x -> Pnt x -> Bool #
Eq x => Eq (U x) Source #
Instance details Defined in OAlg.Structure.Oriented.Point Methods (==) :: U x -> U x -> Bool # (/=) :: U x -> U x -> Bool #
Vectorial v => Eq (VectorSheaf v) Source #
Instance details Defined in OAlg.Structure.Vectorial.Definition Methods (==) :: VectorSheaf v -> VectorSheaf v -> Bool # (/=) :: VectorSheaf v -> VectorSheaf v -> Bool #
Eq (Seed g)
Instance details Defined in System.Random.Internal Methods (==) :: Seed g -> Seed g -> Bool # (/=) :: Seed g -> Seed g -> 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 g => Eq (AtomicGen g)
Instance details Defined in System.Random.Stateful Methods (==) :: AtomicGen g -> AtomicGen g -> Bool # (/=) :: AtomicGen g -> AtomicGen g -> Bool #
Eq g => Eq (IOGen g)
Instance details Defined in System.Random.Stateful Methods (==) :: IOGen g -> IOGen g -> Bool # (/=) :: IOGen g -> IOGen g -> Bool #
Eq g => Eq (STGen g)
Instance details Defined in System.Random.Stateful Methods (==) :: STGen g -> STGen g -> Bool # (/=) :: STGen g -> STGen g -> Bool #
Eq g => Eq (TGen g)
Instance details Defined in System.Random.Stateful Methods (==) :: TGen g -> TGen g -> Bool # (/=) :: TGen g -> TGen 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 (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 (Solo a)
Instance details Defined in GHC.Classes Methods (==) :: Solo a -> Solo a -> Bool # (/=) :: Solo a -> Solo a -> Bool #
Eq a => Eq [a]
Instance details Defined in GHC.Classes Methods (==) :: [a] -> [a] -> Bool # (/=) :: [a] -> [a] -> Bool #
(Ix ix, Eq e, IArray UArray e) => Eq (UArray ix e)
Instance details Defined in Data.Array.Base Methods (==) :: UArray ix e -> UArray ix e -> Bool # (/=) :: UArray ix e -> UArray ix e -> Bool #
Eq (IOUArray i e)
Instance details Defined in Data.Array.IO.Internals Methods (==) :: IOUArray i e -> IOUArray i e -> Bool # (/=) :: IOUArray i e -> IOUArray i e -> 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 (IOArray i e)	Since: base-4.1.0.0
Instance details Defined in GHC.IOArray Methods (==) :: IOArray i e -> IOArray i e -> Bool # (/=) :: IOArray i e -> IOArray i e -> 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 (d x), EqDual1 d x) => Eq (SDualBi d x) Source #
Instance details Defined in OAlg.Category.SDuality Methods (==) :: SDualBi d x -> SDualBi d x -> Bool # (/=) :: SDualBi d x -> SDualBi d x -> Bool #
(Eq i, Eq x) => Eq (Tree i x) Source #
Instance details Defined in OAlg.Data.Tree Methods (==) :: Tree i x -> Tree i x -> Bool # (/=) :: Tree i x -> Tree i x -> Bool #
Eq (EntEmpty2 a b) Source #
Instance details Defined in OAlg.Entity.Definition Methods (==) :: EntEmpty2 a b -> EntEmpty2 a b -> Bool # (/=) :: EntEmpty2 a b -> EntEmpty2 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, Show r, Eq r, Validable r, Typeable 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 i, Eq x) => Eq (PTree i x) Source #
Instance details Defined in OAlg.Entity.Sequence.PSequence Methods (==) :: PTree i x -> PTree i x -> Bool # (/=) :: PTree i x -> PTree 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, Show r, Eq r, Validable r, Typeable 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 #
(Show a, Show r, Eq a, Eq r, Validable a, Validable r, Typeable a, Typeable 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.Structure 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 #
(Eq1 m, Eq a) => Eq (MaybeT m a)
Instance details Defined in Control.Monad.Trans.Maybe Methods (==) :: MaybeT m a -> MaybeT m a -> Bool # (/=) :: MaybeT m a -> MaybeT m a -> 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 (STUArray s i e)
Instance details Defined in Data.Array.Base Methods (==) :: STUArray s i e -> STUArray s i e -> Bool # (/=) :: STUArray s i e -> STUArray s i e -> 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 (Coercion a b)	Since: base-4.7.0.0
Instance details Defined in Data.Type.Coercion Methods (==) :: Coercion a b -> Coercion a b -> Bool # (/=) :: Coercion a b -> Coercion a b -> 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 #
(Generic1 f, Eq (Rep1 f a)) => Eq (Generically1 f a)	Since: base-4.18.0.0
Instance details Defined in GHC.Generics Methods (==) :: Generically1 f a -> Generically1 f a -> Bool # (/=) :: Generically1 f a -> Generically1 f a -> 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 #
(Eq (c x y), Eq (c y x)) => Eq (Inv2 c x y) Source #
Instance details Defined in OAlg.Category.Definition Methods (==) :: Inv2 c x y -> Inv2 c x y -> Bool # (/=) :: Inv2 c x y -> Inv2 c 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 (f x), Eq (g x)) => Eq (Either1 f g x) Source #
Instance details Defined in OAlg.Data.Either Methods (==) :: Either1 f g x -> Either1 f g x -> Bool # (/=) :: Either1 f g x -> Either1 f g x -> 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 #
(Eq d, Eq x, Eq i) => Eq (FSequenceForm d i x) Source #
Instance details Defined in OAlg.Entity.Sequence.FSequence Methods (==) :: FSequenceForm d i x -> FSequenceForm d i x -> Bool # (/=) :: FSequenceForm d i x -> FSequenceForm d i x -> Bool #
(Eq1 i, Eq x) => Eq (Slice s i x) Source #
Instance details Defined in OAlg.Entity.Slice.Definition Methods (==) :: Slice s i x -> Slice s i x -> Bool # (/=) :: Slice s i x -> Slice s i x -> Bool #
(Eq1 i, Eq x) => Eq (SliceFactor s i x) Source #
Instance details Defined in OAlg.Entity.Slice.Definition Methods (==) :: SliceFactor s i x -> SliceFactor s i x -> Bool # (/=) :: SliceFactor s i x -> SliceFactor s i x -> 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 (HomEmpty s x y) Source #
Instance details Defined in OAlg.Hom.Definition Methods (==) :: HomEmpty s x y -> HomEmpty s x y -> Bool # (/=) :: HomEmpty s x y -> HomEmpty s x y -> Bool #
(EqPoint x, Eq x) => Eq (ConsecutiveZero t n x) Source #
Instance details Defined in OAlg.Limes.Exact.ConsecutiveZero Methods (==) :: ConsecutiveZero t n x -> ConsecutiveZero t n x -> Bool # (/=) :: ConsecutiveZero t n x -> ConsecutiveZero t n x -> Bool #
(EqPoint x, Eq x) => Eq (ConsecutiveZeroHom t n x) Source #
Instance details Defined in OAlg.Limes.Exact.ConsecutiveZero Methods (==) :: ConsecutiveZeroHom t n x -> ConsecutiveZeroHom t n x -> Bool # (/=) :: ConsecutiveZeroHom t n x -> ConsecutiveZeroHom t n x -> Bool #
(Eq x, EqPoint x) => Eq (ConsecutiveZeroFree t n x) Source #
Instance details Defined in OAlg.Limes.Exact.Free Methods (==) :: ConsecutiveZeroFree t n x -> ConsecutiveZeroFree t n x -> Bool # (/=) :: ConsecutiveZeroFree t n x -> ConsecutiveZeroFree t n x -> Bool #
Eq (Struct2 m x y) Source #
Instance details Defined in OAlg.Structure.Definition Methods (==) :: Struct2 m x y -> Struct2 m x y -> Bool # (/=) :: Struct2 m x y -> Struct2 m x y -> Bool #
(Eq e, Eq1 m, Eq a) => Eq (ExceptT e m a)
Instance details Defined in Control.Monad.Trans.Except Methods (==) :: ExceptT e m a -> ExceptT e m a -> Bool # (/=) :: ExceptT e m a -> ExceptT e m a -> Bool #
(Eq1 f, Eq a) => Eq (IdentityT f a)
Instance details Defined in Control.Monad.Trans.Identity Methods (==) :: IdentityT f a -> IdentityT f a -> Bool # (/=) :: IdentityT f a -> IdentityT f a -> Bool #
(Eq w, Eq1 m, Eq a) => Eq (WriterT w m a)
Instance details Defined in Control.Monad.Trans.Writer.Lazy Methods (==) :: WriterT w m a -> WriterT w m a -> Bool # (/=) :: WriterT w m a -> WriterT w m a -> Bool #
(Eq w, Eq1 m, Eq a) => Eq (WriterT w m a)
Instance details Defined in Control.Monad.Trans.Writer.Strict Methods (==) :: WriterT w m a -> WriterT w m a -> Bool # (/=) :: WriterT w m a -> WriterT w 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 #
(Eq (f a), Eq (g a)) => Eq (Product f g a)	Since: base-4.18.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 #
(Eq (f a), Eq (g a)) => Eq (Sum f g a)	Since: base-4.18.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 f, Eq2 g) => Eq (Either2 f g x y) Source #
Instance details Defined in OAlg.Data.Either Methods (==) :: Either2 f g x y -> Either2 f g x y -> Bool # (/=) :: Either2 f g x y -> Either2 f g x y -> Bool #
Eq (Proxy2 a b) Source #
Instance details Defined in OAlg.Data.Proxy Methods (==) :: Proxy2 a b -> Proxy2 a b -> Bool # (/=) :: Proxy2 a b -> Proxy2 a b -> Bool #
(Eq a, EqPoint 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 #
(EqPoint a, Eq a) => Eq (DiagramTrafo t n m a) Source #
Instance details Defined in OAlg.Entity.Diagram.Transformation Methods (==) :: DiagramTrafo t n m a -> DiagramTrafo t n m a -> Bool # (/=) :: DiagramTrafo t n m a -> DiagramTrafo t n m a -> Bool #
(DefaultValue d i x, Eq d, Eq i, Eq x) => Eq (FSequence s d i x) Source #
Instance details Defined in OAlg.Entity.Sequence.FSequence Methods (==) :: FSequence s d i x -> FSequence s d i x -> Bool # (/=) :: FSequence s d i x -> FSequence s d i x -> Bool #
(EqPoint a, Eq a) => Eq (DiagramFree t n m a) Source #
Instance details Defined in OAlg.Entity.Slice.Free Methods (==) :: DiagramFree t n m a -> DiagramFree t n m a -> Bool # (/=) :: DiagramFree t n m a -> DiagramFree t n m a -> Bool #
(Eq x, EqPoint x) => Eq (FactorChain Diagram s n x) Source #
Instance details Defined in OAlg.Limes.Cone.FactorChain Methods (==) :: FactorChain Diagram s n x -> FactorChain Diagram s n x -> Bool # (/=) :: FactorChain Diagram s n x -> FactorChain Diagram s n x -> 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 #
Eq (f (g a)) => Eq (Compose f g a)	Since: base-4.18.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 (d t n m x) => Eq (DiagramG d t n m x) Source #
Instance details Defined in OAlg.Entity.Diagram.Diagrammatic Methods (==) :: DiagramG d t n m x -> DiagramG d t n m x -> Bool # (/=) :: DiagramG d t n m x -> DiagramG d t n m x -> Bool #
Eq (SliceDiagram i t n m x) Source #
Instance details Defined in OAlg.Entity.Slice.Adjunction Methods (==) :: SliceDiagram i t n m x -> SliceDiagram i t n m x -> Bool # (/=) :: SliceDiagram i t n m x -> SliceDiagram i t n m x -> Bool #
(Morphism h, Eq2 h, Transformable s Typ) => Eq (HomDisj s o h x y) Source #
Instance details Defined in OAlg.Hom.Definition Methods (==) :: HomDisj s o h x y -> HomDisj s o h x y -> Bool # (/=) :: HomDisj s o h x y -> HomDisj s o h x y -> 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 #
(Morphism h, Transformable s Typ, Eq2 h) => Eq (SHom r s o h x y) Source #
Instance details Defined in OAlg.Category.SDuality Methods (==) :: SHom r s o h x y -> SHom r s o h x y -> Bool # (/=) :: SHom r s o h x y -> SHom r s o h x y -> Bool #
Eq (Proxy3 a b c) Source #
Instance details Defined in OAlg.Data.Proxy Methods (==) :: Proxy3 a b c -> Proxy3 a b c -> Bool # (/=) :: Proxy3 a b c -> Proxy3 a b c -> 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 (d t n m a) => Eq (Cone s p d t n m a) Source #
Instance details Defined in OAlg.Limes.Cone.Core Methods (==) :: Cone s p d t n m a -> Cone s p d t n m a -> Bool # (/=) :: Cone s p d t n m a -> Cone s p d t n m a -> Bool #
Eq (d t n ('S m) x) => Eq (ConeZeroHead s p d t n ('S m) x) Source #
Instance details Defined in OAlg.Limes.Cone.ZeroHead.Core Methods (==) :: ConeZeroHead s p d t n ('S m) x -> ConeZeroHead s p d t n ('S m) x -> Bool # (/=) :: ConeZeroHead s p d t n ('S m) x -> ConeZeroHead s p d t n ('S m) x -> 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 (c s p d t n m x) => Eq (ConeG c s p d t n m x) Source #
Instance details Defined in OAlg.Limes.Cone.Conic.Core Methods (==) :: ConeG c s p d t n m x -> ConeG c s p d t n m x -> Bool # (/=) :: ConeG c s p d t n m x -> ConeG c s p d t n m x -> 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 :: Type -> Type) 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 :: Type -> Type -> Type) 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 EntEmpty2 Source #
Instance details Defined in OAlg.Entity.Definition Methods eq2 :: EntEmpty2 x y -> EntEmpty2 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 #
Eq2 c => Eq2 (Inv2 c) Source #
Instance details Defined in OAlg.Category.Definition Methods eq2 :: Inv2 c x y -> Inv2 c x y -> Bool Source #
Eq2 h => Eq2 (Op2 h) Source #
Instance details Defined in OAlg.Category.Definition Methods eq2 :: Op2 h x y -> Op2 h x y -> Bool Source #
(Morphism m, TransformableObjectClassTyp 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 #
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 (HomEmpty s) Source #
Instance details Defined in OAlg.Hom.Definition Methods eq2 :: HomEmpty s x y -> HomEmpty s x y -> Bool Source #
Eq2 (Struct2 m) Source #
Instance details Defined in OAlg.Structure.Definition Methods eq2 :: Struct2 m x y -> Struct2 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 #
(Morphism h, Eq2 h, Transformable s Typ) => Eq2 (HomDisj s o h) Source #
Instance details Defined in OAlg.Hom.Definition Methods eq2 :: HomDisj s o h x y -> HomDisj s o h x y -> Bool Source #
(Morphism h, Transformable s Typ, Eq2 h) => Eq2 (SHom r s o h) Source #
Instance details Defined in OAlg.Category.SDuality Methods eq2 :: SHom r s o h x y -> SHom r s o h x y -> Bool Source #
Eq2 h => Eq2 (SMorphism r s o h) Source #
Instance details Defined in OAlg.Category.SDuality Methods eq2 :: SMorphism r s o h x y -> SMorphism r s o h x y -> Bool Source #