| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
UVMHS.Core.Init
Synopsis
- data ℝ
- data ℝᴾ
- data Void
- assert :: 𝔹 -> ()
- data Nat
- fromRational :: Rational -> 𝔻
- ($) :: (a -> b) -> a -> b
- fail :: forall a m. STACK => [ℂ] -> m a
- error :: STACK => 𝕊 -> a
- uncurry :: (a -> b -> c) -> (a ∧ b) -> c
- id :: a -> a
- with :: W c -> (c => a) -> a
- const :: a -> b -> a
- negate :: ℕ -> ℤ
- not :: 𝔹 -> 𝔹
- flip :: (a -> b -> c) -> b -> a -> c
- rotateL :: (a -> b -> c -> d) -> b -> c -> a -> d
- rotateR :: (a -> b -> c -> d) -> c -> a -> b -> d
- curry :: ((a ∧ b) -> c) -> a -> b -> c
- on :: (b -> b -> c) -> (a -> b) -> a -> a -> c
- data (a :: k) ≟ (b :: k) where
- data 𝐿 a
- data W c where
- data P (a :: k) = P
- unpack :: Ex t -> (forall (a :: k). t a -> b) -> b
- data Lazy a = Lazy {
- unLazy :: ~a
- data 𝑂 a
- type 𝔹 = Bool
- type ℕ64 = Word64
- newtype 𝑄 a = 𝑄 {}
- type 𝕊 = Text
- newtype k ⇰ v = 𝐷 {}
- (⩔) :: 𝔹 -> 𝔹 -> 𝔹
- (⩓) :: 𝔹 -> 𝔹 -> 𝔹
- data a ∨ b
- data a ∧ b = a :* b
- (∘) :: (b -> c) -> (a -> b) -> a -> c
- type ℕ = Natural
- type ℕ32 = Word32
- type ℕ16 = Word16
- type ℕ8 = Word8
- type ℤ = Integer
- type ℤ64 = Int64
- type ℤ32 = Int32
- type ℤ16 = Int16
- type ℤ8 = Int8
- type ℚ = Rational
- type ℚᴾ = Ratio ℕ
- type 𝔻 = Double
- newtype 𝔻ᴾ = 𝔻ᴾ {}
- cond :: 𝔹 -> a -> a -> a
- elim𝔹 :: a -> a -> 𝔹 -> a
- type ℂ = Char
- exfalso :: Void -> a
- newtype 𝐼 a = 𝐼 {
- un𝐼 :: forall b. (a -> b -> (b -> b) -> b) -> b -> (b -> b) -> b
- run𝐼 :: (b -> b) -> b -> (a -> b -> (b -> b) -> b) -> 𝐼 a -> b
- run𝐼On :: 𝐼 a -> (b -> b) -> b -> (a -> b -> (b -> b) -> b) -> b
- foldk𝐼 :: b -> (a -> b -> (b -> b) -> b) -> 𝐼 a -> b
- fold𝐼 :: b -> (a -> b -> b) -> 𝐼 a -> b
- foldr𝐼 :: b -> (a -> b -> b) -> 𝐼 a -> b
- map𝐼 :: (a -> b) -> 𝐼 a -> 𝐼 b
- null𝐼 :: 𝐼 a
- single𝐼 :: a -> 𝐼 a
- list𝐼 :: 𝐼 a -> 𝐿 a
- iter𝐿 :: 𝐿 a -> 𝐼 a
- lazyList𝐼 :: 𝐼 a -> [a]
- iterLL :: [a] -> 𝐼 a
- newtype 𝑆 a = 𝑆 {}
- newtype 𝑃 a = 𝑃 {}
- coerce_UNSAFE :: a -> b
- weq_UNSAFE :: forall {k} (a :: k) (b :: k). P a -> P b -> W (a ~ b)
- void_UNSAFE :: Void
- data Ex (t :: k -> Type) where
- data Ex_C (c :: k -> Constraint) (t :: k -> Type) where
- Ex_C :: forall k (c :: k -> Constraint) (t :: k -> Type) (a :: k). c a => t a -> Ex_C c t
- unpack_C :: Ex_C c t -> (forall (a :: k). c a => t a -> b) -> b
- type STACK = HasCallStack
- ifThenElse :: 𝔹 -> a -> a -> a
- 𝕤 :: [ℂ] -> 𝕊
- 𝕟 :: ℕ -> ℕ
- 𝕟64 :: ℕ -> ℕ64
- 𝕟32 :: ℕ -> ℕ32
- 𝕟16 :: ℕ -> ℕ16
- 𝕟8 :: ℕ -> ℕ8
- 𝕫 :: ℕ -> ℤ
- 𝕫64 :: ℕ -> ℤ64
- 𝕫32 :: ℕ -> ℤ32
- 𝕫16 :: ℕ -> ℤ16
- 𝕫8 :: ℕ -> ℤ8
- 𝕢 :: ℕ -> ℚ
- 𝕢ᴾ :: ℕ -> ℚᴾ
- 𝕕ᴾ :: 𝔻 -> 𝔻ᴾ
- tohsChars :: 𝕊 -> [ℂ]
- frhsChars :: [ℂ] -> 𝕊
- appto :: a -> (a -> b) -> b
- (∘∘) :: (c -> d) -> (a -> b -> c) -> a -> b -> d
- (∘∘∘) :: (d -> e) -> (a -> b -> c -> d) -> a -> b -> c -> e
- mirror :: (a -> b -> c -> d) -> c -> b -> a -> d
- tohs𝑂F :: (a -> b) -> 𝑂 a -> Maybe b
- tohs𝑂 :: 𝑂 a -> Maybe a
- frhs𝑂F :: (a -> b) -> Maybe a -> 𝑂 b
- frhs𝑂 :: Maybe a -> 𝑂 a
- class CHS a b | b -> a where
- module Data.Coerce
- type Constraint = CONSTRAINT LiftedRep
- callStack :: HasCallStack => CallStack
- data CallStack
- withFrozenCallStack :: HasCallStack => (HasCallStack => a) -> a
- data Bool
- data Ordering
- class Show a where
- data IO a
- class Eq a where
- class Eq a => Ord a where
- otherwise :: Bool
- fromInteger :: Num a => Integer -> a
- undefined :: HasCallStack => a
- fromString :: IsString a => String -> a
Documentation
Instances
Instances
fromRational :: Rational -> 𝔻 Source #
Instances
| Bind 𝐿 Source # | |
| Functor 𝐿 Source # | |
| FunctorM 𝐿 Source # | |
| Monad 𝐿 Source # | |
Defined in UVMHS.Core.Data.List | |
| Return 𝐿 Source # | |
Defined in UVMHS.Core.Data.List | |
| MonadNondet 𝐿 Source # | |
| Lookup ℕ64 a (𝐿 a) Source # | |
| Lift a => Lift (𝐿 a :: Type) Source # | |
| Single a (𝐿 a) Source # | |
Defined in UVMHS.Core.Data.List | |
| ToIter a (𝐿 a) Source # | |
| Show a => Show (𝐿 a) Source # | |
| Eq a => Eq (𝐿 a) Source # | |
| Ord a => Ord (𝐿 a) Source # | |
| Append (𝐿 a) Source # | |
| Monoid (𝐿 a) Source # | |
Defined in UVMHS.Core.Data.List | |
| Null (𝐿 a) Source # | |
Defined in UVMHS.Core.Data.List | |
| Fuzzy a => Fuzzy (𝐿 a) Source # | |
| Pretty a => Pretty (𝐿 a) Source # | |
| Shrinky a => Shrinky (𝐿 a) Source # | |
| CHS a b => CHS (𝐿 a) [b] Source # | |
Instances
Instances
| Bind 𝑄 Source # | |
| Functor 𝑄 Source # | |
| Monad 𝑄 Source # | |
Defined in UVMHS.Core.Data.Sequence | |
| Return 𝑄 Source # | |
Defined in UVMHS.Core.Data.Sequence | |
| MonadNondet 𝑄 Source # | |
| Single a (𝑄 a) Source # | |
Defined in UVMHS.Core.Data.Sequence | |
| ToIter a (𝑄 a) Source # | |
| Show a => Show (𝑄 a) Source # | |
| Eq a => Eq (𝑄 a) Source # | |
| Ord a => Ord (𝑄 a) Source # | |
| Append (𝑄 a) Source # | |
| Monoid (𝑄 a) Source # | |
Defined in UVMHS.Core.Data.Sequence | |
| Null (𝑄 a) Source # | |
Defined in UVMHS.Core.Data.Sequence | |
| Pretty a => Pretty (𝑄 a) Source # | |
newtype k ⇰ v infixr 1 Source #
Instances
| Ord k => Lookup k a (k ⇰ a) Source # | |
| Ord k => KBiFunctor k ((⇰) k) Source # | |
| Ord k => KBiFunctorM k ((⇰) k) Source # | |
| Ord k => KFunctor k ((⇰) k) Source # | |
| Ord k => KFunctorM k ((⇰) k) Source # | |
| Ord k => OKBiFunctor k ((⇰) k) Source # | |
| Ord k => OKBiFunctorM k ((⇰) k) Source # | |
| Ord k => OKFunctor k ((⇰) k) Source # | |
| Ord k => OKFunctorM k ((⇰) k) Source # | |
| Ord k => Dict k (𝑃 k) ((⇰) k) Source # | |
Defined in UVMHS.Core.Data.Dict Methods (↦) :: k -> a -> k ⇰ a Source # dadd :: k -> a -> (k ⇰ a) -> k ⇰ a Source # drem :: k -> (k ⇰ a) -> k ⇰ a Source # dupd :: k -> (a -> 𝑂 a) -> (k ⇰ a) -> k ⇰ a Source # dlteBy :: (a -> a -> 𝔹) -> (k ⇰ a) -> (k ⇰ a) -> 𝔹 Source # dunionBy :: (a -> a -> a) -> (k ⇰ a) -> (k ⇰ a) -> k ⇰ a Source # dkunionBy :: (k -> a -> a -> a) -> (k ⇰ a) -> (k ⇰ a) -> k ⇰ a Source # dinterBy :: (a -> b -> c) -> (k ⇰ a) -> (k ⇰ b) -> k ⇰ c Source # dsdiffBy :: (a -> b -> 𝑂 a) -> (k ⇰ a) -> (k ⇰ b) -> k ⇰ a Source # (⋿) :: k -> (k ⇰ a) -> 𝔹 Source # (⫑) :: Eq a => (k ⇰ a) -> (k ⇰ a) -> 𝔹 Source # (⩌) :: (k ⇰ a) -> (k ⇰ a) -> k ⇰ a Source # (⩍) :: (k ⇰ a) -> (k ⇰ a) -> k ⇰ a Source # (⧅) :: Eq a => (k ⇰ a) -> (k ⇰ a) -> k ⇰ a Source # dminView :: (k ⇰ a) -> 𝑂 ((k ∧ a) ∧ (k ⇰ a)) Source # dmaxView :: (k ⇰ a) -> 𝑂 ((k ∧ a) ∧ (k ⇰ a)) Source # dkeyView :: k -> (k ⇰ a) -> 𝑂 (a ∧ (k ⇰ a)) Source # dminElem :: (k ⇰ a) -> 𝑂 (k ∧ a) Source # dmaxElem :: (k ⇰ a) -> 𝑂 (k ∧ a) Source # dkeep :: 𝑃 k -> (k ⇰ a) -> k ⇰ a Source # dtoss :: 𝑃 k -> (k ⇰ a) -> k ⇰ a Source # dict𝐼 :: 𝐼 (k ∧ a) -> k ⇰ a Source # | |
| (Lift k, Lift v) => Lift (k ⇰ v :: Type) Source # | |
| Ord k => BiFunctor ((⇰) k) Source # | |
| Ord k => BiFunctorM ((⇰) k) Source # | |
| Functor ((⇰) k) Source # | |
| FunctorM ((⇰) k) Source # | |
| Ord k => OBiFunctor ((⇰) k) Source # | |
| Ord k => OBiFunctorM ((⇰) k) Source # | |
| OFunctor ((⇰) k) Source # | |
| OFunctorM ((⇰) k) Source # | |
| (Show k, Show a) => Show (k ⇰ a) Source # | |
| (Eq k, Eq v) => Eq (k ⇰ v) Source # | |
| (Ord k, Ord v) => Ord (k ⇰ v) Source # | |
| (Ord k, Plus a) => Additive (k ⇰ a) Source # | |
Defined in UVMHS.Core.Data.Dict | |
| (Ord k, Additive k, Multiplicative a) => Multiplicative (k ⇰ a) Source # | |
Defined in UVMHS.Core.Data.Dict | |
| (Ord k, Zero k, Zero a) => One (k ⇰ a) Source # | |
Defined in UVMHS.Core.Data.Dict | |
| (Ord k, Plus a) => Plus (k ⇰ a) Source # | |
| (Ord k, Plus k, Plus a, Times a) => Times (k ⇰ a) Source # | |
| Zero (k ⇰ a) Source # | |
Defined in UVMHS.Core.Data.Dict | |
| (Ord k, All k, All a) => All (k ⇰ a) Source # | |
| CSized (k ⇰ a) Source # | |
| Bot (k ⇰ a) Source # | |
Defined in UVMHS.Core.Data.Dict | |
| (Ord k, Difference a) => Difference (k ⇰ a) Source # | |
| (Ord k, Join a) => Join (k ⇰ a) Source # | |
| (Ord k, Join a) => JoinLattice (k ⇰ a) Source # | |
Defined in UVMHS.Core.Data.Dict | |
| (Ord k, Meet a) => Meet (k ⇰ a) Source # | |
| (Ord k, POrd a) => POrd (k ⇰ a) Source # | |
| (Ord k, Append a) => Append (k ⇰ a) Source # | |
| (Ord k, Append k, Append a, Cross a) => Cross (k ⇰ a) Source # | |
| (Ord k, Append a) => Monoid (k ⇰ a) Source # | |
Defined in UVMHS.Core.Data.Dict | |
| Null (k ⇰ a) Source # | |
Defined in UVMHS.Core.Data.Dict | |
| (Ord k, Monoid k, Prodoid a) => Prodoid (k ⇰ a) Source # | |
Defined in UVMHS.Core.Data.Dict | |
| (Ord k, Null k, Null a) => Unit (k ⇰ a) Source # | |
Defined in UVMHS.Core.Data.Dict | |
| (Ord k, Fuzzy k, Fuzzy v) => Fuzzy (k ⇰ v) Source # | |
| (Pretty k, Pretty v) => Pretty (k ⇰ v) Source # | |
| (Ord k, Shrinky v) => Shrinky (k ⇰ v) Source # | |
| Ord k => Single (k ∧ a) (k ⇰ a) Source # | |
| ToIter (k ∧ a) (k ⇰ a) Source # | |
| (Ord s, Ord e) => MonadWriter (s ⇰ 𝑃 (UVar s e)) (SubstyM s e) Source # | |
Instances
| MonadError e ((∨) e :: Type -> Type) Source # | |
| Bind ((∨) a) Source # | |
| Functor ((∨) a) Source # | |
| FunctorM ((∨) a) Source # | |
| Monad ((∨) a) Source # | |
Defined in UVMHS.Core.Data.Choice | |
| Return ((∨) a) Source # | |
Defined in UVMHS.Core.Data.Choice | |
| (𝑂 a) ⇄ (() ∨ a) Source # | |
| (Show a, Show b) => Show (a ∨ b) Source # | |
| (Eq a, Eq b) => Eq (a ∨ b) Source # | |
| (Ord a, Ord b) => Ord (a ∨ b) Source # | |
| (Chunky a, Chunky b) => Chunky (a ∨ b) Source # | |
| (ASized a, ASized b) => ASized (a ∨ b) Source # | |
| (All a, All b) => All (a ∨ b) Source # | |
| (Append a, Append b) => Append (a ∨ b) Source # | |
| (Append a, Monoid b) => Monoid (a ∨ b) Source # | |
Defined in UVMHS.Core.Data.Choice | |
| Null b => Null (a ∨ b) Source # | |
Defined in UVMHS.Core.Data.Choice | |
| (Fuzzy a, Fuzzy b) => Fuzzy (a ∨ b) Source # | |
| (Pretty a, Pretty b) => Pretty (a ∨ b) Source # | |
| (Shrinky a, Shrinky b) => Shrinky (a ∨ b) Source # | |
| (CHS a₁ b₁, CHS a₂ b₂) => CHS (a₁ ∨ a₂) (Either b₁ b₂) Source # | |
Constructors
| a :* b infixl 8 |
Instances
| Null o => MonadWriter o ((∧) o) Source # | |
| (Lift a, Lift b) => Lift (a ∧ b :: Type) Source # | |
| (Monad m, Monoid o, MonadWriter o m) => MonadWriter o (ContT (o ∧ r) m) Source # | |
| Append a => Bind ((∧) a) Source # | |
| Functor ((∧) a) Source # | |
| FunctorM ((∧) a) Source # | |
| Monoid a => Monad ((∧) a) Source # | |
Defined in UVMHS.Core.Data.Pair | |
| Null a => Return ((∧) a) Source # | |
Defined in UVMHS.Core.Data.Pair | |
| (Show a, Show b) => Show (a ∧ b) Source # | |
| (Eq a, Eq b) => Eq (a ∧ b) Source # | |
| (Ord a, Ord b) => Ord (a ∧ b) Source # | |
| (Chunky a, Chunky b) => Chunky (a ∧ b) Source # | |
| (ASized a, ASized b) => ASized (a ∧ b) Source # | |
| (All a, All b) => All (a ∧ b) Source # | |
| (Bot a, Bot b) => Bot (a ∧ b) Source # | |
Defined in UVMHS.Core.Data.Pair | |
| (Difference a, Difference b) => Difference (a ∧ b) Source # | |
| (Dual a, Dual b) => Dual (a ∧ b) Source # | |
| (Join a, Join b) => Join (a ∧ b) Source # | |
| (JoinLattice a, JoinLattice b) => JoinLattice (a ∧ b) Source # | |
Defined in UVMHS.Core.Data.Pair | |
| (Lattice a, Lattice b) => Lattice (a ∧ b) Source # | |
Defined in UVMHS.Core.Data.Pair | |
| (Meet a, Meet b) => Meet (a ∧ b) Source # | |
| (MeetLattice a, MeetLattice b) => MeetLattice (a ∧ b) Source # | |
Defined in UVMHS.Core.Data.Pair | |
| (POrd a, POrd b) => POrd (a ∧ b) Source # | |
| (Top a, Top b) => Top (a ∧ b) Source # | |
Defined in UVMHS.Core.Data.Pair | |
| (Append a, Append b) => Append (a ∧ b) Source # | |
| (Monoid a, Monoid b) => Monoid (a ∧ b) Source # | |
Defined in UVMHS.Core.Data.Pair | |
| (Null a, Null b) => Null (a ∧ b) Source # | |
Defined in UVMHS.Core.Data.Pair | |
| (Fuzzy a, Fuzzy b) => Fuzzy (a ∧ b) Source # | |
| (Pretty a, Pretty b) => Pretty (a ∧ b) Source # | |
| (Shrinky a, Shrinky b) => Shrinky (a ∧ b) Source # | |
| Single (ℤ64 ∧ a) (𝑉 a) Source # | |
| ToIter (ℤ64 ∧ a) (𝑉 a) Source # | |
| Ord k => Single (Elem (StdESD k) ∧ a) (EDct (StdESD k) a) Source # | |
| Ord k => Single (k ∧ a) (k ⇰ a) Source # | |
| ToIter (k ∧ a) (k ⇰ a) Source # | |
| (CHS a₁ b₁, CHS a₂ b₂) => CHS (a₁ ∧ a₂) (b₁, b₂) Source # | |
| (CHS a₁ b₁, CHS a₂ b₂, CHS a₃ b₃) => CHS ((a₁ ∧ a₂) ∧ a₃) (b₁, b₂, b₃) Source # | |
| (CHS a₁ b₁, CHS a₂ b₂, CHS a₃ b₃, CHS a₄ b₄) => CHS (((a₁ ∧ a₂) ∧ a₃) ∧ a₄) (b₁, b₂, b₃, b₄) Source # | |
Instances
| Floating 𝔻ᴾ Source # | |
Defined in UVMHS.Core.Init Methods | |
| Num 𝔻ᴾ Source # | |
| Fractional 𝔻ᴾ Source # | |
| Real 𝔻ᴾ Source # | |
Defined in UVMHS.Core.Init Methods toRational :: 𝔻ᴾ -> Rational # | |
| Show 𝔻ᴾ Source # | |
| Eq 𝔻ᴾ Source # | |
| Ord 𝔻ᴾ Source # | |
| Additive 𝔻ᴾ Source # | |
Defined in UVMHS.Core.Data.Arithmetic | |
| Cos 𝔻ᴾ Source # | |
| Divide 𝔻ᴾ Source # | |
| Efn 𝔻ᴾ Source # | |
| Log 𝔻ᴾ Source # | |
| Minus 𝔻ᴾ Source # | |
| Multiplicative 𝔻ᴾ Source # | |
Defined in UVMHS.Core.Data.Arithmetic | |
| One 𝔻ᴾ Source # | |
Defined in UVMHS.Core.Data.Arithmetic | |
| Plus 𝔻ᴾ Source # | |
| Pon 𝔻ᴾ Source # | |
| Pow 𝔻ᴾ Source # | |
| Root 𝔻ᴾ Source # | |
| Sin 𝔻ᴾ Source # | |
| Times 𝔻ᴾ Source # | |
| ToDouble 𝔻ᴾ Source # | |
| ToDoubleᴾ 𝔻ᴾ Source # | |
| ToIntO 𝔻ᴾ Source # | |
| ToIntO16 𝔻ᴾ Source # | |
| ToIntO32 𝔻ᴾ Source # | |
| ToIntO64 𝔻ᴾ Source # | |
| ToIntO8 𝔻ᴾ Source # | |
| ToNatO 𝔻ᴾ Source # | |
| ToNatO16 𝔻ᴾ Source # | |
| ToNatO32 𝔻ᴾ Source # | |
| ToNatO64 𝔻ᴾ Source # | |
| ToNatO8 𝔻ᴾ Source # | |
| ToNumber 𝔻ᴾ Source # | |
| ToNumberᴾ 𝔻ᴾ Source # | |
| ToRational 𝔻ᴾ Source # | |
| ToRationalᴾO 𝔻ᴾ Source # | |
| Zero 𝔻ᴾ Source # | |
Defined in UVMHS.Core.Data.Arithmetic | |
| Bot 𝔻ᴾ Source # | |
Defined in UVMHS.Core.Data.Arithmetic | |
| Join 𝔻ᴾ Source # | |
| JoinLattice 𝔻ᴾ Source # | |
Defined in UVMHS.Core.Data.Arithmetic | |
| Meet 𝔻ᴾ Source # | |
| MeetLattice 𝔻ᴾ Source # | |
Defined in UVMHS.Core.Data.Arithmetic | |
| Top 𝔻ᴾ Source # | |
Defined in UVMHS.Core.Data.Arithmetic | |
| Append 𝔻ᴾ Source # | |
| Monoid 𝔻ᴾ Source # | |
Defined in UVMHS.Core.Data.Arithmetic | |
| Null 𝔻ᴾ Source # | |
Defined in UVMHS.Core.Data.Arithmetic | |
| Pretty 𝔻ᴾ Source # | |
Instances
| Bind 𝐼 Source # | |
| Functor 𝐼 Source # | |
| FunctorM 𝐼 Source # | |
| Monad 𝐼 Source # | |
Defined in UVMHS.Core.Data.Iter | |
| Return 𝐼 Source # | |
Defined in UVMHS.Core.Data.Iter | |
| MonadNondet 𝐼 Source # | |
| Lookup ℕ64 a (𝐼 a) Source # | |
| Lift a => Lift (𝐼 a :: Type) Source # | |
| Single a (𝐼 a) Source # | |
Defined in UVMHS.Core.Data.Iter | |
| ToIter a (𝐼 a) Source # | |
| 𝕊 ⇄ (𝐼 ℂ) Source # | |
| Show a => Show (𝐼 a) Source # | |
| Eq a => Eq (𝐼 a) Source # | |
| Ord a => Ord (𝐼 a) Source # | |
| Append (𝐼 a) Source # | |
| Monoid (𝐼 a) Source # | |
Defined in UVMHS.Core.Data.Iter | |
| Null (𝐼 a) Source # | |
Defined in UVMHS.Core.Data.Iter | |
| Pretty a => Pretty (𝐼 a) Source # | |
| Shrinky a => Shrinky (𝐼 a) Source # | |
Instances
| Lift a => Lift (𝑃 a :: Type) Source # | |
| Ord a => Single a (𝑃 a) Source # | |
Defined in UVMHS.Core.Data.Set | |
| ToIter a (𝑃 a) Source # | |
| Ord e => Set e (𝑃 e) Source # | |
Defined in UVMHS.Core.Data.Set Methods padd :: e -> 𝑃 e -> 𝑃 e Source # prem :: e -> 𝑃 e -> 𝑃 e Source # (⊆) :: 𝑃 e -> 𝑃 e -> 𝔹 Source # (∪) :: 𝑃 e -> 𝑃 e -> 𝑃 e Source # (∩) :: 𝑃 e -> 𝑃 e -> 𝑃 e Source # (∖) :: 𝑃 e -> 𝑃 e -> 𝑃 e Source # pminView :: 𝑃 e -> 𝑂 (e ∧ 𝑃 e) Source # pmaxView :: 𝑃 e -> 𝑂 (e ∧ 𝑃 e) Source # pminElem :: 𝑃 e -> 𝑂 e Source # | |
| Ord k => Dict k (𝑃 k) ((⇰) k) Source # | |
Defined in UVMHS.Core.Data.Dict Methods (↦) :: k -> a -> k ⇰ a Source # dadd :: k -> a -> (k ⇰ a) -> k ⇰ a Source # drem :: k -> (k ⇰ a) -> k ⇰ a Source # dupd :: k -> (a -> 𝑂 a) -> (k ⇰ a) -> k ⇰ a Source # dlteBy :: (a -> a -> 𝔹) -> (k ⇰ a) -> (k ⇰ a) -> 𝔹 Source # dunionBy :: (a -> a -> a) -> (k ⇰ a) -> (k ⇰ a) -> k ⇰ a Source # dkunionBy :: (k -> a -> a -> a) -> (k ⇰ a) -> (k ⇰ a) -> k ⇰ a Source # dinterBy :: (a -> b -> c) -> (k ⇰ a) -> (k ⇰ b) -> k ⇰ c Source # dsdiffBy :: (a -> b -> 𝑂 a) -> (k ⇰ a) -> (k ⇰ b) -> k ⇰ a Source # (⋿) :: k -> (k ⇰ a) -> 𝔹 Source # (⫑) :: Eq a => (k ⇰ a) -> (k ⇰ a) -> 𝔹 Source # (⩌) :: (k ⇰ a) -> (k ⇰ a) -> k ⇰ a Source # (⩍) :: (k ⇰ a) -> (k ⇰ a) -> k ⇰ a Source # (⧅) :: Eq a => (k ⇰ a) -> (k ⇰ a) -> k ⇰ a Source # dminView :: (k ⇰ a) -> 𝑂 ((k ∧ a) ∧ (k ⇰ a)) Source # dmaxView :: (k ⇰ a) -> 𝑂 ((k ∧ a) ∧ (k ⇰ a)) Source # dkeyView :: k -> (k ⇰ a) -> 𝑂 (a ∧ (k ⇰ a)) Source # dminElem :: (k ⇰ a) -> 𝑂 (k ∧ a) Source # dmaxElem :: (k ⇰ a) -> 𝑂 (k ∧ a) Source # dkeep :: 𝑃 k -> (k ⇰ a) -> k ⇰ a Source # dtoss :: 𝑃 k -> (k ⇰ a) -> k ⇰ a Source # dict𝐼 :: 𝐼 (k ∧ a) -> k ⇰ a Source # | |
| Show a => Show (𝑃 a) Source # | |
| Eq a => Eq (𝑃 a) Source # | |
| Ord a => Ord (𝑃 a) Source # | |
| Ord a => Additive (𝑃 a) Source # | |
Defined in UVMHS.Core.Data.Set | |
| (Ord a, Zero a) => One (𝑃 a) Source # | |
Defined in UVMHS.Core.Data.Set | |
| Ord a => Plus (𝑃 a) Source # | |
| (Ord a, Plus a) => Times (𝑃 a) Source # | |
| Zero (𝑃 a) Source # | |
Defined in UVMHS.Core.Data.Set | |
| (Ord a, All a) => All (𝑃 a) Source # | |
| CSized (𝑃 a) Source # | |
| Bot (𝑃 a) Source # | |
Defined in UVMHS.Core.Data.Set | |
| Ord a => Difference (𝑃 a) Source # | |
| Ord a => Join (𝑃 a) Source # | |
| Ord a => JoinLattice (𝑃 a) Source # | |
Defined in UVMHS.Core.Data.Set | |
| Ord a => Meet (𝑃 a) Source # | |
| Ord a => POrd (𝑃 a) Source # | |
| Ord a => Append (𝑃 a) Source # | |
| (Ord a, Append a) => Cross (𝑃 a) Source # | |
| Ord a => Monoid (𝑃 a) Source # | |
Defined in UVMHS.Core.Data.Set | |
| Null (𝑃 a) Source # | |
Defined in UVMHS.Core.Data.Set | |
| (Ord a, Monoid a) => Prodoid (𝑃 a) Source # | |
Defined in UVMHS.Core.Data.Set | |
| (Ord a, Null a) => Unit (𝑃 a) Source # | |
Defined in UVMHS.Core.Data.Set | |
| Pretty a => Pretty (𝑃 a) Source # | |
| (Ord s, Ord e) => MonadWriter (s ⇰ 𝑃 (UVar s e)) (SubstyM s e) Source # | |
coerce_UNSAFE :: a -> b Source #
void_UNSAFE :: Void Source #
data Ex_C (c :: k -> Constraint) (t :: k -> Type) where Source #
Constructors
| Ex_C :: forall k (c :: k -> Constraint) (t :: k -> Type) (a :: k). c a => t a -> Ex_C c t |
type STACK = HasCallStack Source #
ifThenElse :: 𝔹 -> a -> a -> a Source #
class CHS a b | b -> a where Source #
Instances
| CHS ℤ64 Int Source # | |
| a ~ b => CHS a b Source # | |
| CHS a b => CHS (𝐿 a) [b] Source # | |
| CHS a b => CHS (𝑂 a) (Maybe b) Source # | |
| (CHS a₁ b₁, CHS a₂ b₂) => CHS (a₁ ∧ a₂) (b₁, b₂) Source # | |
| (CHS a₁ b₁, CHS a₂ b₂) => CHS (a₁ ∨ a₂) (Either b₁ b₂) Source # | |
| (CHS a₁ b₁, CHS a₂ b₂, CHS a₃ b₃) => CHS ((a₁ ∧ a₂) ∧ a₃) (b₁, b₂, b₃) Source # | |
| (CHS a₁ b₁, CHS a₂ b₂, CHS a₃ b₃, CHS a₄ b₄) => CHS (((a₁ ∧ a₂) ∧ a₃) ∧ a₄) (b₁, b₂, b₃, b₄) Source # | |
module Data.Coerce
type Constraint = CONSTRAINT LiftedRep #
The kind of lifted constraints
callStack :: HasCallStack => CallStack #
CallStacks are a lightweight method of obtaining a
partial call-stack at any point in the program.
A function can request its call-site with the HasCallStack constraint.
For example, we can define
putStrLnWithCallStack :: HasCallStack => String -> IO ()
as a variant of putStrLn that will get its call-site and print it,
along with the string given as argument. We can access the
call-stack inside putStrLnWithCallStack with callStack.
>>>:{putStrLnWithCallStack :: HasCallStack => String -> IO () putStrLnWithCallStack msg = do putStrLn msg putStrLn (prettyCallStack callStack) :}
Thus, if we call putStrLnWithCallStack we will get a formatted call-stack
alongside our string.
>>>putStrLnWithCallStack "hello"hello CallStack (from HasCallStack): putStrLnWithCallStack, called at <interactive>:... in interactive:Ghci...
GHC solves HasCallStack constraints in three steps:
- If there is a
CallStackin scope -- i.e. the enclosing function has aHasCallStackconstraint -- GHC will append the new call-site to the existingCallStack. - If there is no
CallStackin scope -- e.g. in the GHCi session above -- and the enclosing definition does not have an explicit type signature, GHC will infer aHasCallStackconstraint for the enclosing definition (subject to the monomorphism restriction). - If there is no
CallStackin scope and the enclosing definition has an explicit type signature, GHC will solve theHasCallStackconstraint for the singletonCallStackcontaining just the current call-site.
CallStacks do not interact with the RTS and do not require compilation
with -prof. On the other hand, as they are built up explicitly via the
HasCallStack constraints, they will generally not contain as much
information as the simulated call-stacks maintained by the RTS.
A CallStack is a [(String, SrcLoc)]. The String is the name of
function that was called, the SrcLoc is the call-site. The list is
ordered with the most recently called function at the head.
NOTE: The intrepid user may notice that HasCallStack is just an
alias for an implicit parameter ?callStack :: CallStack. This is an
implementation detail and should not be considered part of the
CallStack API, we may decide to change the implementation in the
future.
Since: base-4.8.1.0
Instances
| IsList CallStack | Be aware that 'fromList . toList = id' only for unfrozen Since: base-4.9.0.0 |
| Show CallStack | Since: base-4.9.0.0 |
| NFData CallStack | Since: deepseq-1.4.2.0 |
Defined in Control.DeepSeq | |
| Pretty CallStack Source # | |
| type Item CallStack | |
Defined in GHC.IsList | |
withFrozenCallStack :: HasCallStack => (HasCallStack => a) -> a #
Perform some computation without adding new entries to the CallStack.
Since: base-4.9.0.0
Instances
| Arbitrary Bool | |||||
| CoArbitrary Bool | |||||
Defined in Test.QuickCheck.Arbitrary Methods coarbitrary :: Bool -> Gen b -> Gen b # | |||||
| Function Bool | |||||
| Testable Bool | |||||
| Data Bool | Since: base-4.0.0.0 | ||||
Defined in Data.Data Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Bool -> c Bool # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Bool # dataTypeOf :: Bool -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Bool) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Bool) # gmapT :: (forall b. Data b => b -> b) -> Bool -> Bool # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Bool -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Bool -> r # gmapQ :: (forall d. Data d => d -> u) -> Bool -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Bool -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Bool -> m Bool # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Bool -> m Bool # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Bool -> m Bool # | |||||
| Storable Bool | Since: base-2.1 | ||||
Defined in Foreign.Storable | |||||
| Bits Bool | Interpret Since: base-4.7.0.0 | ||||
Defined in GHC.Bits Methods (.&.) :: Bool -> Bool -> Bool # (.|.) :: Bool -> Bool -> Bool # complement :: Bool -> Bool # shift :: Bool -> Int -> Bool # rotate :: Bool -> Int -> Bool # setBit :: Bool -> Int -> Bool # clearBit :: Bool -> Int -> Bool # complementBit :: Bool -> Int -> Bool # testBit :: Bool -> Int -> Bool # bitSizeMaybe :: Bool -> Maybe Int # shiftL :: Bool -> Int -> Bool # unsafeShiftL :: Bool -> Int -> Bool # shiftR :: Bool -> Int -> Bool # unsafeShiftR :: Bool -> Int -> Bool # rotateL :: Bool -> Int -> Bool # | |||||
| FiniteBits Bool | Since: base-4.7.0.0 | ||||
Defined in GHC.Bits Methods finiteBitSize :: Bool -> Int # countLeadingZeros :: Bool -> Int # countTrailingZeros :: Bool -> Int # | |||||
| Bounded Bool | Since: base-2.1 | ||||
| Enum Bool | Since: base-2.1 | ||||
| Generic Bool | |||||
Defined in GHC.Generics | |||||
| SingKind Bool | Since: base-4.9.0.0 | ||||
Defined in GHC.Generics Associated Types
| |||||
| Ix Bool | Since: base-2.1 | ||||
| Read Bool | Since: base-2.1 | ||||
| Show Bool | Since: base-2.1 | ||||
| NFData Bool | |||||
Defined in Control.DeepSeq | |||||
| Eq Bool | |||||
| Ord Bool | |||||
| Hashable Bool | |||||
Defined in Data.Hashable.Class | |||||
| Random Bool | |||||
| Uniform Bool | |||||
Defined in System.Random.Internal Methods uniformM :: StatefulGen g m => g -> m Bool # | |||||
| UniformRange Bool | |||||
Defined in System.Random.Internal | |||||
| Chunky 𝔹 Source # | |||||
| Additive 𝔹 Source # | |||||
Defined in UVMHS.Core.Data.Bool | |||||
| Multiplicative 𝔹 Source # | |||||
Defined in UVMHS.Core.Data.Bool | |||||
| One 𝔹 Source # | |||||
Defined in UVMHS.Core.Data.Bool | |||||
| Plus 𝔹 Source # | |||||
| Times 𝔹 Source # | |||||
| Zero 𝔹 Source # | |||||
Defined in UVMHS.Core.Data.Bool | |||||
| BitAnd 𝔹 Source # | |||||
| BitComp 𝔹 Source # | |||||
| BitOne 𝔹 Source # | |||||
Defined in UVMHS.Core.Data.Bitty | |||||
| BitOr 𝔹 Source # | |||||
| BitShiftL 𝔹 Source # | |||||
| BitShiftR 𝔹 Source # | |||||
| BitXor 𝔹 Source # | |||||
| BitZero 𝔹 Source # | |||||
Defined in UVMHS.Core.Data.Bitty | |||||
| Bitty 𝔹 Source # | |||||
Defined in UVMHS.Core.Data.Bitty | |||||
| All 𝔹 Source # | |||||
| Bot 𝔹 Source # | |||||
Defined in UVMHS.Core.Data.Bool | |||||
| Dual 𝔹 Source # | |||||
| Join 𝔹 Source # | |||||
| JoinLattice 𝔹 Source # | |||||
Defined in UVMHS.Core.Data.Bool | |||||
| Lattice 𝔹 Source # | |||||
Defined in UVMHS.Core.Data.Bool | |||||
| Meet 𝔹 Source # | |||||
| MeetLattice 𝔹 Source # | |||||
Defined in UVMHS.Core.Data.Bool | |||||
| POrd 𝔹 Source # | |||||
| Top 𝔹 Source # | |||||
Defined in UVMHS.Core.Data.Bool | |||||
| Append 𝔹 Source # | |||||
| Monoid 𝔹 Source # | |||||
Defined in UVMHS.Core.Data.Bool | |||||
| Null 𝔹 Source # | |||||
Defined in UVMHS.Core.Data.Bool | |||||
| Fuzzy 𝔹 Source # | |||||
| Pretty 𝔹 Source # | |||||
| RandUniform 𝔹 Source # | |||||
| Unbox Bool | |||||
Defined in Data.Vector.Unboxed.Base | |||||
| SingI 'False | Since: base-4.9.0.0 | ||||
Defined in GHC.Generics | |||||
| SingI 'True | Since: base-4.9.0.0 | ||||
Defined in GHC.Generics | |||||
| Lift Bool | |||||
| BitSize 𝔹 Source # | |||||
| Vector Vector Bool | |||||
Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: Mutable Vector s Bool -> ST s (Vector Bool) basicUnsafeThaw :: Vector Bool -> ST s (Mutable Vector s Bool) basicLength :: Vector Bool -> Int basicUnsafeSlice :: Int -> Int -> Vector Bool -> Vector Bool basicUnsafeIndexM :: Vector Bool -> Int -> Box Bool basicUnsafeCopy :: Mutable Vector s Bool -> Vector Bool -> ST s () | |||||
| MVector MVector Bool | |||||
Defined in Data.Vector.Unboxed.Base Methods basicLength :: MVector s Bool -> Int basicUnsafeSlice :: Int -> Int -> MVector s Bool -> MVector s Bool basicOverlaps :: MVector s Bool -> MVector s Bool -> Bool basicUnsafeNew :: Int -> ST s (MVector s Bool) basicInitialize :: MVector s Bool -> ST s () basicUnsafeReplicate :: Int -> Bool -> ST s (MVector s Bool) basicUnsafeRead :: MVector s Bool -> Int -> ST s Bool basicUnsafeWrite :: MVector s Bool -> Int -> Bool -> ST s () basicClear :: MVector s Bool -> ST s () basicSet :: MVector s Bool -> Bool -> ST s () basicUnsafeCopy :: MVector s Bool -> MVector s Bool -> ST s () basicUnsafeMove :: MVector s Bool -> MVector s Bool -> ST s () basicUnsafeGrow :: MVector s Bool -> Int -> ST s (MVector s Bool) | |||||
| type DemoteRep Bool | |||||
Defined in GHC.Generics | |||||
| type Rep Bool | Since: base-4.6.0.0 | ||||
| data Sing (a :: Bool) | |||||
| newtype Vector Bool | |||||
Defined in Data.Vector.Unboxed.Base | |||||
| newtype MVector s Bool | |||||
Defined in Data.Vector.Unboxed.Base | |||||
Instances
| Arbitrary Ordering | |
| CoArbitrary Ordering | |
Defined in Test.QuickCheck.Arbitrary Methods coarbitrary :: Ordering -> Gen b -> Gen b # | |
| Function Ordering | |
| Data Ordering | Since: base-4.0.0.0 |
Defined in Data.Data Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Ordering -> c Ordering # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Ordering # toConstr :: Ordering -> Constr # dataTypeOf :: Ordering -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Ordering) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Ordering) # gmapT :: (forall b. Data b => b -> b) -> Ordering -> Ordering # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Ordering -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Ordering -> r # gmapQ :: (forall d. Data d => d -> u) -> Ordering -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Ordering -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Ordering -> m Ordering # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Ordering -> m Ordering # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Ordering -> m Ordering # | |
| Monoid Ordering | Since: base-2.1 |
| Semigroup Ordering | Since: base-4.9.0.0 |
| Bounded Ordering | Since: base-2.1 |
| Enum Ordering | Since: base-2.1 |
| Generic Ordering | |
Defined in GHC.Generics | |
| Ix Ordering | Since: base-2.1 |
Defined in GHC.Ix Methods range :: (Ordering, Ordering) -> [Ordering] # index :: (Ordering, Ordering) -> Ordering -> Int # unsafeIndex :: (Ordering, Ordering) -> Ordering -> Int # inRange :: (Ordering, Ordering) -> Ordering -> Bool # rangeSize :: (Ordering, Ordering) -> Int # unsafeRangeSize :: (Ordering, Ordering) -> Int # | |
| Read Ordering | Since: base-2.1 |
| Show Ordering | Since: base-2.1 |
| NFData Ordering | |
Defined in Control.DeepSeq | |
| Eq Ordering | |
| Ord Ordering | |
Defined in GHC.Classes | |
| Hashable Ordering | |
Defined in Data.Hashable.Class | |
| type Rep Ordering | Since: base-4.6.0.0 |
Conversion of values to readable Strings.
Derived instances of Show have the following properties, which
are compatible with derived instances of Read:
- The result of
showis a syntactically correct Haskell expression containing only constants, given the fixity declarations in force at the point where the type is declared. It contains only the constructor names defined in the data type, parentheses, and spaces. When labelled constructor fields are used, braces, commas, field names, and equal signs are also used. - If the constructor is defined to be an infix operator, then
showsPrecwill produce infix applications of the constructor. - the representation will be enclosed in parentheses if the
precedence of the top-level constructor in
xis less thand(associativity is ignored). Thus, ifdis0then the result is never surrounded in parentheses; ifdis11it is always surrounded in parentheses, unless it is an atomic expression. - If the constructor is defined using record syntax, then
showwill produce the record-syntax form, with the fields given in the same order as the original declaration.
For example, given the declarations
infixr 5 :^: data Tree a = Leaf a | Tree a :^: Tree a
the derived instance of Show is equivalent to
instance (Show a) => Show (Tree a) where
showsPrec d (Leaf m) = showParen (d > app_prec) $
showString "Leaf " . showsPrec (app_prec+1) m
where app_prec = 10
showsPrec d (u :^: v) = showParen (d > up_prec) $
showsPrec (up_prec+1) u .
showString " :^: " .
showsPrec (up_prec+1) v
where up_prec = 5Note that right-associativity of :^: is ignored. For example,
show(Leaf 1 :^: Leaf 2 :^: Leaf 3)"Leaf 1 :^: (Leaf 2 :^: Leaf 3)".
Methods
Instances
| Show ASCIIString | |
Defined in Test.QuickCheck.Modifiers Methods showsPrec :: Int -> ASCIIString -> ShowS # show :: ASCIIString -> String # showList :: [ASCIIString] -> ShowS # | |
| Show PrintableString | |
Defined in Test.QuickCheck.Modifiers Methods showsPrec :: Int -> PrintableString -> ShowS # show :: PrintableString -> String # showList :: [PrintableString] -> ShowS # | |
| Show UnicodeString | |
Defined in Test.QuickCheck.Modifiers Methods showsPrec :: Int -> UnicodeString -> ShowS # show :: UnicodeString -> String # showList :: [UnicodeString] -> ShowS # | |
| Show A | |
| Show B | |
| Show C | |
| Show OrdA | |
| Show OrdB | |
| Show OrdC | |
| Show QCGen | |
| Show Confidence | |
Defined in Test.QuickCheck.State Methods showsPrec :: Int -> Confidence -> ShowS # show :: Confidence -> String # showList :: [Confidence] -> ShowS # | |
| Show Args | |
| Show Result | |
| Show Cell | |
| Show Str | |
| Show More | |
| Show Pos | |
| Show NestedAtomically | Since: base-4.0 |
Defined in Control.Exception.Base Methods showsPrec :: Int -> NestedAtomically -> ShowS # show :: NestedAtomically -> String # showList :: [NestedAtomically] -> ShowS # | |
| Show NoMatchingContinuationPrompt | Since: base-4.18 |
Defined in Control.Exception.Base Methods showsPrec :: Int -> NoMatchingContinuationPrompt -> ShowS # show :: NoMatchingContinuationPrompt -> String # showList :: [NoMatchingContinuationPrompt] -> ShowS # | |
| Show NoMethodError | Since: base-4.0 |
Defined in Control.Exception.Base Methods showsPrec :: Int -> NoMethodError -> ShowS # show :: NoMethodError -> String # showList :: [NoMethodError] -> ShowS # | |
| Show NonTermination | Since: base-4.0 |
Defined in Control.Exception.Base Methods showsPrec :: Int -> NonTermination -> ShowS # show :: NonTermination -> String # showList :: [NonTermination] -> ShowS # | |
| Show PatternMatchFail | Since: base-4.0 |
Defined in Control.Exception.Base Methods showsPrec :: Int -> PatternMatchFail -> ShowS # show :: PatternMatchFail -> String # showList :: [PatternMatchFail] -> ShowS # | |
| Show RecConError | Since: base-4.0 |
Defined in Control.Exception.Base Methods showsPrec :: Int -> RecConError -> ShowS # show :: RecConError -> String # showList :: [RecConError] -> ShowS # | |
| Show RecSelError | Since: base-4.0 |
Defined in Control.Exception.Base Methods showsPrec :: Int -> RecSelError -> ShowS # show :: RecSelError -> String # showList :: [RecSelError] -> ShowS # | |
| Show RecUpdError | Since: base-4.0 |
Defined in Control.Exception.Base Methods showsPrec :: Int -> RecUpdError -> ShowS # show :: RecUpdError -> String # showList :: [RecUpdError] -> ShowS # | |
| Show TypeError | Since: base-4.9.0.0 |
| Show ByteArray | Since: base-4.17.0.0 |
| Show Constr | Since: base-4.0.0.0 |
| Show ConstrRep | Since: base-4.0.0.0 |
| Show DataRep | Since: base-4.0.0.0 |
| Show DataType | Since: base-4.0.0.0 |
| Show Fixity | Since: base-4.0.0.0 |
| Show Dynamic | Since: base-2.1 |
| Show All | Since: base-2.1 |
| Show Any | Since: base-2.1 |
| Show SomeTypeRep | Since: base-4.10.0.0 |
Defined in Data.Typeable.Internal Methods showsPrec :: Int -> SomeTypeRep -> ShowS # show :: SomeTypeRep -> String # showList :: [SomeTypeRep] -> ShowS # | |
| Show Version | Since: base-2.1 |
| Show CBool | |
| Show CChar | |
| Show CClock | |
| Show CDouble | |
| Show CFloat | |
| Show CInt | |
| Show CIntMax | |
| Show CIntPtr | |
| Show CLLong | |
| Show CLong | |
| Show CPtrdiff | |
| Show CSChar | |
| Show CSUSeconds | |
Defined in Foreign.C.Types Methods showsPrec :: Int -> CSUSeconds -> ShowS # show :: CSUSeconds -> String # showList :: [CSUSeconds] -> ShowS # | |
| Show CShort | |
| Show CSigAtomic | |
Defined in Foreign.C.Types Methods showsPrec :: Int -> CSigAtomic -> ShowS # show :: CSigAtomic -> String # showList :: [CSigAtomic] -> ShowS # | |
| Show CSize | |
| Show CTime | |
| Show CUChar | |
| Show CUInt | |
| Show CUIntMax | |
| Show CUIntPtr | |
| Show CULLong | |
| Show CULong | |
| Show CUSeconds | |
| Show CUShort | |
| Show CWchar | |
| Show IntPtr | |
| Show WordPtr | |
| Show Void | Since: base-4.8.0.0 |
| Show ByteOrder | Since: base-4.11.0.0 |
| Show BlockReason | Since: base-4.3.0.0 |
Defined in GHC.Conc.Sync Methods showsPrec :: Int -> BlockReason -> ShowS # show :: BlockReason -> String # showList :: [BlockReason] -> ShowS # | |
| Show ThreadId | Since: base-4.2.0.0 |
| Show ThreadStatus | Since: base-4.3.0.0 |
Defined in GHC.Conc.Sync Methods showsPrec :: Int -> ThreadStatus -> ShowS # show :: ThreadStatus -> String # showList :: [ThreadStatus] -> ShowS # | |
| Show ErrorCall | Since: base-4.0.0.0 |
| Show ArithException | Since: base-4.0.0.0 |
Defined in GHC.Exception.Type Methods showsPrec :: Int -> ArithException -> ShowS # show :: ArithException -> String # showList :: [ArithException] -> ShowS # | |
| Show SomeException | Since: base-3.0 |
Defined in GHC.Exception.Type Methods showsPrec :: Int -> SomeException -> ShowS # show :: SomeException -> String # showList :: [SomeException] -> ShowS # | |
| Show Fingerprint | Since: base-4.7.0.0 |
Defined in GHC.Fingerprint.Type Methods showsPrec :: Int -> Fingerprint -> ShowS # show :: Fingerprint -> String # showList :: [Fingerprint] -> ShowS # | |
| Show Associativity | Since: base-4.6.0.0 |
Defined in GHC.Generics Methods showsPrec :: Int -> Associativity -> ShowS # show :: Associativity -> String # showList :: [Associativity] -> ShowS # | |
| Show DecidedStrictness | Since: base-4.9.0.0 |
Defined in GHC.Generics Methods showsPrec :: Int -> DecidedStrictness -> ShowS # show :: DecidedStrictness -> String # showList :: [DecidedStrictness] -> ShowS # | |
| Show Fixity | Since: base-4.6.0.0 |
| Show SourceStrictness | Since: base-4.9.0.0 |
Defined in GHC.Generics Methods showsPrec :: Int -> SourceStrictness -> ShowS # show :: SourceStrictness -> String # showList :: [SourceStrictness] -> ShowS # | |
| Show SourceUnpackedness | Since: base-4.9.0.0 |
Defined in GHC.Generics Methods showsPrec :: Int -> SourceUnpackedness -> ShowS # show :: SourceUnpackedness -> String # showList :: [SourceUnpackedness] -> ShowS # | |
| Show MaskingState | Since: base-4.3.0.0 |
Defined in GHC.IO Methods showsPrec :: Int -> MaskingState -> ShowS # show :: MaskingState -> String # showList :: [MaskingState] -> ShowS # | |
| Show SeekMode | Since: base-4.2.0.0 |
| Show CodingFailureMode | Since: base-4.4.0.0 |
Defined in GHC.IO.Encoding.Failure Methods showsPrec :: Int -> CodingFailureMode -> ShowS # show :: CodingFailureMode -> String # showList :: [CodingFailureMode] -> ShowS # | |
| Show CodingProgress | Since: base-4.4.0.0 |
Defined in GHC.IO.Encoding.Types Methods showsPrec :: Int -> CodingProgress -> ShowS # show :: CodingProgress -> String # showList :: [CodingProgress] -> ShowS # | |
| Show TextEncoding | Since: base-4.3.0.0 |
Defined in GHC.IO.Encoding.Types Methods showsPrec :: Int -> TextEncoding -> ShowS # show :: TextEncoding -> String # showList :: [TextEncoding] -> ShowS # | |
| Show AllocationLimitExceeded | Since: base-4.7.1.0 |
Defined in GHC.IO.Exception Methods showsPrec :: Int -> AllocationLimitExceeded -> ShowS # show :: AllocationLimitExceeded -> String # showList :: [AllocationLimitExceeded] -> ShowS # | |
| Show ArrayException | Since: base-4.1.0.0 |
Defined in GHC.IO.Exception Methods showsPrec :: Int -> ArrayException -> ShowS # show :: ArrayException -> String # showList :: [ArrayException] -> ShowS # | |
| Show AssertionFailed | Since: base-4.1.0.0 |
Defined in GHC.IO.Exception Methods showsPrec :: Int -> AssertionFailed -> ShowS # show :: AssertionFailed -> String # showList :: [AssertionFailed] -> ShowS # | |
| Show AsyncException | Since: base-4.1.0.0 |
Defined in GHC.IO.Exception Methods showsPrec :: Int -> AsyncException -> ShowS # show :: AsyncException -> String # showList :: [AsyncException] -> ShowS # | |
| Show BlockedIndefinitelyOnMVar | Since: base-4.1.0.0 |
Defined in GHC.IO.Exception Methods showsPrec :: Int -> BlockedIndefinitelyOnMVar -> ShowS # show :: BlockedIndefinitelyOnMVar -> String # showList :: [BlockedIndefinitelyOnMVar] -> ShowS # | |
| Show BlockedIndefinitelyOnSTM | Since: base-4.1.0.0 |
Defined in GHC.IO.Exception Methods showsPrec :: Int -> BlockedIndefinitelyOnSTM -> ShowS # show :: BlockedIndefinitelyOnSTM -> String # showList :: [BlockedIndefinitelyOnSTM] -> ShowS # | |
| Show CompactionFailed | Since: base-4.10.0.0 |
Defined in GHC.IO.Exception Methods showsPrec :: Int -> CompactionFailed -> ShowS # show :: CompactionFailed -> String # showList :: [CompactionFailed] -> ShowS # | |
| Show Deadlock | Since: base-4.1.0.0 |
| Show ExitCode | |
| Show FixIOException | Since: base-4.11.0.0 |
Defined in GHC.IO.Exception Methods showsPrec :: Int -> FixIOException -> ShowS # show :: FixIOException -> String # showList :: [FixIOException] -> ShowS # | |
| Show IOErrorType | Since: base-4.1.0.0 |
Defined in GHC.IO.Exception Methods showsPrec :: Int -> IOErrorType -> ShowS # show :: IOErrorType -> String # showList :: [IOErrorType] -> ShowS # | |
| Show IOException | Since: base-4.1.0.0 |
Defined in GHC.IO.Exception Methods showsPrec :: Int -> IOException -> ShowS # show :: IOException -> String # showList :: [IOException] -> ShowS # | |
| Show SomeAsyncException | Since: base-4.7.0.0 |
Defined in GHC.IO.Exception Methods showsPrec :: Int -> SomeAsyncException -> ShowS # show :: SomeAsyncException -> String # showList :: [SomeAsyncException] -> ShowS # | |
| Show FD | Since: base-4.1.0.0 |
| Show HandlePosn | Since: base-4.1.0.0 |
Defined in GHC.IO.Handle Methods showsPrec :: Int -> HandlePosn -> ShowS # show :: HandlePosn -> String # showList :: [HandlePosn] -> ShowS # | |
| Show BufferMode | Since: base-4.2.0.0 |
Defined in GHC.IO.Handle.Types Methods showsPrec :: Int -> BufferMode -> ShowS # show :: BufferMode -> String # showList :: [BufferMode] -> ShowS # | |
| Show Handle | Since: base-4.1.0.0 |
| Show HandleType | Since: base-4.1.0.0 |
Defined in GHC.IO.Handle.Types Methods showsPrec :: Int -> HandleType -> ShowS # show :: HandleType -> String # showList :: [HandleType] -> ShowS # | |
| Show Newline | Since: base-4.3.0.0 |
| Show NewlineMode | Since: base-4.3.0.0 |
Defined in GHC.IO.Handle.Types Methods showsPrec :: Int -> NewlineMode -> ShowS # show :: NewlineMode -> String # showList :: [NewlineMode] -> ShowS # | |
| Show IOMode | Since: base-4.2.0.0 |
| Show IOPortException | |
| Show InfoProv | |
| Show Int16 | Since: base-2.1 |
| Show Int32 | Since: base-2.1 |
| Show Int64 | Since: base-2.1 |
| Show Int8 | Since: base-2.1 |
| Show CCFlags | Since: base-4.8.0.0 |
| Show ConcFlags | Since: base-4.8.0.0 |
| Show DebugFlags | Since: base-4.8.0.0 |
Defined in GHC.RTS.Flags Methods showsPrec :: Int -> DebugFlags -> ShowS # show :: DebugFlags -> String # showList :: [DebugFlags] -> ShowS # | |
| Show DoCostCentres | Since: base-4.8.0.0 |
Defined in GHC.RTS.Flags Methods showsPrec :: Int -> DoCostCentres -> ShowS # show :: DoCostCentres -> String # showList :: [DoCostCentres] -> ShowS # | |
| Show DoHeapProfile | Since: base-4.8.0.0 |
Defined in GHC.RTS.Flags Methods showsPrec :: Int -> DoHeapProfile -> ShowS # show :: DoHeapProfile -> String # showList :: [DoHeapProfile] -> ShowS # | |
| Show DoTrace | Since: base-4.8.0.0 |
| Show GCFlags | Since: base-4.8.0.0 |
| Show GiveGCStats | Since: base-4.8.0.0 |
Defined in GHC.RTS.Flags Methods showsPrec :: Int -> GiveGCStats -> ShowS # show :: GiveGCStats -> String # showList :: [GiveGCStats] -> ShowS # | |
| Show IoSubSystem | |
Defined in GHC.RTS.Flags Methods showsPrec :: Int -> IoSubSystem -> ShowS # show :: IoSubSystem -> String # showList :: [IoSubSystem] -> ShowS # | |
| Show MiscFlags | Since: base-4.8.0.0 |
| Show ParFlags | Since: base-4.8.0.0 |
| Show ProfFlags | Since: base-4.8.0.0 |
| Show RTSFlags | Since: base-4.8.0.0 |
| Show TickyFlags | Since: base-4.8.0.0 |
Defined in GHC.RTS.Flags Methods showsPrec :: Int -> TickyFlags -> ShowS # show :: TickyFlags -> String # showList :: [TickyFlags] -> ShowS # | |
| Show TraceFlags | Since: base-4.8.0.0 |
Defined in GHC.RTS.Flags Methods showsPrec :: Int -> TraceFlags -> ShowS # show :: TraceFlags -> String # showList :: [TraceFlags] -> ShowS # | |
| Show FractionalExponentBase | |
Defined in GHC.Real Methods showsPrec :: Int -> FractionalExponentBase -> ShowS # show :: FractionalExponentBase -> String # showList :: [FractionalExponentBase] -> ShowS # | |
| Show StackEntry | |
Defined in GHC.Stack.CloneStack Methods showsPrec :: Int -> StackEntry -> ShowS # show :: StackEntry -> String # showList :: [StackEntry] -> ShowS # | |
| Show CallStack | Since: base-4.9.0.0 |
| Show SrcLoc | Since: base-4.9.0.0 |
| Show StaticPtrInfo | Since: base-4.8.0.0 |
Defined in GHC.StaticPtr Methods showsPrec :: Int -> StaticPtrInfo -> ShowS # show :: StaticPtrInfo -> String # showList :: [StaticPtrInfo] -> ShowS # | |
| Show GCDetails | Since: base-4.10.0.0 |
| Show RTSStats | Since: base-4.10.0.0 |
| Show SomeChar | |
| Show SomeSymbol | Since: base-4.7.0.0 |
Defined in GHC.TypeLits Methods showsPrec :: Int -> SomeSymbol -> ShowS # show :: SomeSymbol -> String # showList :: [SomeSymbol] -> ShowS # | |
| Show SomeNat | Since: base-4.7.0.0 |
| Show GeneralCategory | Since: base-2.1 |
Defined in GHC.Unicode Methods showsPrec :: Int -> GeneralCategory -> ShowS # show :: GeneralCategory -> String # showList :: [GeneralCategory] -> ShowS # | |
| Show Word16 | Since: base-2.1 |
| Show Word32 | Since: base-2.1 |
| Show Word64 | Since: base-2.1 |
| Show Word8 | Since: base-2.1 |
| Show CBlkCnt | |
| Show CBlkSize | |
| Show CCc | |
| Show CClockId | |
| Show CDev | |
| Show CFsBlkCnt | |
| Show CFsFilCnt | |
| Show CGid | |
| Show CId | |
| Show CIno | |
| Show CKey | |
| Show CMode | |
| Show CNfds | |
| Show CNlink | |
| Show COff | |
| Show CPid | |
| Show CRLim | |
| Show CSocklen | |
| Show CSpeed | |
| Show CSsize | |
| Show CTcflag | |
| Show CUid | |
| Show Fd | |
| Show Timeout | Since: base-4.0 |
| Show Lexeme | Since: base-2.1 |
| Show Number | Since: base-4.6.0.0 |
| Show FormatMode | |
| Show ByteString | |
Defined in Data.ByteString.Internal.Type Methods showsPrec :: Int -> ByteString -> ShowS # show :: ByteString -> String # showList :: [ByteString] -> ShowS # | |
| Show SizeOverflowException | |
Defined in Data.ByteString.Internal.Type Methods showsPrec :: Int -> SizeOverflowException -> ShowS # show :: SizeOverflowException -> String # showList :: [SizeOverflowException] -> ShowS # | |
| Show ByteString | |
Defined in Data.ByteString.Lazy.Internal Methods showsPrec :: Int -> ByteString -> ShowS # show :: ByteString -> String # showList :: [ByteString] -> ShowS # | |
| Show ShortByteString | |
Defined in Data.ByteString.Short.Internal Methods showsPrec :: Int -> ShortByteString -> ShowS # show :: ShortByteString -> String # showList :: [ShortByteString] -> ShowS # | |
| Show Options | |
| Show EncodeOptions | |
Defined in Data.Csv.Encoding Methods showsPrec :: Int -> EncodeOptions -> ShowS # show :: EncodeOptions -> String # showList :: [EncodeOptions] -> ShowS # | |
| Show Quoting | |
| Show More | |
| Show DecodeOptions | |
Defined in Data.Csv.Parser Methods showsPrec :: Int -> DecodeOptions -> ShowS # show :: DecodeOptions -> String # showList :: [DecodeOptions] -> ShowS # | |
| Show IntSet | |
| Show BitQueue | |
| Show BitQueueB | |
| Show OsChar | |
| Show OsString | On windows, decodes as UCS-2. On unix prints the raw bytes without decoding. |
| Show PosixChar | |
| Show PosixString | Prints the raw bytes without decoding. |
Defined in System.OsString.Internal.Types.Hidden Methods showsPrec :: Int -> PosixString -> ShowS # show :: PosixString -> String # showList :: [PosixString] -> ShowS # | |
| Show WindowsChar | |
Defined in System.OsString.Internal.Types.Hidden Methods showsPrec :: Int -> WindowsChar -> ShowS # show :: WindowsChar -> String # showList :: [WindowsChar] -> ShowS # | |
| Show WindowsString | Decodes as UCS-2. |
Defined in System.OsString.Internal.Types.Hidden Methods showsPrec :: Int -> WindowsString -> ShowS # show :: WindowsString -> String # showList :: [WindowsString] -> ShowS # | |
| Show ForeignSrcLang | |
Defined in GHC.ForeignSrcLang.Type Methods showsPrec :: Int -> ForeignSrcLang -> ShowS # show :: ForeignSrcLang -> String # showList :: [ForeignSrcLang] -> ShowS # | |
| Show Extension | |
| Show KindRep | |
| Show Module | Since: base-4.9.0.0 |
| Show Ordering | Since: base-2.1 |
| Show TrName | Since: base-4.9.0.0 |
| Show TyCon | Since: base-2.1 |
| Show TypeLitSort | Since: base-4.11.0.0 |
Defined in GHC.Show Methods showsPrec :: Int -> TypeLitSort -> ShowS # show :: TypeLitSort -> String # showList :: [TypeLitSort] -> ShowS # | |
| Show OsChar | |
| Show OsString | On windows, decodes as UCS-2. On unix prints the raw bytes without decoding. |
| Show PosixChar | |
| Show PosixString | Prints the raw bytes without decoding. |
Defined in System.OsString.Internal.Types Methods showsPrec :: Int -> PosixString -> ShowS # show :: PosixString -> String # showList :: [PosixString] -> ShowS # | |
| Show WindowsChar | |
Defined in System.OsString.Internal.Types Methods showsPrec :: Int -> WindowsChar -> ShowS # show :: WindowsChar -> String # showList :: [WindowsChar] -> ShowS # | |
| Show WindowsString | Decodes as UCS-2. |
Defined in System.OsString.Internal.Types Methods showsPrec :: Int -> WindowsString -> ShowS # show :: WindowsString -> String # showList :: [WindowsString] -> ShowS # | |
| Show Mode | |
| Show Style | |
| Show TextDetails | |
Defined in Text.PrettyPrint.Annotated.HughesPJ Methods showsPrec :: Int -> TextDetails -> ShowS # show :: TextDetails -> String # showList :: [TextDetails] -> ShowS # | |
| Show Doc | |
| Show CmdSpec | |
| Show CreateProcess | |
Defined in System.Process.Common Methods showsPrec :: Int -> CreateProcess -> ShowS # show :: CreateProcess -> String # showList :: [CreateProcess] -> ShowS # | |
| Show StdStream | |
| Show CommunicationHandle | |
Defined in System.Process.CommunicationHandle.Internal Methods showsPrec :: Int -> CommunicationHandle -> ShowS # show :: CommunicationHandle -> String # showList :: [CommunicationHandle] -> ShowS # | |
| Show StdGen | |
| Show SMGen | |
| Show ForallVisFlag | |
Defined in Language.Haskell.TH.Ppr Methods showsPrec :: Int -> ForallVisFlag -> ShowS # show :: ForallVisFlag -> String # showList :: [ForallVisFlag] -> ShowS # | |
| Show Doc | |
| Show AnnLookup | |
| Show AnnTarget | |
| Show Bang | |
| Show BndrVis | |
| Show Body | |
| Show Bytes | |
| Show Callconv | |
| Show Clause | |
| Show Con | |
| Show Dec | |
| Show DecidedStrictness | |
Defined in Language.Haskell.TH.Syntax Methods showsPrec :: Int -> DecidedStrictness -> ShowS # show :: DecidedStrictness -> String # showList :: [DecidedStrictness] -> ShowS # | |
| Show DerivClause | |
Defined in Language.Haskell.TH.Syntax Methods showsPrec :: Int -> DerivClause -> ShowS # show :: DerivClause -> String # showList :: [DerivClause] -> ShowS # | |
| Show DerivStrategy | |
Defined in Language.Haskell.TH.Syntax Methods showsPrec :: Int -> DerivStrategy -> ShowS # show :: DerivStrategy -> String # showList :: [DerivStrategy] -> ShowS # | |
| Show DocLoc | |
| Show Exp | |
| Show FamilyResultSig | |
Defined in Language.Haskell.TH.Syntax Methods showsPrec :: Int -> FamilyResultSig -> ShowS # show :: FamilyResultSig -> String # showList :: [FamilyResultSig] -> ShowS # | |
| Show Fixity | |
| Show FixityDirection | |
Defined in Language.Haskell.TH.Syntax Methods showsPrec :: Int -> FixityDirection -> ShowS # show :: FixityDirection -> String # showList :: [FixityDirection] -> ShowS # | |
| Show Foreign | |
| Show FunDep | |
| Show Guard | |
| Show Info | |
| Show InjectivityAnn | |
Defined in Language.Haskell.TH.Syntax Methods showsPrec :: Int -> InjectivityAnn -> ShowS # show :: InjectivityAnn -> String # showList :: [InjectivityAnn] -> ShowS # | |
| Show Inline | |
| Show Lit | |
| Show Loc | |
| Show Match | |
| Show ModName | |
| Show Module | |
| Show ModuleInfo | |
Defined in Language.Haskell.TH.Syntax Methods showsPrec :: Int -> ModuleInfo -> ShowS # show :: ModuleInfo -> String # showList :: [ModuleInfo] -> ShowS # | |
| Show Name | |
| Show NameFlavour | |
Defined in Language.Haskell.TH.Syntax Methods showsPrec :: Int -> NameFlavour -> ShowS # show :: NameFlavour -> String # showList :: [NameFlavour] -> ShowS # | |
| Show NameSpace | |
| Show OccName | |
| Show Overlap | |
| Show Pat | |
| Show PatSynArgs | |
Defined in Language.Haskell.TH.Syntax Methods showsPrec :: Int -> PatSynArgs -> ShowS # show :: PatSynArgs -> String # showList :: [PatSynArgs] -> ShowS # | |
| Show PatSynDir | |
| Show Phases | |
| Show PkgName | |
| Show Pragma | |
| Show Range | |
| Show Role | |
| Show RuleBndr | |
| Show RuleMatch | |
| Show Safety | |
| Show SourceStrictness | |
Defined in Language.Haskell.TH.Syntax Methods showsPrec :: Int -> SourceStrictness -> ShowS # show :: SourceStrictness -> String # showList :: [SourceStrictness] -> ShowS # | |
| Show SourceUnpackedness | |
Defined in Language.Haskell.TH.Syntax Methods showsPrec :: Int -> SourceUnpackedness -> ShowS # show :: SourceUnpackedness -> String # showList :: [SourceUnpackedness] -> ShowS # | |
| Show Specificity | |
Defined in Language.Haskell.TH.Syntax Methods showsPrec :: Int -> Specificity -> ShowS # show :: Specificity -> String # showList :: [Specificity] -> ShowS # | |
| Show Stmt | |
| Show TyLit | |
| Show TySynEqn | |
| Show Type | |
| Show TypeFamilyHead | |
Defined in Language.Haskell.TH.Syntax Methods showsPrec :: Int -> TypeFamilyHead -> ShowS # show :: TypeFamilyHead -> String # showList :: [TypeFamilyHead] -> ShowS # | |
| Show Decoding | |
| Show UnicodeException | |
Defined in Data.Text.Encoding.Error Methods showsPrec :: Int -> UnicodeException -> ShowS # show :: UnicodeException -> String # showList :: [UnicodeException] -> ShowS # | |
| Show I8 | |
| Show Builder | |
| Show PartialUtf8CodePoint | |
| Show Utf8State | |
| Show DecoderState | |
Defined in Data.Text.Internal.Encoding.Utf8 Methods showsPrec :: Int -> DecoderState -> ShowS # show :: DecoderState -> String # showList :: [DecoderState] -> ShowS # | |
| Show Size | |
| Show FPFormat | |
| Show Iter | |
| Show ShortText | |
| Show Month | Show as |
| Show Quarter | Show as |
| Show QuarterOfYear | |
Defined in Data.Time.Calendar.Quarter Methods showsPrec :: Int -> QuarterOfYear -> ShowS # show :: QuarterOfYear -> String # showList :: [QuarterOfYear] -> ShowS # | |
| Show DiffTime | |
| Show NominalDiffTime | |
Defined in Data.Time.Clock.Internal.NominalDiffTime Methods showsPrec :: Int -> NominalDiffTime -> ShowS # show :: NominalDiffTime -> String # showList :: [NominalDiffTime] -> ShowS # | |
| Show LocalTime | |
| Show ZonedTime | For the time zone, this only shows the name, or offset if the name is empty. |
| Show ℙ Source # | |
| Show Nat Source # | |
| Show ℝ Source # | |
| Show ℝᴾ Source # | |
| Show 𝔻ᴾ Source # | |
| Show Frame Source # | |
| Show FrameCol Source # | |
| Show FrameData Source # | |
| Show FrameType Source # | |
| Show FrameVal Source # | |
| Show LogDepth Source # | |
| Show LogLevel Source # | |
| Show LogOptions Source # | |
Defined in UVMHS.Lib.Logging Methods showsPrec :: Int -> LogOptions -> ShowS # show :: LogOptions -> String # showList :: [LogOptions] -> ShowS # | |
| Show MMSP Source # | |
| Show MMSPAtom Source # | |
| Show MMSPMaxs Source # | |
| Show MMSPMins Source # | |
| Show MMSPProds Source # | |
| Show MMSPSums Source # | |
| Show Loc Source # | |
| Show LocRange Source # | |
| Show SrcCxt Source # | |
| Show CharClass Source # | |
| Show LexerBasicSyntax Source # | |
Defined in UVMHS.Lib.Parser.Regex Methods showsPrec :: Int -> LexerBasicSyntax -> ShowS # show :: LexerBasicSyntax -> String # showList :: [LexerBasicSyntax] -> ShowS # | |
| Show LexerWSBasicSyntax Source # | |
Defined in UVMHS.Lib.Parser.Regex Methods showsPrec :: Int -> LexerWSBasicSyntax -> ShowS # show :: LexerWSBasicSyntax -> String # showList :: [LexerWSBasicSyntax] -> ShowS # | |
| Show TokenBasic Source # | |
Defined in UVMHS.Lib.Parser.Regex Methods showsPrec :: Int -> TokenBasic -> ShowS # show :: TokenBasic -> String # showList :: [TokenBasic] -> ShowS # | |
| Show TokenClassBasic Source # | |
Defined in UVMHS.Lib.Parser.Regex Methods showsPrec :: Int -> TokenClassBasic -> ShowS # show :: TokenClassBasic -> String # showList :: [TokenClassBasic] -> ShowS # | |
| Show TokenClassWSBasic Source # | |
Defined in UVMHS.Lib.Parser.Regex Methods showsPrec :: Int -> TokenClassWSBasic -> ShowS # show :: TokenClassWSBasic -> String # showList :: [TokenClassWSBasic] -> ShowS # | |
| Show TokenWSBasic Source # | |
Defined in UVMHS.Lib.Parser.Regex Methods showsPrec :: Int -> TokenWSBasic -> ShowS # show :: TokenWSBasic -> String # showList :: [TokenWSBasic] -> ShowS # | |
| Show Annotation Source # | |
Defined in UVMHS.Lib.Pretty.Annotation Methods showsPrec :: Int -> Annotation -> ShowS # show :: Annotation -> String # showList :: [Annotation] -> ShowS # | |
| Show Format Source # | |
| Show Formats Source # | |
| Show Color Source # | |
| Show Color3Bit Source # | |
| Show ChunkI Source # | |
| Show ChunkO Source # | |
| Show DocEnv Source # | |
| Show PrettyParams Source # | |
Defined in UVMHS.Lib.Pretty.Doc Methods showsPrec :: Int -> PrettyParams -> ShowS # show :: PrettyParams -> String # showList :: [PrettyParams] -> ShowS # | |
| Show DocAEnv Source # | |
| Show DocAState Source # | |
| Show ANSIEnv Source # | |
| Show Shape Source # | |
| Show ShapeA Source # | |
| Show ShapeM Source # | |
| Show Name Source # | |
| Show SGName Source # | |
| Show SName Source # | |
| Show RebindAction Source # | |
Defined in UVMHS.Lib.Substitution.Substy Methods showsPrec :: Int -> RebindAction -> ShowS # show :: RebindAction -> String # showList :: [RebindAction] -> ShowS # | |
| Show DVar Source # | |
| Show DVarInf Source # | |
| Show GVar Source # | |
| Show NVar Source # | |
| Show NVarInf Source # | |
| Show SVar Source # | |
| Show Var Source # | |
| Show VarInf Source # | |
| Show FuzzParams Source # | |
Defined in UVMHS.Lib.Testing Methods showsPrec :: Int -> FuzzParams -> ShowS # show :: FuzzParams -> String # showList :: [FuzzParams] -> ShowS # | |
| Show Size | |
| Show Integer | Since: base-2.1 |
| Show Natural | Since: base-4.8.0.0 |
| Show () | Since: base-2.1 |
| Show Bool | Since: base-2.1 |
| Show Char | Since: base-2.1 |
| Show Int | Since: base-2.1 |
| Show Levity | Since: base-4.15.0.0 |
| Show RuntimeRep | Since: base-4.11.0.0 |
Defined in GHC.Show Methods showsPrec :: Int -> RuntimeRep -> ShowS # show :: RuntimeRep -> String # showList :: [RuntimeRep] -> ShowS # | |
| Show VecCount | Since: base-4.11.0.0 |
| Show VecElem | Since: base-4.11.0.0 |
| Show Word | Since: base-2.1 |
| Show a => Show (Only a) | |
| Show (Blind a) | |
| Show a => Show (Fixed a) | |
| Show a => Show (InfiniteList a) | |
Defined in Test.QuickCheck.Modifiers Methods showsPrec :: Int -> InfiniteList a -> ShowS # show :: InfiniteList a -> String # showList :: [InfiniteList a] -> ShowS # | |
| Show a => Show (Large a) | |
| Show a => Show (Negative a) | |
| Show a => Show (NonEmptyList a) | |
Defined in Test.QuickCheck.Modifiers Methods showsPrec :: Int -> NonEmptyList a -> ShowS # show :: NonEmptyList a -> String # showList :: [NonEmptyList a] -> ShowS # | |
| Show a => Show (NonNegative a) | |
Defined in Test.QuickCheck.Modifiers Methods showsPrec :: Int -> NonNegative a -> ShowS # show :: NonNegative a -> String # showList :: [NonNegative a] -> ShowS # | |
| Show a => Show (NonPositive a) | |
Defined in Test.QuickCheck.Modifiers Methods showsPrec :: Int -> NonPositive a -> ShowS # show :: NonPositive a -> String # showList :: [NonPositive a] -> ShowS # | |
| Show a => Show (NonZero a) | |
| Show a => Show (OrderedList a) | |
Defined in Test.QuickCheck.Modifiers Methods showsPrec :: Int -> OrderedList a -> ShowS # show :: OrderedList a -> String # showList :: [OrderedList a] -> ShowS # | |
| Show a => Show (Positive a) | |
| Show a => Show (Shrink2 a) | |
| Show a => Show (Small a) | |
| Show a => Show (Smart a) | |
| Show a => Show (SortedList a) | |
Defined in Test.QuickCheck.Modifiers Methods showsPrec :: Int -> SortedList a -> ShowS # show :: SortedList a -> String # showList :: [SortedList a] -> ShowS # | |
| Show a => Show (ZipList a) | Since: base-4.7.0.0 |
| Show a => Show (And a) | Since: base-4.16 |
| Show a => Show (Iff a) | Since: base-4.16 |
| Show a => Show (Ior a) | Since: base-4.16 |
| Show a => Show (Xor a) | Since: base-4.16 |
| Show a => Show (Complex a) | Since: base-2.1 |
| Show a => Show (Identity a) | This instance would be equivalent to the derived instances of the
Since: base-4.8.0.0 |
| Show a => Show (First a) | Since: base-2.1 |
| Show a => Show (Last a) | Since: base-2.1 |
| Show a => Show (Down a) | This instance would be equivalent to the derived instances of the
Since: base-4.7.0.0 |
| Show a => Show (First a) | Since: base-4.9.0.0 |
| Show a => Show (Last a) | Since: base-4.9.0.0 |
| Show a => Show (Max a) | Since: base-4.9.0.0 |
| Show a => Show (Min a) | Since: base-4.9.0.0 |
| Show m => Show (WrappedMonoid m) | Since: base-4.9.0.0 |
Defined in Data.Semigroup Methods showsPrec :: Int -> WrappedMonoid m -> ShowS # show :: WrappedMonoid m -> String # showList :: [WrappedMonoid m] -> ShowS # | |
| Show a => Show (Dual a) | Since: base-2.1 |
| Show a => Show (Product a) | Since: base-2.1 |
| Show a => Show (Sum a) | Since: base-2.1 |
| Show (ConstPtr a) | |
| Show a => Show (NonEmpty a) | Since: base-4.11.0.0 |
| Show (ForeignPtr a) | Since: base-2.1 |
Defined in GHC.ForeignPtr Methods showsPrec :: Int -> ForeignPtr a -> ShowS # show :: ForeignPtr a -> String # showList :: [ForeignPtr a] -> ShowS # | |
| Show p => Show (Par1 p) | Since: base-4.7.0.0 |
| Show (FunPtr a) | Since: base-2.1 |
| Show (Ptr a) | Since: base-2.1 |
| Show a => Show (Ratio a) | Since: base-2.0.1 |
| Show (SChar c) | Since: base-4.18.0.0 |
| Show (SSymbol s) | Since: base-4.18.0.0 |
| Show (SNat n) | Since: base-4.18.0.0 |
| Show a => Show (HeaderParser a) | |
Defined in Data.Csv.Incremental Methods showsPrec :: Int -> HeaderParser a -> ShowS # show :: HeaderParser a -> String # showList :: [HeaderParser a] -> ShowS # | |
| Show a => Show (Parser a) | |
| Show a => Show (Records a) | |
| Show vertex => Show (SCC vertex) | Since: containers-0.5.9 |
| Show a => Show (IntMap a) | |
| Show a => Show (Seq a) | |
| Show a => Show (ViewL a) | |
| Show a => Show (ViewR a) | |
| Show a => Show (Intersection a) | |
Defined in Data.Set.Internal Methods showsPrec :: Int -> Intersection a -> ShowS # show :: Intersection a -> String # showList :: [Intersection a] -> ShowS # | |
| Show a => Show (Set a) | |
| Show a => Show (Tree a) | |
| Show a => Show (Hashed a) | |
| Show a => Show (AnnotDetails a) | |
Defined in Text.PrettyPrint.Annotated.HughesPJ Methods showsPrec :: Int -> AnnotDetails a -> ShowS # show :: AnnotDetails a -> String # showList :: [AnnotDetails a] -> ShowS # | |
| Show (Doc a) | |
| Show a => Show (Span a) | |
| Show a => Show (Array a) | |
| (Show a, Prim a) => Show (PrimArray a) | Since: primitive-0.6.4.0 |
| Show a => Show (SmallArray a) | |
Defined in Data.Primitive.SmallArray Methods showsPrec :: Int -> SmallArray a -> ShowS # show :: SmallArray a -> String # showList :: [SmallArray a] -> ShowS # | |
| Show g => Show (StateGen g) | |
| Show g => Show (AtomicGen g) | |
| Show g => Show (IOGen g) | |
| Show g => Show (STGen g) | |
| Show g => Show (TGen g) | |
| Show flag => Show (TyVarBndr flag) | |
| Show a => Show (HashSet a) | |
| Show (W c) Source # | |
| Show a => Show (𝐼 a) Source # | |
| Show a => Show (𝐿 a) Source # | |
| Show a => Show (𝑂 a) Source # | |
| Show a => Show (𝑃 a) Source # | |
| Show a => Show (𝑄 a) Source # | |
| Show a => Show (𝑆 a) Source # | |
| Show a => Show (AddBT a) Source # | |
| Show a => Show (AddBot a) Source # | |
| Show a => Show (AddNull a) Source # | |
| Show a => Show (AddTop a) Source # | |
| Show a => Show (ZOM a) Source # | |
| Show a => Show (𝐼A a) Source # | |
| Show a => Show (𝐼AC a) Source # | |
| Show a => Show (𝐼C a) Source # | |
| (Storable a, Show a) => Show (𝕌 a) Source # | |
| Show a => Show (𝕍 a) Source # | |
| Show a => Show (𝑉 a) Source # | |
| Show 𝒸 => Show (ULCExp 𝒸) Source # | |
| Show 𝒸 => Show (ULCExp_R 𝒸) Source # | |
| Show a => Show (ADF a) Source # | |
| Show v => Show (FrameGrouping v) Source # | |
Defined in UVMHS.Lib.Dataframe Methods showsPrec :: Int -> FrameGrouping v -> ShowS # show :: FrameGrouping v -> String # showList :: [FrameGrouping v] -> ShowS # | |
| Show e => Show (ParseSubstAction e) Source # | |
Defined in UVMHS.Lib.Substitution.Substy Methods showsPrec :: Int -> ParseSubstAction e -> ShowS # show :: ParseSubstAction e -> String # showList :: [ParseSubstAction e] -> ShowS # | |
| Show a => Show (𝑇A a) Source # | |
| Show a => Show (𝑇D a) Source # | |
| Show a => Show (AddInf a) Source # | |
| Show a => Show (AddZI a) Source # | |
| Show a => Show (AddZer a) Source # | |
| Show a => Show (Vector a) | |
| (Show a, Prim a) => Show (Vector a) | |
| (Show a, Storable a) => Show (Vector a) | |
| Show a => Show (Vector a) | |
| Show a => Show (Maybe a) | Since: base-2.1 |
| Show a => Show (Solo a) | Since: base-4.15 |
| Show a => Show [a] | Since: base-2.1 |
| (Show a, Show b) => Show (a :-> b) | |
| (Show a, Show b) => Show (Fun a b) | |
| Show a => Show (Shrinking s a) | |
| (Show i, Show r) => Show (IResult i r) | |
| (Show a, Show b) => Show (Either a b) | Since: base-3.0 |
| HasResolution a => Show (Fixed a) | Since: base-2.1 |
| Show (Proxy s) | Since: base-4.7.0.0 |
| (Show a, Show b) => Show (Arg a b) | Since: base-4.9.0.0 |
| Show (TypeRep a) | |
| (Ix a, Show a, Show b) => Show (Array a b) | Since: base-2.1 |
| Show (U1 p) | Since: base-4.9.0.0 |
| Show (V1 p) | Since: base-4.9.0.0 |
| Show (ST s a) | Since: base-2.1 |
| (Show k, Show a) => Show (Map k a) | |
| (Show1 m, Show a) => Show (MaybeT m a) | |
| (Show k, Show v) => Show (HashMap k v) | |
| (forall (a :: k). Show (t a)) => Show (Ex t) Source # | |
| Show (P a) Source # | |
| (Show k, Show a) => Show (k ⇰ a) Source # | |
| (Show a, Show b) => Show (a ∧ b) Source # | |
| (Show a, Show b) => Show (a ∨ b) Source # | |
| Show a => Show (𝐼S n a) Source # | |
| (Show e, Show a) => Show (𝐴 e a) Source # | |
| (Show o, Show u) => Show (RegexInfo o u) Source # | |
| (Show o, Show u) => Show (RegexResult o u) Source # | |
Defined in UVMHS.Lib.Parser.Regex Methods showsPrec :: Int -> RegexResult o u -> ShowS # show :: RegexResult o u -> String # showList :: [RegexResult o u] -> ShowS # | |
| (Show s, Show e) => Show (MetaSubst s e) Source # | |
| (Show s, Show e) => Show (Subst s e) Source # | |
| (Show s, Show e) => Show (SSubstElem s e) Source # | |
Defined in UVMHS.Lib.Substitution.SubstElem Methods showsPrec :: Int -> SSubstElem s e -> ShowS # show :: SSubstElem s e -> String # showList :: [SSubstElem s e] -> ShowS # | |
| (Show s, Show e) => Show (SubstElem s e) Source # | |
| (Show s, Show e) => Show (SubstScoped s e) Source # | |
Defined in UVMHS.Lib.Substitution.SubstScoped Methods showsPrec :: Int -> SubstScoped s e -> ShowS # show :: SubstScoped s e -> String # showList :: [SubstScoped s e] -> ShowS # | |
| (Show s, Show e) => Show (SubstAction s e) Source # | |
Defined in UVMHS.Lib.Substitution.Substy Methods showsPrec :: Int -> SubstAction s e -> ShowS # show :: SubstAction s e -> String # showList :: [SubstAction s e] -> ShowS # | |
| (Show s, Show e) => Show (MVar s e) Source # | |
| (Show s, Show e) => Show (UVar s e) Source # | |
| (Show i, Show a) => Show (WindowL i a) Source # | |
| (Show i, Show a) => Show (WindowR i a) Source # | |
| (Show a, Show b) => Show (a, b) | Since: base-2.1 |
| Show a => Show (() -> a) Source # | |
| Show a => Show (Const a b) | This instance would be equivalent to the derived instances of the
Since: base-4.8.0.0 |
| Show (f a) => Show (Ap f a) | Since: base-4.12.0.0 |
| Show (f a) => Show (Alt f a) | Since: base-4.8.0.0 |
| Show (Coercion a b) | Since: base-4.7.0.0 |
| Show (a :~: b) | Since: base-4.7.0.0 |
| Show (OrderingI a b) | |
| Show (f p) => Show (Rec1 f p) | Since: base-4.7.0.0 |
| Show (URec Char p) | Since: base-4.9.0.0 |
| Show (URec Double p) | Since: base-4.9.0.0 |
| Show (URec Float p) | |
| Show (URec Int p) | Since: base-4.9.0.0 |
| Show (URec Word p) | Since: base-4.9.0.0 |
| (Show e, Show1 m, Show a) => Show (ExceptT e m a) | |
| (Show1 f, Show a) => Show (IdentityT f a) | |
| (Show w, Show1 m, Show a) => Show (WriterT w m a) | |
| (Show w, Show1 m, Show a) => Show (WriterT w m a) | |
| Show a => Show (Constant a b) | |
| (forall (a :: k). c a => Show (t a)) => Show (Ex_C c t) Source # | |
| (Storable a, Show a) => Show (𝕌S n a) Source # | |
| Show a => Show (𝕍S n a) Source # | |
| (Show sG, Show sS, Show e) => Show (SubstSpaced sG sS e) Source # | |
Defined in UVMHS.Lib.Substitution.SubstSpaced Methods showsPrec :: Int -> SubstSpaced sG sS e -> ShowS # show :: SubstSpaced sG sS e -> String # showList :: [SubstSpaced sG sS e] -> ShowS # | |
| (Show a, Show b, Show c) => Show (a, b, c) | Since: base-2.1 |
| (Show (f a), Show (g a)) => Show (Product f g a) | Since: base-4.18.0.0 |
| (Show (f a), Show (g a)) => Show (Sum f g a) | Since: base-4.18.0.0 |
| Show (a :~~: b) | Since: base-4.10.0.0 |
| (Show (f p), Show (g p)) => Show ((f :*: g) p) | Since: base-4.7.0.0 |
| (Show (f p), Show (g p)) => Show ((f :+: g) p) | Since: base-4.7.0.0 |
| Show c => Show (K1 i c p) | Since: base-4.7.0.0 |
| (Show o, Show u, Show t, Show c) => Show (Regex c t o u) Source # | |
| (Show o, Show u, Show t, Show c) => Show (RegexU c t o u) Source # | |
| (Show a, Show b, Show c, Show d) => Show (a, b, c, d) | Since: base-2.1 |
| Show (f (g a)) => Show (Compose f g a) | Since: base-4.18.0.0 |
| Show (f (g p)) => Show ((f :.: g) p) | Since: base-4.7.0.0 |
| Show (f p) => Show (M1 i c f p) | Since: base-4.7.0.0 |
| (Show a, Show b, Show c, Show d, Show e) => Show (a, b, c, d, e) | Since: base-2.1 |
| (Show t, Show c) => Show (RegexAtom c t o u) Source # | |
| (Show a, Show b, Show c, Show d, Show e, Show f) => Show (a, b, c, d, e, f) | Since: base-2.1 |
| (Show a, Show b, Show c, Show d, Show e, Show f, Show g) => Show (a, b, c, d, e, f, g) | Since: base-2.1 |
| (Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h) => Show (a, b, c, d, e, f, g, h) | Since: base-2.1 |
| (Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i) => Show (a, b, c, d, e, f, g, h, i) | Since: base-2.1 |
| (Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j) => Show (a, b, c, d, e, f, g, h, i, j) | Since: base-2.1 |
| (Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k) => Show (a, b, c, d, e, f, g, h, i, j, k) | Since: base-2.1 |
| (Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k, Show l) => Show (a, b, c, d, e, f, g, h, i, j, k, l) | Since: base-2.1 |
| (Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k, Show l, Show m) => Show (a, b, c, d, e, f, g, h, i, j, k, l, m) | Since: base-2.1 |
| (Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k, Show l, Show m, Show n) => Show (a, b, c, d, e, f, g, h, i, j, k, l, m, n) | Since: base-2.1 |
| (Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k, Show l, Show m, Show n, Show o) => Show (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) | Since: base-2.1 |
A value of type IO aa.
There is really only one way to "perform" an I/O action: bind it to
Main.main in your program. When your program is run, the I/O will
be performed. It isn't possible to perform I/O from an arbitrary
function, unless that function is itself in the IO monad and called
at some point, directly or indirectly, from Main.main.
IO is a monad, so IO actions can be combined using either the do-notation
or the >> and >>= operations from the Monad
class.
Instances
| MonadFail IO | Since: base-4.9.0.0 |
Defined in Control.Monad.Fail | |
| MonadFix IO | Since: base-2.1 |
Defined in Control.Monad.Fix | |
| MonadIO IO | Since: base-4.9.0.0 |
Defined in Control.Monad.IO.Class | |
| Alternative IO | Takes the first non-throwing Since: base-4.9.0.0 |
| Applicative IO | Since: base-2.1 |
| Functor IO | Since: base-2.1 |
| Monad IO | Since: base-2.1 |
| MonadPlus IO | Takes the first non-throwing Since: base-4.9.0.0 |
| GHCiSandboxIO IO | Since: base-4.4.0.0 |
Defined in GHC.GHCi Methods ghciStepIO :: IO a -> IO a # | |
| PrimBase IO | |
| PrimMonad IO | |
| Quasi IO | |
Defined in Language.Haskell.TH.Syntax Methods qNewName :: String -> IO Name # qReport :: Bool -> String -> IO () # qRecover :: IO a -> IO a -> IO a # qLookupName :: Bool -> String -> IO (Maybe Name) # qReifyFixity :: Name -> IO (Maybe Fixity) # qReifyType :: Name -> IO Type # qReifyInstances :: Name -> [Type] -> IO [Dec] # qReifyRoles :: Name -> IO [Role] # qReifyAnnotations :: Data a => AnnLookup -> IO [a] # qReifyModule :: Module -> IO ModuleInfo # qReifyConStrictness :: Name -> IO [DecidedStrictness] # qGetPackageRoot :: IO FilePath # qAddDependentFile :: FilePath -> IO () # qAddTempFile :: String -> IO FilePath # qAddTopDecls :: [Dec] -> IO () # qAddForeignFilePath :: ForeignSrcLang -> String -> IO () # qAddModFinalizer :: Q () -> IO () # qAddCorePlugin :: String -> IO () # qGetQ :: Typeable a => IO (Maybe a) # qPutQ :: Typeable a => a -> IO () # qIsExtEnabled :: Extension -> IO Bool # qExtsEnabled :: IO [Extension] # | |
| Quote IO | |
| Bind IO Source # | |
| Functor IO Source # | |
| Monad IO Source # | |
Defined in UVMHS.Core.Monads | |
| Return IO Source # | |
Defined in UVMHS.Core.Monads | |
| MonadIO IO Source # | |
| MonadRand IO Source # | |
| Monoid a => Monoid (IO a) | Since: base-4.9.0.0 |
| Semigroup a => Semigroup (IO a) | Since: base-4.10.0.0 |
| a ~ () => HPrintfType (IO a) | Since: base-4.7.0.0 |
Defined in Text.Printf | |
| a ~ () => PrintfType (IO a) | Since: base-4.7.0.0 |
Defined in Text.Printf | |
| type PrimState IO | |
Defined in Control.Monad.Primitive | |
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:
Instances
| Eq Shrunk | |
| Eq ASCIIString | |
Defined in Test.QuickCheck.Modifiers | |
| Eq PrintableString | |
Defined in Test.QuickCheck.Modifiers Methods (==) :: PrintableString -> PrintableString -> Bool # (/=) :: PrintableString -> PrintableString -> Bool # | |
| Eq UnicodeString | |
Defined in Test.QuickCheck.Modifiers Methods (==) :: UnicodeString -> UnicodeString -> Bool # (/=) :: UnicodeString -> UnicodeString -> Bool # | |
| Eq A | |
| Eq B | |
| Eq C | |
| Eq OrdA | |
| Eq OrdB | |
| Eq OrdC | |
| Eq More | |
| Eq Pos | |
| Eq ByteArray | Since: base-4.17.0.0 |
| Eq Constr | Equality of constructors Since: base-4.0.0.0 |
| Eq ConstrRep | Since: base-4.0.0.0 |
| Eq DataRep | Since: base-4.0.0.0 |
| Eq Fixity | Since: base-4.0.0.0 |
| Eq All | Since: base-2.1 |
| Eq Any | Since: base-2.1 |
| Eq SomeTypeRep | |
Defined in Data.Typeable.Internal | |
| Eq Unique | |
| Eq Version | Since: base-2.1 |
| Eq Errno | Since: base-2.1 |
| Eq CBool | |
| Eq CChar | |
| Eq CClock | |
| Eq CDouble | |
| Eq CFloat | |
| Eq CInt | |
| Eq CIntMax | |
| Eq CIntPtr | |
| Eq CLLong | |
| Eq CLong | |
| Eq CPtrdiff | |
| Eq CSChar | |
| Eq CSUSeconds | |
Defined in Foreign.C.Types | |
| Eq CShort | |
| Eq CSigAtomic | |
Defined in Foreign.C.Types | |
| Eq CSize | |
| Eq CTime | |
| Eq CUChar | |
| Eq CUInt | |
| Eq CUIntMax | |
| Eq CUIntPtr | |
| Eq CULLong | |
| Eq CULong | |
| Eq CUSeconds | |
| Eq CUShort | |
| Eq CWchar | |
| Eq IntPtr | |
| Eq WordPtr | |
| Eq Void | Since: base-4.8.0.0 |
| Eq ByteOrder | Since: base-4.11.0.0 |
| Eq BlockReason | Since: base-4.3.0.0 |
Defined in GHC.Conc.Sync | |
| Eq ThreadId | Since: base-4.2.0.0 |
| Eq ThreadStatus | Since: base-4.3.0.0 |
Defined in GHC.Conc.Sync | |
| Eq TimeoutKey | |
Defined in GHC.Event.TimeOut | |
| Eq ErrorCall | Since: base-4.7.0.0 |
| Eq ArithException | Since: base-3.0 |
Defined in GHC.Exception.Type Methods (==) :: ArithException -> ArithException -> Bool # (/=) :: ArithException -> ArithException -> Bool # | |
| Eq SpecConstrAnnotation | Since: base-4.3.0.0 |
Defined in GHC.Exts Methods (==) :: SpecConstrAnnotation -> SpecConstrAnnotation -> Bool # (/=) :: SpecConstrAnnotation -> SpecConstrAnnotation -> Bool # | |
| Eq Fingerprint | Since: base-4.4.0.0 |
Defined in GHC.Fingerprint.Type | |
| Eq Associativity | Since: base-4.6.0.0 |
Defined in GHC.Generics Methods (==) :: Associativity -> Associativity -> Bool # (/=) :: Associativity -> Associativity -> Bool # | |
| Eq DecidedStrictness | Since: base-4.9.0.0 |
Defined in GHC.Generics Methods (==) :: DecidedStrictness -> DecidedStrictness -> Bool # (/=) :: DecidedStrictness -> DecidedStrictness -> Bool # | |
| Eq Fixity | Since: base-4.6.0.0 |
| Eq SourceStrictness | Since: base-4.9.0.0 |
Defined in GHC.Generics Methods (==) :: SourceStrictness -> SourceStrictness -> Bool # (/=) :: SourceStrictness -> SourceStrictness -> Bool # | |
| Eq SourceUnpackedness | Since: base-4.9.0.0 |
Defined in GHC.Generics Methods (==) :: SourceUnpackedness -> SourceUnpackedness -> Bool # (/=) :: SourceUnpackedness -> SourceUnpackedness -> Bool # | |
| Eq MaskingState | Since: base-4.3.0.0 |
Defined in GHC.IO | |
| Eq BufferState | Since: base-4.2.0.0 |
Defined in GHC.IO.Buffer | |
| Eq IODeviceType | Since: base-4.2.0.0 |
Defined in GHC.IO.Device | |
| Eq SeekMode | Since: base-4.2.0.0 |
| Eq CodingProgress | Since: base-4.4.0.0 |
Defined in GHC.IO.Encoding.Types Methods (==) :: CodingProgress -> CodingProgress -> Bool # (/=) :: CodingProgress -> CodingProgress -> Bool # | |
| Eq ArrayException | Since: base-4.2.0.0 |
Defined in GHC.IO.Exception Methods (==) :: ArrayException -> ArrayException -> Bool # (/=) :: ArrayException -> ArrayException -> Bool # | |
| Eq AsyncException | Since: base-4.2.0.0 |
Defined in GHC.IO.Exception Methods (==) :: AsyncException -> AsyncException -> Bool # (/=) :: AsyncException -> AsyncException -> Bool # | |
| Eq ExitCode | |
| Eq IOErrorType | Since: base-4.1.0.0 |
Defined in GHC.IO.Exception | |
| Eq IOException | Since: base-4.1.0.0 |
Defined in GHC.IO.Exception | |
| Eq HandlePosn | Since: base-4.1.0.0 |
Defined in GHC.IO.Handle | |
| Eq BufferMode | Since: base-4.2.0.0 |
Defined in GHC.IO.Handle.Types | |
| Eq Handle | Since: base-4.1.0.0 |
| Eq Newline | Since: base-4.2.0.0 |
| Eq NewlineMode | Since: base-4.2.0.0 |
Defined in GHC.IO.Handle.Types | |
| Eq IOMode | Since: base-4.2.0.0 |
| Eq InfoProv | |
| Eq Int16 | Since: base-2.1 |
| Eq Int32 | Since: base-2.1 |
| Eq Int64 | Since: base-2.1 |
| Eq Int8 | Since: base-2.1 |
| Eq IoSubSystem | |
Defined in GHC.RTS.Flags | |
| Eq StackEntry | |
Defined in GHC.Stack.CloneStack | |
| Eq SrcLoc | Since: base-4.9.0.0 |
| Eq SomeChar | |
| Eq SomeSymbol | Since: base-4.7.0.0 |
Defined in GHC.TypeLits | |
| Eq SomeNat | Since: base-4.7.0.0 |
| Eq GeneralCategory | Since: base-2.1 |
Defined in GHC.Unicode Methods (==) :: GeneralCategory -> GeneralCategory -> Bool # (/=) :: GeneralCategory -> GeneralCategory -> Bool # | |
| Eq Word16 | Since: base-2.1 |
| Eq Word32 | Since: base-2.1 |
| Eq Word64 | Since: base-2.1 |
| Eq Word8 | Since: base-2.1 |
| Eq CBlkCnt | |
| Eq CBlkSize | |
| Eq CCc | |
| Eq CClockId | |
| Eq CDev | |
| Eq CFsBlkCnt | |
| Eq CFsFilCnt | |
| Eq CGid | |
| Eq CId | |
| Eq CIno | |
| Eq CKey | |
| Eq CMode | |
| Eq CNfds | |
| Eq CNlink | |
| Eq COff | |
| Eq CPid | |
| Eq CRLim | |
| Eq CSocklen | |
| Eq CSpeed | |
| Eq CSsize | |
| Eq CTcflag | |
| Eq CUid | |
| Eq Fd | |
| Eq Timeout | |
| Eq Lexeme | Since: base-2.1 |
| Eq Number | Since: base-4.6.0.0 |
| Eq ByteString | |
Defined in Data.ByteString.Internal.Type | |
| Eq ByteString | |
Defined in Data.ByteString.Lazy.Internal | |
| Eq ShortByteString | |
Defined in Data.ByteString.Short.Internal Methods (==) :: ShortByteString -> ShortByteString -> Bool # (/=) :: ShortByteString -> ShortByteString -> Bool # | |
| Eq EncodeOptions | |
Defined in Data.Csv.Encoding Methods (==) :: EncodeOptions -> EncodeOptions -> Bool # (/=) :: EncodeOptions -> EncodeOptions -> Bool # | |
| Eq Quoting | |
| Eq More | |
| Eq DecodeOptions | |
Defined in Data.Csv.Parser Methods (==) :: DecodeOptions -> DecodeOptions -> Bool # (/=) :: DecodeOptions -> DecodeOptions -> Bool # | |
| Eq IntSet | |
| Eq OsChar | Byte equality of the internal representation. |
| Eq OsString | Byte equality of the internal representation. |
| Eq PosixChar | |
| Eq PosixString | |
Defined in System.OsString.Internal.Types.Hidden | |
| Eq WindowsChar | |
Defined in System.OsString.Internal.Types.Hidden | |
| Eq WindowsString | |
Defined in System.OsString.Internal.Types.Hidden Methods (==) :: WindowsString -> WindowsString -> Bool # (/=) :: WindowsString -> WindowsString -> Bool # | |
| Eq BigNat | |
| Eq ForeignSrcLang | |
Defined in GHC.ForeignSrcLang.Type Methods (==) :: ForeignSrcLang -> ForeignSrcLang -> Bool # (/=) :: ForeignSrcLang -> ForeignSrcLang -> Bool # | |
| Eq Extension | |
| Eq Module | |
| Eq Ordering | |
| Eq TrName | |
| Eq TyCon | |
| Eq OsChar | Byte equality of the internal representation. |
| Eq OsString | Byte equality of the internal representation. |
| Eq PosixChar | |
| Eq PosixString | |
Defined in System.OsString.Internal.Types | |
| Eq WindowsChar | |
Defined in System.OsString.Internal.Types | |
| Eq WindowsString | |
Defined in System.OsString.Internal.Types Methods (==) :: WindowsString -> WindowsString -> Bool # (/=) :: WindowsString -> WindowsString -> Bool # | |
| Eq Mode | |
| Eq Style | |
| Eq TextDetails | |
Defined in Text.PrettyPrint.Annotated.HughesPJ | |
| Eq Doc | |
| Eq CmdSpec | |
| Eq CreateProcess | |
Defined in System.Process.Common Methods (==) :: CreateProcess -> CreateProcess -> Bool # (/=) :: CreateProcess -> CreateProcess -> Bool # | |
| Eq StdStream | |
| Eq CommunicationHandle | |
Defined in System.Process.CommunicationHandle.Internal Methods (==) :: CommunicationHandle -> CommunicationHandle -> Bool # (/=) :: CommunicationHandle -> CommunicationHandle -> Bool # | |
| Eq StdGen | |
| Eq AnnLookup | |
| Eq AnnTarget | |
| Eq Bang | |
| Eq BndrVis | |
| Eq Body | |
| Eq Bytes | |
| Eq Callconv | |
| Eq Clause | |
| Eq Con | |
| Eq Dec | |
| Eq DecidedStrictness | |
Defined in Language.Haskell.TH.Syntax Methods (==) :: DecidedStrictness -> DecidedStrictness -> Bool # (/=) :: DecidedStrictness -> DecidedStrictness -> Bool # | |
| Eq DerivClause | |
Defined in Language.Haskell.TH.Syntax | |
| Eq DerivStrategy | |
Defined in Language.Haskell.TH.Syntax Methods (==) :: DerivStrategy -> DerivStrategy -> Bool # (/=) :: DerivStrategy -> DerivStrategy -> Bool # | |
| Eq DocLoc | |
| Eq Exp | |
| Eq FamilyResultSig | |
Defined in Language.Haskell.TH.Syntax Methods (==) :: FamilyResultSig -> FamilyResultSig -> Bool # (/=) :: FamilyResultSig -> FamilyResultSig -> Bool # | |
| Eq Fixity | |
| Eq FixityDirection | |
Defined in Language.Haskell.TH.Syntax Methods (==) :: FixityDirection -> FixityDirection -> Bool # (/=) :: FixityDirection -> FixityDirection -> Bool # | |
| Eq Foreign | |
| Eq FunDep | |
| Eq Guard | |
| Eq Info | |
| Eq InjectivityAnn | |
Defined in Language.Haskell.TH.Syntax Methods (==) :: InjectivityAnn -> InjectivityAnn -> Bool # (/=) :: InjectivityAnn -> InjectivityAnn -> Bool # | |
| Eq Inline | |
| Eq Lit | |
| Eq Loc | |
| Eq Match | |
| Eq ModName | |
| Eq Module | |
| Eq ModuleInfo | |
Defined in Language.Haskell.TH.Syntax | |
| Eq Name | |
| Eq NameFlavour | |
Defined in Language.Haskell.TH.Syntax | |
| Eq NameSpace | |
| Eq OccName | |
| Eq Overlap | |
| Eq Pat | |
| Eq PatSynArgs | |
Defined in Language.Haskell.TH.Syntax | |
| Eq PatSynDir | |
| Eq Phases | |
| Eq PkgName | |
| Eq Pragma | |
| Eq Range | |
| Eq Role | |
| Eq RuleBndr | |
| Eq RuleMatch | |
| Eq Safety | |
| Eq SourceStrictness | |
Defined in Language.Haskell.TH.Syntax Methods (==) :: SourceStrictness -> SourceStrictness -> Bool # (/=) :: SourceStrictness -> SourceStrictness -> Bool # | |
| Eq SourceUnpackedness | |
Defined in Language.Haskell.TH.Syntax Methods (==) :: SourceUnpackedness -> SourceUnpackedness -> Bool # (/=) :: SourceUnpackedness -> SourceUnpackedness -> Bool # | |
| Eq Specificity | |
Defined in Language.Haskell.TH.Syntax | |
| Eq Stmt | |
| Eq TyLit | |
| Eq TySynEqn | |
| Eq Type | |
| Eq TypeFamilyHead | |
Defined in Language.Haskell.TH.Syntax Methods (==) :: TypeFamilyHead -> TypeFamilyHead -> Bool # (/=) :: TypeFamilyHead -> TypeFamilyHead -> Bool # | |
| Eq UnicodeException | |
Defined in Data.Text.Encoding.Error Methods (==) :: UnicodeException -> UnicodeException -> Bool # (/=) :: UnicodeException -> UnicodeException -> Bool # | |
| Eq I8 | |
| Eq Builder | |
| Eq PartialUtf8CodePoint | |
| Eq Utf8State | |
| Eq DecoderState | |
Defined in Data.Text.Internal.Encoding.Utf8 | |
| Eq Size | |
| Eq B | |
| Eq ShortText | |
| Eq Day | |
| Eq Month | |
| Eq Quarter | |
| Eq QuarterOfYear | |
Defined in Data.Time.Calendar.Quarter Methods (==) :: QuarterOfYear -> QuarterOfYear -> Bool # (/=) :: QuarterOfYear -> QuarterOfYear -> Bool # | |
| Eq FirstWeekType | |
Defined in Data.Time.Calendar.WeekDate Methods (==) :: FirstWeekType -> FirstWeekType -> Bool # (/=) :: FirstWeekType -> FirstWeekType -> Bool # | |
| Eq DiffTime | |
| Eq NominalDiffTime | |
Defined in Data.Time.Clock.Internal.NominalDiffTime Methods (==) :: NominalDiffTime -> NominalDiffTime -> Bool # (/=) :: NominalDiffTime -> NominalDiffTime -> Bool # | |
| Eq UTCTime | |
| Eq LocalTime | |
| Eq ℙ Source # | |
| Eq Nat Source # | |
| Eq ℝ Source # | |
| Eq ℝᴾ Source # | |
| Eq 𝔻ᴾ Source # | |
| Eq Frame Source # | |
| Eq FrameCol Source # | |
| Eq FrameData Source # | |
| Eq FrameType Source # | |
| Eq FrameVal Source # | |
| Eq LogDepth Source # | |
| Eq LogLevel Source # | |
| Eq LogOptions Source # | |
Defined in UVMHS.Lib.Logging | |
| Eq MMSP Source # | |
| Eq MMSPAtom Source # | |
| Eq MMSPMaxs Source # | |
| Eq MMSPMins Source # | |
| Eq MMSPProds Source # | |
| Eq MMSPSums Source # | |
| Eq Loc Source # | |
| Eq LocRange Source # | |
| Eq SrcCxt Source # | |
| Eq ParserErrorStackTraces Source # | |
Defined in UVMHS.Lib.Parser.ParserError Methods (==) :: ParserErrorStackTraces -> ParserErrorStackTraces -> Bool # (/=) :: ParserErrorStackTraces -> ParserErrorStackTraces -> Bool # | |
| Eq CharClass Source # | |
| Eq LexerBasicSyntax Source # | |
Defined in UVMHS.Lib.Parser.Regex Methods (==) :: LexerBasicSyntax -> LexerBasicSyntax -> Bool # (/=) :: LexerBasicSyntax -> LexerBasicSyntax -> Bool # | |
| Eq LexerWSBasicSyntax Source # | |
Defined in UVMHS.Lib.Parser.Regex Methods (==) :: LexerWSBasicSyntax -> LexerWSBasicSyntax -> Bool # (/=) :: LexerWSBasicSyntax -> LexerWSBasicSyntax -> Bool # | |
| Eq TokenBasic Source # | |
Defined in UVMHS.Lib.Parser.Regex | |
| Eq TokenClassBasic Source # | |
Defined in UVMHS.Lib.Parser.Regex Methods (==) :: TokenClassBasic -> TokenClassBasic -> Bool # (/=) :: TokenClassBasic -> TokenClassBasic -> Bool # | |
| Eq TokenClassWSBasic Source # | |
Defined in UVMHS.Lib.Parser.Regex Methods (==) :: TokenClassWSBasic -> TokenClassWSBasic -> Bool # (/=) :: TokenClassWSBasic -> TokenClassWSBasic -> Bool # | |
| Eq TokenWSBasic Source # | |
Defined in UVMHS.Lib.Parser.Regex | |
| Eq Annotation Source # | |
Defined in UVMHS.Lib.Pretty.Annotation | |
| Eq Format Source # | |
| Eq Formats Source # | |
| Eq Color Source # | |
| Eq Color3Bit Source # | |
| Eq ChunkI Source # | |
| Eq ChunkO Source # | |
| Eq Doc Source # | |
| Eq DocEnv Source # | |
| Eq PrettyParams Source # | |
Defined in UVMHS.Lib.Pretty.Doc | |
| Eq DocAEnv Source # | |
| Eq DocAState Source # | |
| Eq ANSIEnv Source # | |
| Eq Shape Source # | |
| Eq ShapeA Source # | |
| Eq ShapeM Source # | |
| Eq Name Source # | |
| Eq SGName Source # | |
| Eq SName Source # | |
| Eq RebindAction Source # | |
Defined in UVMHS.Lib.Substitution.Substy | |
| Eq DVar Source # | |
| Eq DVarInf Source # | |
| Eq GVar Source # | |
| Eq NVar Source # | |
| Eq NVarInf Source # | |
| Eq SVar Source # | |
| Eq Var Source # | |
| Eq VarInf Source # | |
| Eq FuzzParams Source # | |
Defined in UVMHS.Lib.Testing | |
| Eq Size | |
| Eq Checks | |
| Eq Integer | |
| Eq Natural | |
| Eq () | |
| Eq Bool | |
| Eq Char | |
| Eq Double | Note that due to the presence of
Also note that
|
| Eq Float | Note that due to the presence of
Also note that
|
| Eq Int | |
| Eq Word | |
| Eq a => Eq (Only a) | |
| Eq a => Eq (Blind a) | |
| Eq a => Eq (Fixed a) | |
| Eq a => Eq (Large a) | |
| Eq a => Eq (Negative a) | |
| Eq a => Eq (NonEmptyList a) | |
Defined in Test.QuickCheck.Modifiers Methods (==) :: NonEmptyList a -> NonEmptyList a -> Bool # (/=) :: NonEmptyList a -> NonEmptyList a -> Bool # | |
| Eq a => Eq (NonNegative a) | |
Defined in Test.QuickCheck.Modifiers Methods (==) :: NonNegative a -> NonNegative a -> Bool # (/=) :: NonNegative a -> NonNegative a -> Bool # | |
| Eq a => Eq (NonPositive a) | |
Defined in Test.QuickCheck.Modifiers Methods (==) :: NonPositive a -> NonPositive a -> Bool # (/=) :: NonPositive a -> NonPositive a -> Bool # | |
| Eq a => Eq (NonZero a) | |
| Eq a => Eq (OrderedList a) | |
Defined in Test.QuickCheck.Modifiers Methods (==) :: OrderedList a -> OrderedList a -> Bool # (/=) :: OrderedList a -> OrderedList a -> Bool # | |
| Eq a => Eq (Positive a) | |
| Eq a => Eq (Shrink2 a) | |
| Eq a => Eq (Small a) | |
| Eq a => Eq (SortedList a) | |
Defined in Test.QuickCheck.Modifiers | |
| Eq a => Eq (ZipList a) | Since: base-4.7.0.0 |
| Eq (Chan a) | Since: base-4.4.0.0 |
| Eq (MutableByteArray s) | Since: base-4.17.0.0 |
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 |
| Eq a => Eq (Iff a) | Since: base-4.16 |
| Eq a => Eq (Ior a) | Since: base-4.16 |
| Eq a => Eq (Xor a) | Since: base-4.16 |
| Eq a => Eq (Complex a) | Since: base-2.1 |
| Eq a => Eq (Identity a) | Since: base-4.8.0.0 |
| Eq a => Eq (First a) | Since: base-2.1 |
| Eq a => Eq (Last a) | Since: base-2.1 |
| Eq a => Eq (Down a) | Since: base-4.6.0.0 |
| Eq a => Eq (First a) | Since: base-4.9.0.0 |
| Eq a => Eq (Last a) | Since: base-4.9.0.0 |
| Eq a => Eq (Max a) | Since: base-4.9.0.0 |
| Eq a => Eq (Min a) | Since: base-4.9.0.0 |
| Eq m => Eq (WrappedMonoid m) | Since: base-4.9.0.0 |
Defined in Data.Semigroup Methods (==) :: WrappedMonoid m -> WrappedMonoid m -> Bool # (/=) :: WrappedMonoid m -> WrappedMonoid m -> Bool # | |
| Eq a => Eq (Dual a) | Since: base-2.1 |
| Eq a => Eq (Product a) | Since: base-2.1 |
| Eq a => Eq (Sum a) | Since: base-2.1 |
| Eq (ConstPtr a) | |
| Eq a => Eq (NonEmpty a) | Since: base-4.9.0.0 |
| Eq (TVar a) | Since: base-4.8.0.0 |
| Eq (ForeignPtr a) | Since: base-2.1 |
Defined in GHC.ForeignPtr | |
| Eq p => Eq (Par1 p) | Since: base-4.7.0.0 |
| Eq (IOPort a) | Since: base-4.1.0.0 |
| Eq (IORef a) | Pointer equality. Since: base-4.0.0.0 |
| Eq (MVar a) | Since: base-4.1.0.0 |
| Eq (FunPtr a) | |
| Eq (Ptr a) | Since: base-2.1 |
| Eq a => Eq (Ratio a) | Since: base-2.1 |
| Eq (StablePtr a) | Since: base-2.1 |
| Eq (StableName a) | Since: base-2.1 |
Defined in GHC.StableName | |
| Eq (SChar c) | Since: base-4.19.0.0 |
| Eq (SSymbol s) | Since: base-4.19.0.0 |
| Eq (SNat n) | Since: base-4.19.0.0 |
| Eq a => Eq (Records a) | |
| Eq vertex => Eq (SCC vertex) | Since: containers-0.5.9 |
| Eq a => Eq (IntMap a) | |
| Eq a => Eq (Seq a) | |
| Eq a => Eq (ViewL a) | |
| Eq a => Eq (ViewR a) | |
| Eq a => Eq (Intersection a) | |
Defined in Data.Set.Internal Methods (==) :: Intersection a -> Intersection a -> Bool # (/=) :: Intersection a -> Intersection a -> Bool # | |
| Eq a => Eq (Set a) | |
| Eq a => Eq (Tree a) | |
| Eq a => Eq (Hashed a) | Uses precomputed hash to detect inequality faster |
| Eq a => Eq (AnnotDetails a) | |
Defined in Text.PrettyPrint.Annotated.HughesPJ Methods (==) :: AnnotDetails a -> AnnotDetails a -> Bool # (/=) :: AnnotDetails a -> AnnotDetails a -> Bool # | |
| Eq (Doc a) | |
| Eq a => Eq (Span a) | |
| Eq a => Eq (Array a) | |
| (Eq a, Prim a) => Eq (PrimArray a) | Since: primitive-0.6.4.0 |
| Eq a => Eq (SmallArray a) | |
Defined in Data.Primitive.SmallArray | |
| Eq g => Eq (StateGen g) | |
| Eq g => Eq (AtomicGen g) | |
| Eq g => Eq (IOGen g) | |
| Eq g => Eq (STGen g) | |
| Eq g => Eq (TGen g) | |
| Eq flag => Eq (TyVarBndr flag) | |
| Eq a => Eq (Stream a) | |
| Eq a => Eq (HashSet a) | Note that, in the presence of hash collisions, equal
In general, the lack of extensionality can be observed with any function that depends on the key ordering, such as folds and traversals. |
| Eq e => Eq (ESet (StdESD e)) Source # | |
| Eq a => Eq (Elem (StdESD a)) Source # | |
| Eq (W c) Source # | |
| Eq a => Eq (𝐼 a) Source # | |
| Eq a => Eq (𝐿 a) Source # | |
| Eq a => Eq (𝑂 a) Source # | |
| Eq a => Eq (𝑃 a) Source # | |
| Eq a => Eq (𝑄 a) Source # | |
| Eq a => Eq (𝑆 a) Source # | |
| Eq a => Eq (AddBT a) Source # | |
| Eq a => Eq (AddBot a) Source # | |
| Eq a => Eq (AddNull a) Source # | |
| Eq a => Eq (AddTop a) Source # | |
| Eq a => Eq (ZOM a) Source # | |
| (Storable a, Eq a) => Eq (𝕌 a) Source # | |
| Eq a => Eq (𝕍 a) Source # | |
| Eq a => Eq (𝑉 a) Source # | |
| Eq (ULCExp 𝒸) Source # | |
| Eq (ULCExp_R 𝒸) Source # | |
| Eq a => Eq (ADF a) Source # | |
| Eq v => Eq (FrameGrouping v) Source # | |
Defined in UVMHS.Lib.Dataframe Methods (==) :: FrameGrouping v -> FrameGrouping v -> Bool # (/=) :: FrameGrouping v -> FrameGrouping v -> Bool # | |
| Eq e => Eq (ParseSubstAction e) Source # | |
Defined in UVMHS.Lib.Substitution.Substy Methods (==) :: ParseSubstAction e -> ParseSubstAction e -> Bool # (/=) :: ParseSubstAction e -> ParseSubstAction e -> Bool # | |
| Eq a => Eq (AddInf a) Source # | |
| Eq a => Eq (AddZI a) Source # | |
| Eq a => Eq (AddZer a) Source # | |
| Eq a => Eq (Vector a) | |
| (Prim a, Eq a) => Eq (Vector a) | |
| (Storable a, Eq a) => Eq (Vector a) | |
| Eq a => Eq (Vector a) | |
| Eq a => Eq (Maybe a) | Since: base-2.1 |
| Eq a => Eq (Solo a) | |
| Eq a => Eq [a] | |
| (Eq a, Eq b) => Eq (Either a b) | Since: base-2.1 |
| Eq (Fixed a) | Since: base-2.1 |
| Eq (Proxy s) | Since: base-4.7.0.0 |
| Eq a => Eq (Arg a b) | Since: base-4.9.0.0 |
| Eq (TypeRep a) | Since: base-2.1 |
| (Ix i, Eq e) => Eq (Array i e) | Since: base-2.1 |
| Eq (U1 p) | Since: base-4.9.0.0 |
| Eq (V1 p) | Since: base-4.9.0.0 |
| Eq (IOArray i e) | Since: base-4.1.0.0 |
| Eq (STRef s a) | Pointer equality. Since: base-2.1 |
| (Eq k, Eq a) => Eq (Map k a) | |
| Eq (MutableArray s a) | |
Defined in Data.Primitive.Array Methods (==) :: MutableArray s a -> MutableArray s a -> Bool # (/=) :: MutableArray s a -> MutableArray s a -> Bool # | |
| Eq (MutablePrimArray s a) | |
Defined in Data.Primitive.PrimArray Methods (==) :: MutablePrimArray s a -> MutablePrimArray s a -> Bool # (/=) :: MutablePrimArray s a -> MutablePrimArray s a -> Bool # | |
| Eq (SmallMutableArray s a) | |
Defined in Data.Primitive.SmallArray Methods (==) :: SmallMutableArray s a -> SmallMutableArray s a -> Bool # (/=) :: SmallMutableArray s a -> SmallMutableArray s a -> Bool # | |
| (Eq1 m, Eq a) => Eq (MaybeT m a) | |
| (Eq k, Eq v) => Eq (HashMap k v) | Note that, in the presence of hash collisions, equal
In general, the lack of extensionality can be observed with any function that depends on the key ordering, such as folds and traversals. |
| (Eq k, Eq v) => Eq (Leaf k v) | |
| (Eq k, Eq a) => Eq (EDct (StdESD k) a) Source # | |
| Eq (P a) Source # | |
| (Eq k, Eq v) => Eq (k ⇰ v) Source # | |
| (Eq a, Eq b) => Eq (a ∧ b) Source # | |
| (Eq a, Eq b) => Eq (a ∨ b) Source # | |
| Eq a => Eq (𝐴 t a) Source # | |
| (Eq o, Eq u) => Eq (RegexInfo o u) Source # | |
| (Eq o, Eq u) => Eq (RegexResult o u) Source # | |
Defined in UVMHS.Lib.Parser.Regex Methods (==) :: RegexResult o u -> RegexResult o u -> Bool # (/=) :: RegexResult o u -> RegexResult o u -> Bool # | |
| (Eq s, Eq e) => Eq (MetaSubst s e) Source # | |
| (Eq s, Eq e) => Eq (Subst s e) Source # | |
| (Eq s, Eq e) => Eq (SSubstElem s e) Source # | |
Defined in UVMHS.Lib.Substitution.SubstElem Methods (==) :: SSubstElem s e -> SSubstElem s e -> Bool # (/=) :: SSubstElem s e -> SSubstElem s e -> Bool # | |
| (Eq s, Eq e) => Eq (SubstElem s e) Source # | |
| (Eq s, Eq e) => Eq (SubstScoped s e) Source # | |
Defined in UVMHS.Lib.Substitution.SubstScoped Methods (==) :: SubstScoped s e -> SubstScoped s e -> Bool # (/=) :: SubstScoped s e -> SubstScoped s e -> Bool # | |
| (Eq s, Eq e) => Eq (SubstAction s e) Source # | |
Defined in UVMHS.Lib.Substitution.Substy Methods (==) :: SubstAction s e -> SubstAction s e -> Bool # (/=) :: SubstAction s e -> SubstAction s e -> Bool # | |
| (Eq s, Eq e) => Eq (MVar s e) Source # | |
| (Eq s, Eq e) => Eq (UVar s e) Source # | |
| (Eq i, Eq a) => Eq (WindowL i a) Source # | |
| (Eq i, Eq a) => Eq (WindowR i a) Source # | |
| (Eq a, Eq b) => Eq (a, b) | |
| Eq a => Eq (() -> a) Source # | |
| Eq a => Eq (Const a b) | Since: base-4.9.0.0 |
| Eq (f a) => Eq (Ap f a) | Since: base-4.12.0.0 |
| Eq (f a) => Eq (Alt f a) | Since: base-4.8.0.0 |
| Eq (Coercion a b) | Since: base-4.7.0.0 |
| Eq (a :~: b) | Since: base-4.7.0.0 |
| Eq (OrderingI a b) | |
| Eq (STArray s i e) | Since: base-2.1 |
| (Generic1 f, Eq (Rep1 f a)) => Eq (Generically1 f a) | Since: base-4.18.0.0 |
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 |
| Eq (URec (Ptr ()) p) | Since: base-4.9.0.0 |
| Eq (URec Char p) | Since: base-4.9.0.0 |
| Eq (URec Double p) | Since: base-4.9.0.0 |
| Eq (URec Float p) | |
| Eq (URec Int p) | Since: base-4.9.0.0 |
| Eq (URec Word p) | Since: base-4.9.0.0 |
| (Eq e, Eq1 m, Eq a) => Eq (ExceptT e m a) | |
| (Eq1 f, Eq a) => Eq (IdentityT f a) | |
| (Eq w, Eq1 m, Eq a) => Eq (WriterT w m a) | |
| (Eq w, Eq1 m, Eq a) => Eq (WriterT w m a) | |
| Eq a => Eq (Constant a b) | |
| (Storable a, Eq a) => Eq (𝕌S n a) Source # | |
| Eq a => Eq (𝕍S n a) Source # | |
| (Eq sG, Eq sS, Eq e) => Eq (SubstSpaced sG sS e) Source # | |
Defined in UVMHS.Lib.Substitution.SubstSpaced Methods (==) :: SubstSpaced sG sS e -> SubstSpaced sG sS e -> Bool # (/=) :: SubstSpaced sG sS e -> SubstSpaced sG sS e -> Bool # | |
| (Eq a, Eq b, Eq c) => Eq (a, b, c) | |
| (Eq (f a), Eq (g a)) => Eq (Product f g a) | Since: base-4.18.0.0 |
| (Eq (f a), Eq (g a)) => Eq (Sum f g a) | Since: base-4.18.0.0 |
| Eq (a :~~: b) | Since: base-4.10.0.0 |
| (Eq (f p), Eq (g p)) => Eq ((f :*: g) p) | Since: base-4.7.0.0 |
| (Eq (f p), Eq (g p)) => Eq ((f :+: g) p) | Since: base-4.7.0.0 |
| Eq c => Eq (K1 i c p) | Since: base-4.7.0.0 |
| (Eq o, Eq u, Eq t, Eq c) => Eq (Regex c t o u) Source # | |
| (Eq o, Eq u, Eq t, Eq c) => Eq (RegexU c t o u) Source # | |
| (Eq a, Eq b, Eq c, Eq d) => Eq (a, b, c, d) | |
| Eq (f (g a)) => Eq (Compose f g a) | Since: base-4.18.0.0 |
| Eq (f (g p)) => Eq ((f :.: g) p) | Since: base-4.7.0.0 |
| Eq (f p) => Eq (M1 i c f p) | Since: base-4.7.0.0 |
| (Eq a, Eq b, Eq c, Eq d, Eq e) => Eq (a, b, c, d, e) | |
| (Eq t, Eq c) => Eq (RegexAtom c t o u) Source # | |
| (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f) => Eq (a, b, c, d, e, f) | |
| (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g) => Eq (a, b, c, d, e, f, g) | |
| (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) | |
| (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) | |
| (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) | |
| (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) | |
| (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) | |
| (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) | |
| (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) | |
| (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) | |
The Ord class is used for totally ordered datatypes.
Instances of Ord can be derived for any user-defined datatype whose
constituent types are in Ord. The declared order of the constructors in
the data declaration determines the ordering in derived Ord instances. The
Ordering datatype allows a single comparison to determine the precise
ordering of two objects.
Ord, as defined by the Haskell report, implements a total order and has the
following properties:
- Comparability
x <= y || y <= x=True- Transitivity
- if
x <= y && y <= z=True, thenx <= z=True - Reflexivity
x <= x=True- Antisymmetry
- if
x <= y && y <= x=True, thenx == y=True
The following operator interactions are expected to hold:
x >= y=y <= xx < y=x <= y && x /= yx > y=y < xx < y=compare x y == LTx > y=compare x y == GTx == y=compare x y == EQmin x y == if x <= y then x else y=Truemax x y == if x >= y then x else y=True
Note that (7.) and (8.) do not require min and max to return either of
their arguments. The result is merely required to equal one of the
arguments in terms of (==).
Minimal complete definition: either compare or <=.
Using compare can be more efficient for complex types.
Instances
| Ord ASCIIString | |
Defined in Test.QuickCheck.Modifiers Methods compare :: ASCIIString -> ASCIIString -> Ordering # (<) :: ASCIIString -> ASCIIString -> Bool # (<=) :: ASCIIString -> ASCIIString -> Bool # (>) :: ASCIIString -> ASCIIString -> Bool # (>=) :: ASCIIString -> ASCIIString -> Bool # max :: ASCIIString -> ASCIIString -> ASCIIString # min :: ASCIIString -> ASCIIString -> ASCIIString # | |
| Ord PrintableString | |
Defined in Test.QuickCheck.Modifiers Methods compare :: PrintableString -> PrintableString -> Ordering # (<) :: PrintableString -> PrintableString -> Bool # (<=) :: PrintableString -> PrintableString -> Bool # (>) :: PrintableString -> PrintableString -> Bool # (>=) :: PrintableString -> PrintableString -> Bool # max :: PrintableString -> PrintableString -> PrintableString # min :: PrintableString -> PrintableString -> PrintableString # | |
| Ord UnicodeString | |
Defined in Test.QuickCheck.Modifiers Methods compare :: UnicodeString -> UnicodeString -> Ordering # (<) :: UnicodeString -> UnicodeString -> Bool # (<=) :: UnicodeString -> UnicodeString -> Bool # (>) :: UnicodeString -> UnicodeString -> Bool # (>=) :: UnicodeString -> UnicodeString -> Bool # max :: UnicodeString -> UnicodeString -> UnicodeString # min :: UnicodeString -> UnicodeString -> UnicodeString # | |
| Ord OrdA | |
| Ord OrdB | |
| Ord OrdC | |
| Ord Pos | |
| Ord ByteArray | Non-lexicographic ordering. This compares the lengths of the byte arrays first and uses a lexicographic ordering if the lengths are equal. Subject to change between major versions. Since: base-4.17.0.0 |
| Ord All | Since: base-2.1 |
| Ord Any | Since: base-2.1 |
| Ord SomeTypeRep | |
Defined in Data.Typeable.Internal Methods compare :: SomeTypeRep -> SomeTypeRep -> Ordering # (<) :: SomeTypeRep -> SomeTypeRep -> Bool # (<=) :: SomeTypeRep -> SomeTypeRep -> Bool # (>) :: SomeTypeRep -> SomeTypeRep -> Bool # (>=) :: SomeTypeRep -> SomeTypeRep -> Bool # max :: SomeTypeRep -> SomeTypeRep -> SomeTypeRep # min :: SomeTypeRep -> SomeTypeRep -> SomeTypeRep # | |
| Ord Unique | |
| Ord Version | Since: base-2.1 |
| Ord CBool | |
| Ord CChar | |
| Ord CClock | |
| Ord CDouble | |
| Ord CFloat | |
| Ord CInt | |
| Ord CIntMax | |
| Ord CIntPtr | |
| Ord CLLong | |
| Ord CLong | |
| Ord CPtrdiff | |
Defined in Foreign.C.Types | |
| Ord CSChar | |
| Ord CSUSeconds | |
Defined in Foreign.C.Types Methods compare :: CSUSeconds -> CSUSeconds -> Ordering # (<) :: CSUSeconds -> CSUSeconds -> Bool # (<=) :: CSUSeconds -> CSUSeconds -> Bool # (>) :: CSUSeconds -> CSUSeconds -> Bool # (>=) :: CSUSeconds -> CSUSeconds -> Bool # max :: CSUSeconds -> CSUSeconds -> CSUSeconds # min :: CSUSeconds -> CSUSeconds -> CSUSeconds # | |
| Ord CShort | |
| Ord CSigAtomic | |
Defined in Foreign.C.Types Methods compare :: CSigAtomic -> CSigAtomic -> Ordering # (<) :: CSigAtomic -> CSigAtomic -> Bool # (<=) :: CSigAtomic -> CSigAtomic -> Bool # (>) :: CSigAtomic -> CSigAtomic -> Bool # (>=) :: CSigAtomic -> CSigAtomic -> Bool # max :: CSigAtomic -> CSigAtomic -> CSigAtomic # min :: CSigAtomic -> CSigAtomic -> CSigAtomic # | |
| Ord CSize | |
| Ord CTime | |
| Ord CUChar | |
| Ord CUInt | |
| Ord CUIntMax | |
Defined in Foreign.C.Types | |
| Ord CUIntPtr | |
Defined in Foreign.C.Types | |
| Ord CULLong | |
| Ord CULong | |
| Ord CUSeconds | |
| Ord CUShort | |
| Ord CWchar | |
| Ord IntPtr | |
| Ord WordPtr | |
| Ord Void | Since: base-4.8.0.0 |
| Ord ByteOrder | Since: base-4.11.0.0 |
| Ord BlockReason | Since: base-4.3.0.0 |
Defined in GHC.Conc.Sync Methods compare :: BlockReason -> BlockReason -> Ordering # (<) :: BlockReason -> BlockReason -> Bool # (<=) :: BlockReason -> BlockReason -> Bool # (>) :: BlockReason -> BlockReason -> Bool # (>=) :: BlockReason -> BlockReason -> Bool # max :: BlockReason -> BlockReason -> BlockReason # min :: BlockReason -> BlockReason -> BlockReason # | |
| Ord ThreadId | Since: base-4.2.0.0 |
Defined in GHC.Conc.Sync | |
| Ord ThreadStatus | Since: base-4.3.0.0 |
Defined in GHC.Conc.Sync Methods compare :: ThreadStatus -> ThreadStatus -> Ordering # (<) :: ThreadStatus -> ThreadStatus -> Bool # (<=) :: ThreadStatus -> ThreadStatus -> Bool # (>) :: ThreadStatus -> ThreadStatus -> Bool # (>=) :: ThreadStatus -> ThreadStatus -> Bool # max :: ThreadStatus -> ThreadStatus -> ThreadStatus # min :: ThreadStatus -> ThreadStatus -> ThreadStatus # | |
| Ord TimeoutKey | |
Defined in GHC.Event.TimeOut Methods compare :: TimeoutKey -> TimeoutKey -> Ordering # (<) :: TimeoutKey -> TimeoutKey -> Bool # (<=) :: TimeoutKey -> TimeoutKey -> Bool # (>) :: TimeoutKey -> TimeoutKey -> Bool # (>=) :: TimeoutKey -> TimeoutKey -> Bool # max :: TimeoutKey -> TimeoutKey -> TimeoutKey # min :: TimeoutKey -> TimeoutKey -> TimeoutKey # | |
| Ord ErrorCall | Since: base-4.7.0.0 |
| Ord ArithException | Since: base-3.0 |
Defined in GHC.Exception.Type Methods compare :: ArithException -> ArithException -> Ordering # (<) :: ArithException -> ArithException -> Bool # (<=) :: ArithException -> ArithException -> Bool # (>) :: ArithException -> ArithException -> Bool # (>=) :: ArithException -> ArithException -> Bool # max :: ArithException -> ArithException -> ArithException # min :: ArithException -> ArithException -> ArithException # | |
| Ord Fingerprint | Since: base-4.4.0.0 |
Defined in GHC.Fingerprint.Type Methods compare :: Fingerprint -> Fingerprint -> Ordering # (<) :: Fingerprint -> Fingerprint -> Bool # (<=) :: Fingerprint -> Fingerprint -> Bool # (>) :: Fingerprint -> Fingerprint -> Bool # (>=) :: Fingerprint -> Fingerprint -> Bool # max :: Fingerprint -> Fingerprint -> Fingerprint # min :: Fingerprint -> Fingerprint -> Fingerprint # | |
| Ord Associativity | Since: base-4.6.0.0 |
Defined in GHC.Generics Methods compare :: Associativity -> Associativity -> Ordering # (<) :: Associativity -> Associativity -> Bool # (<=) :: Associativity -> Associativity -> Bool # (>) :: Associativity -> Associativity -> Bool # (>=) :: Associativity -> Associativity -> Bool # max :: Associativity -> Associativity -> Associativity # min :: Associativity -> Associativity -> Associativity # | |
| Ord DecidedStrictness | Since: base-4.9.0.0 |
Defined in GHC.Generics Methods compare :: DecidedStrictness -> DecidedStrictness -> Ordering # (<) :: DecidedStrictness -> DecidedStrictness -> Bool # (<=) :: DecidedStrictness -> DecidedStrictness -> Bool # (>) :: DecidedStrictness -> DecidedStrictness -> Bool # (>=) :: DecidedStrictness -> DecidedStrictness -> Bool # max :: DecidedStrictness -> DecidedStrictness -> DecidedStrictness # min :: DecidedStrictness -> DecidedStrictness -> DecidedStrictness # | |
| Ord Fixity | Since: base-4.6.0.0 |
| Ord SourceStrictness | Since: base-4.9.0.0 |
Defined in GHC.Generics Methods compare :: SourceStrictness -> SourceStrictness -> Ordering # (<) :: SourceStrictness -> SourceStrictness -> Bool # (<=) :: SourceStrictness -> SourceStrictness -> Bool # (>) :: SourceStrictness -> SourceStrictness -> Bool # (>=) :: SourceStrictness -> SourceStrictness -> Bool # max :: SourceStrictness -> SourceStrictness -> SourceStrictness # min :: SourceStrictness -> SourceStrictness -> SourceStrictness # | |
| Ord SourceUnpackedness | Since: base-4.9.0.0 |
Defined in GHC.Generics Methods compare :: SourceUnpackedness -> SourceUnpackedness -> Ordering # (<) :: SourceUnpackedness -> SourceUnpackedness -> Bool # (<=) :: SourceUnpackedness -> SourceUnpackedness -> Bool # (>) :: SourceUnpackedness -> SourceUnpackedness -> Bool # (>=) :: SourceUnpackedness -> SourceUnpackedness -> Bool # max :: SourceUnpackedness -> SourceUnpackedness -> SourceUnpackedness # min :: SourceUnpackedness -> SourceUnpackedness -> SourceUnpackedness # | |
| Ord SeekMode | Since: base-4.2.0.0 |
Defined in GHC.IO.Device | |
| Ord ArrayException | Since: base-4.2.0.0 |
Defined in GHC.IO.Exception Methods compare :: ArrayException -> ArrayException -> Ordering # (<) :: ArrayException -> ArrayException -> Bool # (<=) :: ArrayException -> ArrayException -> Bool # (>) :: ArrayException -> ArrayException -> Bool # (>=) :: ArrayException -> ArrayException -> Bool # max :: ArrayException -> ArrayException -> ArrayException # min :: ArrayException -> ArrayException -> ArrayException # | |
| Ord AsyncException | Since: base-4.2.0.0 |
Defined in GHC.IO.Exception Methods compare :: AsyncException -> AsyncException -> Ordering # (<) :: AsyncException -> AsyncException -> Bool # (<=) :: AsyncException -> AsyncException -> Bool # (>) :: AsyncException -> AsyncException -> Bool # (>=) :: AsyncException -> AsyncException -> Bool # max :: AsyncException -> AsyncException -> AsyncException # min :: AsyncException -> AsyncException -> AsyncException # | |
| Ord ExitCode | |
Defined in GHC.IO.Exception | |
| Ord BufferMode | Since: base-4.2.0.0 |
Defined in GHC.IO.Handle.Types Methods compare :: BufferMode -> BufferMode -> Ordering # (<) :: BufferMode -> BufferMode -> Bool # (<=) :: BufferMode -> BufferMode -> Bool # (>) :: BufferMode -> BufferMode -> Bool # (>=) :: BufferMode -> BufferMode -> Bool # max :: BufferMode -> BufferMode -> BufferMode # min :: BufferMode -> BufferMode -> BufferMode # | |
| Ord Newline | Since: base-4.3.0.0 |
| Ord NewlineMode | Since: base-4.3.0.0 |
Defined in GHC.IO.Handle.Types Methods compare :: NewlineMode -> NewlineMode -> Ordering # (<) :: NewlineMode -> NewlineMode -> Bool # (<=) :: NewlineMode -> NewlineMode -> Bool # (>) :: NewlineMode -> NewlineMode -> Bool # (>=) :: NewlineMode -> NewlineMode -> Bool # max :: NewlineMode -> NewlineMode -> NewlineMode # min :: NewlineMode -> NewlineMode -> NewlineMode # | |
| Ord IOMode | Since: base-4.2.0.0 |
| Ord Int16 | Since: base-2.1 |
| Ord Int32 | Since: base-2.1 |
| Ord Int64 | Since: base-2.1 |
| Ord Int8 | Since: base-2.1 |
| Ord SomeChar | |
Defined in GHC.TypeLits | |
| Ord SomeSymbol | Since: base-4.7.0.0 |
Defined in GHC.TypeLits Methods compare :: SomeSymbol -> SomeSymbol -> Ordering # (<) :: SomeSymbol -> SomeSymbol -> Bool # (<=) :: SomeSymbol -> SomeSymbol -> Bool # (>) :: SomeSymbol -> SomeSymbol -> Bool # (>=) :: SomeSymbol -> SomeSymbol -> Bool # max :: SomeSymbol -> SomeSymbol -> SomeSymbol # min :: SomeSymbol -> SomeSymbol -> SomeSymbol # | |
| Ord SomeNat | Since: base-4.7.0.0 |
| Ord GeneralCategory | Since: base-2.1 |
Defined in GHC.Unicode Methods compare :: GeneralCategory -> GeneralCategory -> Ordering # (<) :: GeneralCategory -> GeneralCategory -> Bool # (<=) :: GeneralCategory -> GeneralCategory -> Bool # (>) :: GeneralCategory -> GeneralCategory -> Bool # (>=) :: GeneralCategory -> GeneralCategory -> Bool # max :: GeneralCategory -> GeneralCategory -> GeneralCategory # min :: GeneralCategory -> GeneralCategory -> GeneralCategory # | |
| Ord Word16 | Since: base-2.1 |
| Ord Word32 | Since: base-2.1 |
| Ord Word64 | Since: base-2.1 |
| Ord Word8 | Since: base-2.1 |
| Ord CBlkCnt | |
| Ord CBlkSize | |
Defined in System.Posix.Types | |
| Ord CCc | |
| Ord CClockId | |
Defined in System.Posix.Types | |
| Ord CDev | |
| Ord CFsBlkCnt | |
| Ord CFsFilCnt | |
| Ord CGid | |
| Ord CId | |
| Ord CIno | |
| Ord CKey | |
| Ord CMode | |
| Ord CNfds | |
| Ord CNlink | |
| Ord COff | |
| Ord CPid | |
| Ord CRLim | |
| Ord CSocklen | |
Defined in System.Posix.Types | |
| Ord CSpeed | |
| Ord CSsize | |
| Ord CTcflag | |
| Ord CUid | |
| Ord Fd | |
| Ord ByteString | |
Defined in Data.ByteString.Internal.Type Methods compare :: ByteString -> ByteString -> Ordering # (<) :: ByteString -> ByteString -> Bool # (<=) :: ByteString -> ByteString -> Bool # (>) :: ByteString -> ByteString -> Bool # (>=) :: ByteString -> ByteString -> Bool # max :: ByteString -> ByteString -> ByteString # min :: ByteString -> ByteString -> ByteString # | |
| Ord ByteString | |
Defined in Data.ByteString.Lazy.Internal Methods compare :: ByteString -> ByteString -> Ordering # (<) :: ByteString -> ByteString -> Bool # (<=) :: ByteString -> ByteString -> Bool # (>) :: ByteString -> ByteString -> Bool # (>=) :: ByteString -> ByteString -> Bool # max :: ByteString -> ByteString -> ByteString # min :: ByteString -> ByteString -> ByteString # | |
| Ord ShortByteString | Lexicographic order. |
Defined in Data.ByteString.Short.Internal Methods compare :: ShortByteString -> ShortByteString -> Ordering # (<) :: ShortByteString -> ShortByteString -> Bool # (<=) :: ShortByteString -> ShortByteString -> Bool # (>) :: ShortByteString -> ShortByteString -> Bool # (>=) :: ShortByteString -> ShortByteString -> Bool # max :: ShortByteString -> ShortByteString -> ShortByteString # min :: ShortByteString -> ShortByteString -> ShortByteString # | |
| Ord IntSet | |
| Ord OsChar | Byte ordering of the internal representation. |
Defined in System.OsString.Internal.Types.Hidden | |
| Ord OsString | Byte ordering of the internal representation. |
Defined in System.OsString.Internal.Types.Hidden | |
| Ord PosixChar | |
Defined in System.OsString.Internal.Types.Hidden | |
| Ord PosixString | |
Defined in System.OsString.Internal.Types.Hidden Methods compare :: PosixString -> PosixString -> Ordering # (<) :: PosixString -> PosixString -> Bool # (<=) :: PosixString -> PosixString -> Bool # (>) :: PosixString -> PosixString -> Bool # (>=) :: PosixString -> PosixString -> Bool # max :: PosixString -> PosixString -> PosixString # min :: PosixString -> PosixString -> PosixString # | |
| Ord WindowsChar | |
Defined in System.OsString.Internal.Types.Hidden Methods compare :: WindowsChar -> WindowsChar -> Ordering # (<) :: WindowsChar -> WindowsChar -> Bool # (<=) :: WindowsChar -> WindowsChar -> Bool # (>) :: WindowsChar -> WindowsChar -> Bool # (>=) :: WindowsChar -> WindowsChar -> Bool # max :: WindowsChar -> WindowsChar -> WindowsChar # min :: WindowsChar -> WindowsChar -> WindowsChar # | |
| Ord WindowsString | |
Defined in System.OsString.Internal.Types.Hidden Methods compare :: WindowsString -> WindowsString -> Ordering # (<) :: WindowsString -> WindowsString -> Bool # (<=) :: WindowsString -> WindowsString -> Bool # (>) :: WindowsString -> WindowsString -> Bool # (>=) :: WindowsString -> WindowsString -> Bool # max :: WindowsString -> WindowsString -> WindowsString # min :: WindowsString -> WindowsString -> WindowsString # | |
| Ord BigNat | |
| Ord Extension | |
| Ord Ordering | |
Defined in GHC.Classes | |
| Ord TyCon | |
| Ord OsChar | Byte ordering of the internal representation. |
| Ord OsString | Byte ordering of the internal representation. |
Defined in System.OsString.Internal.Types | |
| Ord PosixChar | |
| Ord PosixString | |
Defined in System.OsString.Internal.Types Methods compare :: PosixString -> PosixString -> Ordering # (<) :: PosixString -> PosixString -> Bool # (<=) :: PosixString -> PosixString -> Bool # (>) :: PosixString -> PosixString -> Bool # (>=) :: PosixString -> PosixString -> Bool # max :: PosixString -> PosixString -> PosixString # min :: PosixString -> PosixString -> PosixString # | |
| Ord WindowsChar | |
Defined in System.OsString.Internal.Types Methods compare :: WindowsChar -> WindowsChar -> Ordering # (<) :: WindowsChar -> WindowsChar -> Bool # (<=) :: WindowsChar -> WindowsChar -> Bool # (>) :: WindowsChar -> WindowsChar -> Bool # (>=) :: WindowsChar -> WindowsChar -> Bool # max :: WindowsChar -> WindowsChar -> WindowsChar # min :: WindowsChar -> WindowsChar -> WindowsChar # | |
| Ord WindowsString | |
Defined in System.OsString.Internal.Types Methods compare :: WindowsString -> WindowsString -> Ordering # (<) :: WindowsString -> WindowsString -> Bool # (<=) :: WindowsString -> WindowsString -> Bool # (>) :: WindowsString -> WindowsString -> Bool # (>=) :: WindowsString -> WindowsString -> Bool # max :: WindowsString -> WindowsString -> WindowsString # min :: WindowsString -> WindowsString -> WindowsString # | |
| Ord CommunicationHandle | |
Defined in System.Process.CommunicationHandle.Internal Methods compare :: CommunicationHandle -> CommunicationHandle -> Ordering # (<) :: CommunicationHandle -> CommunicationHandle -> Bool # (<=) :: CommunicationHandle -> CommunicationHandle -> Bool # (>) :: CommunicationHandle -> CommunicationHandle -> Bool # (>=) :: CommunicationHandle -> CommunicationHandle -> Bool # max :: CommunicationHandle -> CommunicationHandle -> CommunicationHandle # min :: CommunicationHandle -> CommunicationHandle -> CommunicationHandle # | |
| Ord AnnLookup | |
| Ord AnnTarget | |
| Ord Bang | |
| Ord BndrVis | |
Defined in Language.Haskell.TH.Syntax | |
| Ord Body | |
| Ord Bytes | |
| Ord Callconv | |
Defined in Language.Haskell.TH.Syntax | |
| Ord Clause | |
| Ord Con | |
| Ord Dec | |
| Ord DecidedStrictness | |
Defined in Language.Haskell.TH.Syntax Methods compare :: DecidedStrictness -> DecidedStrictness -> Ordering # (<) :: DecidedStrictness -> DecidedStrictness -> Bool # (<=) :: DecidedStrictness -> DecidedStrictness -> Bool # (>) :: DecidedStrictness -> DecidedStrictness -> Bool # (>=) :: DecidedStrictness -> DecidedStrictness -> Bool # max :: DecidedStrictness -> DecidedStrictness -> DecidedStrictness # min :: DecidedStrictness -> DecidedStrictness -> DecidedStrictness # | |
| Ord DerivClause | |
Defined in Language.Haskell.TH.Syntax Methods compare :: DerivClause -> DerivClause -> Ordering # (<) :: DerivClause -> DerivClause -> Bool # (<=) :: DerivClause -> DerivClause -> Bool # (>) :: DerivClause -> DerivClause -> Bool # (>=) :: DerivClause -> DerivClause -> Bool # max :: DerivClause -> DerivClause -> DerivClause # min :: DerivClause -> DerivClause -> DerivClause # | |
| Ord DerivStrategy | |
Defined in Language.Haskell.TH.Syntax Methods compare :: DerivStrategy -> DerivStrategy -> Ordering # (<) :: DerivStrategy -> DerivStrategy -> Bool # (<=) :: DerivStrategy -> DerivStrategy -> Bool # (>) :: DerivStrategy -> DerivStrategy -> Bool # (>=) :: DerivStrategy -> DerivStrategy -> Bool # max :: DerivStrategy -> DerivStrategy -> DerivStrategy # min :: DerivStrategy -> DerivStrategy -> DerivStrategy # | |
| Ord DocLoc | |
| Ord Exp | |
| Ord FamilyResultSig | |
Defined in Language.Haskell.TH.Syntax Methods compare :: FamilyResultSig -> FamilyResultSig -> Ordering # (<) :: FamilyResultSig -> FamilyResultSig -> Bool # (<=) :: FamilyResultSig -> FamilyResultSig -> Bool # (>) :: FamilyResultSig -> FamilyResultSig -> Bool # (>=) :: FamilyResultSig -> FamilyResultSig -> Bool # max :: FamilyResultSig -> FamilyResultSig -> FamilyResultSig # min :: FamilyResultSig -> FamilyResultSig -> FamilyResultSig # | |
| Ord Fixity | |
| Ord FixityDirection | |
Defined in Language.Haskell.TH.Syntax Methods compare :: FixityDirection -> FixityDirection -> Ordering # (<) :: FixityDirection -> FixityDirection -> Bool # (<=) :: FixityDirection -> FixityDirection -> Bool # (>) :: FixityDirection -> FixityDirection -> Bool # (>=) :: FixityDirection -> FixityDirection -> Bool # max :: FixityDirection -> FixityDirection -> FixityDirection # min :: FixityDirection -> FixityDirection -> FixityDirection # | |
| Ord Foreign | |
Defined in Language.Haskell.TH.Syntax | |
| Ord FunDep | |
| Ord Guard | |
| Ord Info | |
| Ord InjectivityAnn | |
Defined in Language.Haskell.TH.Syntax Methods compare :: InjectivityAnn -> InjectivityAnn -> Ordering # (<) :: InjectivityAnn -> InjectivityAnn -> Bool # (<=) :: InjectivityAnn -> InjectivityAnn -> Bool # (>) :: InjectivityAnn -> InjectivityAnn -> Bool # (>=) :: InjectivityAnn -> InjectivityAnn -> Bool # max :: InjectivityAnn -> InjectivityAnn -> InjectivityAnn # min :: InjectivityAnn -> InjectivityAnn -> InjectivityAnn # | |
| Ord Inline | |
| Ord Lit | |
| Ord Loc | |
| Ord Match | |
| Ord ModName | |
Defined in Language.Haskell.TH.Syntax | |
| Ord Module | |
| Ord ModuleInfo | |
Defined in Language.Haskell.TH.Syntax Methods compare :: ModuleInfo -> ModuleInfo -> Ordering # (<) :: ModuleInfo -> ModuleInfo -> Bool # (<=) :: ModuleInfo -> ModuleInfo -> Bool # (>) :: ModuleInfo -> ModuleInfo -> Bool # (>=) :: ModuleInfo -> ModuleInfo -> Bool # max :: ModuleInfo -> ModuleInfo -> ModuleInfo # min :: ModuleInfo -> ModuleInfo -> ModuleInfo # | |
| Ord Name | |
| Ord NameFlavour | |
Defined in Language.Haskell.TH.Syntax Methods compare :: NameFlavour -> NameFlavour -> Ordering # (<) :: NameFlavour -> NameFlavour -> Bool # (<=) :: NameFlavour -> NameFlavour -> Bool # (>) :: NameFlavour -> NameFlavour -> Bool # (>=) :: NameFlavour -> NameFlavour -> Bool # max :: NameFlavour -> NameFlavour -> NameFlavour # min :: NameFlavour -> NameFlavour -> NameFlavour # | |
| Ord NameSpace | |
| Ord OccName | |
Defined in Language.Haskell.TH.Syntax | |
| Ord Overlap | |
Defined in Language.Haskell.TH.Syntax | |
| Ord Pat | |
| Ord PatSynArgs | |
Defined in Language.Haskell.TH.Syntax Methods compare :: PatSynArgs -> PatSynArgs -> Ordering # (<) :: PatSynArgs -> PatSynArgs -> Bool # (<=) :: PatSynArgs -> PatSynArgs -> Bool # (>) :: PatSynArgs -> PatSynArgs -> Bool # (>=) :: PatSynArgs -> PatSynArgs -> Bool # max :: PatSynArgs -> PatSynArgs -> PatSynArgs # min :: PatSynArgs -> PatSynArgs -> PatSynArgs # | |
| Ord PatSynDir | |
| Ord Phases | |
| Ord PkgName | |
Defined in Language.Haskell.TH.Syntax | |
| Ord Pragma | |
| Ord Range | |
| Ord Role | |
| Ord RuleBndr | |
Defined in Language.Haskell.TH.Syntax | |
| Ord RuleMatch | |
| Ord Safety | |
| Ord SourceStrictness | |
Defined in Language.Haskell.TH.Syntax Methods compare :: SourceStrictness -> SourceStrictness -> Ordering # (<) :: SourceStrictness -> SourceStrictness -> Bool # (<=) :: SourceStrictness -> SourceStrictness -> Bool # (>) :: SourceStrictness -> SourceStrictness -> Bool # (>=) :: SourceStrictness -> SourceStrictness -> Bool # max :: SourceStrictness -> SourceStrictness -> SourceStrictness # min :: SourceStrictness -> SourceStrictness -> SourceStrictness # | |
| Ord SourceUnpackedness | |
Defined in Language.Haskell.TH.Syntax Methods compare :: SourceUnpackedness -> SourceUnpackedness -> Ordering # (<) :: SourceUnpackedness -> SourceUnpackedness -> Bool # (<=) :: SourceUnpackedness -> SourceUnpackedness -> Bool # (>) :: SourceUnpackedness -> SourceUnpackedness -> Bool # (>=) :: SourceUnpackedness -> SourceUnpackedness -> Bool # max :: SourceUnpackedness -> SourceUnpackedness -> SourceUnpackedness # min :: SourceUnpackedness -> SourceUnpackedness -> SourceUnpackedness # | |
| Ord Specificity | |
Defined in Language.Haskell.TH.Syntax Methods compare :: Specificity -> Specificity -> Ordering # (<) :: Specificity -> Specificity -> Bool # (<=) :: Specificity -> Specificity -> Bool # (>) :: Specificity -> Specificity -> Bool # (>=) :: Specificity -> Specificity -> Bool # max :: Specificity -> Specificity -> Specificity # min :: Specificity -> Specificity -> Specificity # | |
| Ord Stmt | |
| Ord TyLit | |
| Ord TySynEqn | |
Defined in Language.Haskell.TH.Syntax | |
| Ord Type | |
| Ord TypeFamilyHead | |
Defined in Language.Haskell.TH.Syntax Methods compare :: TypeFamilyHead -> TypeFamilyHead -> Ordering # (<) :: TypeFamilyHead -> TypeFamilyHead -> Bool # (<=) :: TypeFamilyHead -> TypeFamilyHead -> Bool # (>) :: TypeFamilyHead -> TypeFamilyHead -> Bool # (>=) :: TypeFamilyHead -> TypeFamilyHead -> Bool # max :: TypeFamilyHead -> TypeFamilyHead -> TypeFamilyHead # min :: TypeFamilyHead -> TypeFamilyHead -> TypeFamilyHead # | |
| Ord I8 | |
| Ord Builder | |
Defined in Data.Text.Internal.Builder | |
| Ord B | |
| Ord ShortText | |
| Ord Day | |
| Ord Month | |
| Ord Quarter | |
Defined in Data.Time.Calendar.Quarter | |
| Ord QuarterOfYear | |
Defined in Data.Time.Calendar.Quarter Methods compare :: QuarterOfYear -> QuarterOfYear -> Ordering # (<) :: QuarterOfYear -> QuarterOfYear -> Bool # (<=) :: QuarterOfYear -> QuarterOfYear -> Bool # (>) :: QuarterOfYear -> QuarterOfYear -> Bool # (>=) :: QuarterOfYear -> QuarterOfYear -> Bool # max :: QuarterOfYear -> QuarterOfYear -> QuarterOfYear # min :: QuarterOfYear -> QuarterOfYear -> QuarterOfYear # | |
| Ord DiffTime | |
Defined in Data.Time.Clock.Internal.DiffTime | |
| Ord NominalDiffTime | |
Defined in Data.Time.Clock.Internal.NominalDiffTime Methods compare :: NominalDiffTime -> NominalDiffTime -> Ordering # (<) :: NominalDiffTime -> NominalDiffTime -> Bool # (<=) :: NominalDiffTime -> NominalDiffTime -> Bool # (>) :: NominalDiffTime -> NominalDiffTime -> Bool # (>=) :: NominalDiffTime -> NominalDiffTime -> Bool # max :: NominalDiffTime -> NominalDiffTime -> NominalDiffTime # min :: NominalDiffTime -> NominalDiffTime -> NominalDiffTime # | |
| Ord UTCTime | |
Defined in Data.Time.Clock.Internal.UTCTime | |
| Ord LocalTime | |
Defined in Data.Time.LocalTime.Internal.LocalTime | |
| Ord ℙ Source # | |
| Ord Nat Source # | |
| Ord ℝ Source # | |
| Ord ℝᴾ Source # | |
| Ord 𝔻ᴾ Source # | |
| Ord Frame Source # | |
| Ord FrameCol Source # | |
Defined in UVMHS.Lib.Dataframe | |
| Ord FrameData Source # | |
| Ord FrameType Source # | |
| Ord FrameVal Source # | |
Defined in UVMHS.Lib.Dataframe | |
| Ord LogDepth Source # | |
Defined in UVMHS.Lib.Logging | |
| Ord LogLevel Source # | |
Defined in UVMHS.Lib.Logging | |
| Ord LogOptions Source # | |
Defined in UVMHS.Lib.Logging Methods compare :: LogOptions -> LogOptions -> Ordering # (<) :: LogOptions -> LogOptions -> Bool # (<=) :: LogOptions -> LogOptions -> Bool # (>) :: LogOptions -> LogOptions -> Bool # (>=) :: LogOptions -> LogOptions -> Bool # max :: LogOptions -> LogOptions -> LogOptions # min :: LogOptions -> LogOptions -> LogOptions # | |
| Ord MMSP Source # | |
| Ord MMSPAtom Source # | |
Defined in UVMHS.Lib.MMSP | |
| Ord MMSPMaxs Source # | |
Defined in UVMHS.Lib.MMSP | |
| Ord MMSPMins Source # | |
Defined in UVMHS.Lib.MMSP | |
| Ord MMSPProds Source # | |
| Ord MMSPSums Source # | |
Defined in UVMHS.Lib.MMSP | |
| Ord Loc Source # | |
| Ord LocRange Source # | |
Defined in UVMHS.Lib.Parser.Loc | |
| Ord SrcCxt Source # | |
| Ord ParserErrorStackTraces Source # | |
Defined in UVMHS.Lib.Parser.ParserError Methods compare :: ParserErrorStackTraces -> ParserErrorStackTraces -> Ordering # (<) :: ParserErrorStackTraces -> ParserErrorStackTraces -> Bool # (<=) :: ParserErrorStackTraces -> ParserErrorStackTraces -> Bool # (>) :: ParserErrorStackTraces -> ParserErrorStackTraces -> Bool # (>=) :: ParserErrorStackTraces -> ParserErrorStackTraces -> Bool # max :: ParserErrorStackTraces -> ParserErrorStackTraces -> ParserErrorStackTraces # min :: ParserErrorStackTraces -> ParserErrorStackTraces -> ParserErrorStackTraces # | |
| Ord CharClass Source # | |
| Ord LexerBasicSyntax Source # | |
Defined in UVMHS.Lib.Parser.Regex Methods compare :: LexerBasicSyntax -> LexerBasicSyntax -> Ordering # (<) :: LexerBasicSyntax -> LexerBasicSyntax -> Bool # (<=) :: LexerBasicSyntax -> LexerBasicSyntax -> Bool # (>) :: LexerBasicSyntax -> LexerBasicSyntax -> Bool # (>=) :: LexerBasicSyntax -> LexerBasicSyntax -> Bool # max :: LexerBasicSyntax -> LexerBasicSyntax -> LexerBasicSyntax # min :: LexerBasicSyntax -> LexerBasicSyntax -> LexerBasicSyntax # | |
| Ord LexerWSBasicSyntax Source # | |
Defined in UVMHS.Lib.Parser.Regex Methods compare :: LexerWSBasicSyntax -> LexerWSBasicSyntax -> Ordering # (<) :: LexerWSBasicSyntax -> LexerWSBasicSyntax -> Bool # (<=) :: LexerWSBasicSyntax -> LexerWSBasicSyntax -> Bool # (>) :: LexerWSBasicSyntax -> LexerWSBasicSyntax -> Bool # (>=) :: LexerWSBasicSyntax -> LexerWSBasicSyntax -> Bool # max :: LexerWSBasicSyntax -> LexerWSBasicSyntax -> LexerWSBasicSyntax # min :: LexerWSBasicSyntax -> LexerWSBasicSyntax -> LexerWSBasicSyntax # | |
| Ord TokenBasic Source # | |
Defined in UVMHS.Lib.Parser.Regex Methods compare :: TokenBasic -> TokenBasic -> Ordering # (<) :: TokenBasic -> TokenBasic -> Bool # (<=) :: TokenBasic -> TokenBasic -> Bool # (>) :: TokenBasic -> TokenBasic -> Bool # (>=) :: TokenBasic -> TokenBasic -> Bool # max :: TokenBasic -> TokenBasic -> TokenBasic # min :: TokenBasic -> TokenBasic -> TokenBasic # | |
| Ord TokenClassBasic Source # | |
Defined in UVMHS.Lib.Parser.Regex Methods compare :: TokenClassBasic -> TokenClassBasic -> Ordering # (<) :: TokenClassBasic -> TokenClassBasic -> Bool # (<=) :: TokenClassBasic -> TokenClassBasic -> Bool # (>) :: TokenClassBasic -> TokenClassBasic -> Bool # (>=) :: TokenClassBasic -> TokenClassBasic -> Bool # max :: TokenClassBasic -> TokenClassBasic -> TokenClassBasic # min :: TokenClassBasic -> TokenClassBasic -> TokenClassBasic # | |
| Ord TokenClassWSBasic Source # | |
Defined in UVMHS.Lib.Parser.Regex Methods compare :: TokenClassWSBasic -> TokenClassWSBasic -> Ordering # (<) :: TokenClassWSBasic -> TokenClassWSBasic -> Bool # (<=) :: TokenClassWSBasic -> TokenClassWSBasic -> Bool # (>) :: TokenClassWSBasic -> TokenClassWSBasic -> Bool # (>=) :: TokenClassWSBasic -> TokenClassWSBasic -> Bool # max :: TokenClassWSBasic -> TokenClassWSBasic -> TokenClassWSBasic # min :: TokenClassWSBasic -> TokenClassWSBasic -> TokenClassWSBasic # | |
| Ord TokenWSBasic Source # | |
Defined in UVMHS.Lib.Parser.Regex Methods compare :: TokenWSBasic -> TokenWSBasic -> Ordering # (<) :: TokenWSBasic -> TokenWSBasic -> Bool # (<=) :: TokenWSBasic -> TokenWSBasic -> Bool # (>) :: TokenWSBasic -> TokenWSBasic -> Bool # (>=) :: TokenWSBasic -> TokenWSBasic -> Bool # max :: TokenWSBasic -> TokenWSBasic -> TokenWSBasic # min :: TokenWSBasic -> TokenWSBasic -> TokenWSBasic # | |
| Ord Annotation Source # | |
Defined in UVMHS.Lib.Pretty.Annotation Methods compare :: Annotation -> Annotation -> Ordering # (<) :: Annotation -> Annotation -> Bool # (<=) :: Annotation -> Annotation -> Bool # (>) :: Annotation -> Annotation -> Bool # (>=) :: Annotation -> Annotation -> Bool # max :: Annotation -> Annotation -> Annotation # min :: Annotation -> Annotation -> Annotation # | |
| Ord Format Source # | |
| Ord Formats Source # | |
Defined in UVMHS.Lib.Pretty.Annotation | |
| Ord Color Source # | |
| Ord Color3Bit Source # | |
| Ord ChunkI Source # | |
| Ord ChunkO Source # | |
| Ord Doc Source # | |
| Ord DocEnv Source # | |
| Ord PrettyParams Source # | |
Defined in UVMHS.Lib.Pretty.Doc Methods compare :: PrettyParams -> PrettyParams -> Ordering # (<) :: PrettyParams -> PrettyParams -> Bool # (<=) :: PrettyParams -> PrettyParams -> Bool # (>) :: PrettyParams -> PrettyParams -> Bool # (>=) :: PrettyParams -> PrettyParams -> Bool # max :: PrettyParams -> PrettyParams -> PrettyParams # min :: PrettyParams -> PrettyParams -> PrettyParams # | |
| Ord DocAEnv Source # | |
Defined in UVMHS.Lib.Pretty.DocA | |
| Ord DocAState Source # | |
| Ord ANSIEnv Source # | |
Defined in UVMHS.Lib.Pretty.RenderANSI | |
| Ord Shape Source # | |
| Ord ShapeA Source # | |
| Ord ShapeM Source # | |
| Ord Name Source # | |
| Ord SGName Source # | |
| Ord SName Source # | |
| Ord RebindAction Source # | |
Defined in UVMHS.Lib.Substitution.Substy Methods compare :: RebindAction -> RebindAction -> Ordering # (<) :: RebindAction -> RebindAction -> Bool # (<=) :: RebindAction -> RebindAction -> Bool # (>) :: RebindAction -> RebindAction -> Bool # (>=) :: RebindAction -> RebindAction -> Bool # max :: RebindAction -> RebindAction -> RebindAction # min :: RebindAction -> RebindAction -> RebindAction # | |
| Ord DVar Source # | |
| Ord DVarInf Source # | |
Defined in UVMHS.Lib.Substitution.Var | |
| Ord GVar Source # | |
| Ord NVar Source # | |
| Ord NVarInf Source # | |
Defined in UVMHS.Lib.Substitution.Var | |
| Ord SVar Source # | |
| Ord Var Source # | |
| Ord VarInf Source # | |
| Ord FuzzParams Source # | |
Defined in UVMHS.Lib.Testing Methods compare :: FuzzParams -> FuzzParams -> Ordering # (<) :: FuzzParams -> FuzzParams -> Bool # (<=) :: FuzzParams -> FuzzParams -> Bool # (>) :: FuzzParams -> FuzzParams -> Bool # (>=) :: FuzzParams -> FuzzParams -> Bool # max :: FuzzParams -> FuzzParams -> FuzzParams # min :: FuzzParams -> FuzzParams -> FuzzParams # | |
| Ord Integer | |
| Ord Natural | |
| Ord () | |
| Ord Bool | |
| Ord Char | |
| Ord Double | IEEE 754 IEEE 754-2008, section 5.11 requires that if at least one of arguments of
IEEE 754-2008, section 5.10 defines Thus, users must be extremely cautious when using Moving further, the behaviour of IEEE 754-2008 compliant |
| Ord Float | See |
| Ord Int | |
| Ord Word | |
| Ord a => Ord (Only a) | |
| Ord a => Ord (Blind a) | |
Defined in Test.QuickCheck.Modifiers | |
| Ord a => Ord (Fixed a) | |
Defined in Test.QuickCheck.Modifiers | |
| Ord a => Ord (Large a) | |
Defined in Test.QuickCheck.Modifiers | |
| Ord a => Ord (Negative a) | |
Defined in Test.QuickCheck.Modifiers | |
| Ord a => Ord (NonEmptyList a) | |
Defined in Test.QuickCheck.Modifiers Methods compare :: NonEmptyList a -> NonEmptyList a -> Ordering # (<) :: NonEmptyList a -> NonEmptyList a -> Bool # (<=) :: NonEmptyList a -> NonEmptyList a -> Bool # (>) :: NonEmptyList a -> NonEmptyList a -> Bool # (>=) :: NonEmptyList a -> NonEmptyList a -> Bool # max :: NonEmptyList a -> NonEmptyList a -> NonEmptyList a # min :: NonEmptyList a -> NonEmptyList a -> NonEmptyList a # | |
| Ord a => Ord (NonNegative a) | |
Defined in Test.QuickCheck.Modifiers Methods compare :: NonNegative a -> NonNegative a -> Ordering # (<) :: NonNegative a -> NonNegative a -> Bool # (<=) :: NonNegative a -> NonNegative a -> Bool # (>) :: NonNegative a -> NonNegative a -> Bool # (>=) :: NonNegative a -> NonNegative a -> Bool # max :: NonNegative a -> NonNegative a -> NonNegative a # min :: NonNegative a -> NonNegative a -> NonNegative a # | |
| Ord a => Ord (NonPositive a) | |
Defined in Test.QuickCheck.Modifiers Methods compare :: NonPositive a -> NonPositive a -> Ordering # (<) :: NonPositive a -> NonPositive a -> Bool # (<=) :: NonPositive a -> NonPositive a -> Bool # (>) :: NonPositive a -> NonPositive a -> Bool # (>=) :: NonPositive a -> NonPositive a -> Bool # max :: NonPositive a -> NonPositive a -> NonPositive a # min :: NonPositive a -> NonPositive a -> NonPositive a # | |
| Ord a => Ord (NonZero a) | |
| Ord a => Ord (OrderedList a) | |
Defined in Test.QuickCheck.Modifiers Methods compare :: OrderedList a -> OrderedList a -> Ordering # (<) :: OrderedList a -> OrderedList a -> Bool # (<=) :: OrderedList a -> OrderedList a -> Bool # (>) :: OrderedList a -> OrderedList a -> Bool # (>=) :: OrderedList a -> OrderedList a -> Bool # max :: OrderedList a -> OrderedList a -> OrderedList a # min :: OrderedList a -> OrderedList a -> OrderedList a # | |
| Ord a => Ord (Positive a) | |
Defined in Test.QuickCheck.Modifiers | |
| Ord a => Ord (Shrink2 a) | |
| Ord a => Ord (Small a) | |
Defined in Test.QuickCheck.Modifiers | |
| Ord a => Ord (SortedList a) | |
Defined in Test.QuickCheck.Modifiers Methods compare :: SortedList a -> SortedList a -> Ordering # (<) :: SortedList a -> SortedList a -> Bool # (<=) :: SortedList a -> SortedList a -> Bool # (>) :: SortedList a -> SortedList a -> Bool # (>=) :: SortedList a -> SortedList a -> Bool # max :: SortedList a -> SortedList a -> SortedList a # min :: SortedList a -> SortedList a -> SortedList a # | |
| Ord a => Ord (ZipList a) | Since: base-4.7.0.0 |
| Ord a => Ord (Identity a) | Since: base-4.8.0.0 |
Defined in Data.Functor.Identity | |
| Ord a => Ord (First a) | Since: base-2.1 |
| Ord a => Ord (Last a) | Since: base-2.1 |
| Ord a => Ord (Down a) | Since: base-4.6.0.0 |
| Ord a => Ord (First a) | Since: base-4.9.0.0 |
| Ord a => Ord (Last a) | Since: base-4.9.0.0 |
| Ord a => Ord (Max a) | Since: base-4.9.0.0 |
| Ord a => Ord (Min a) | Since: base-4.9.0.0 |
| Ord m => Ord (WrappedMonoid m) | Since: base-4.9.0.0 |
Defined in Data.Semigroup Methods compare :: WrappedMonoid m -> WrappedMonoid m -> Ordering # (<) :: WrappedMonoid m -> WrappedMonoid m -> Bool # (<=) :: WrappedMonoid m -> WrappedMonoid m -> Bool # (>) :: WrappedMonoid m -> WrappedMonoid m -> Bool # (>=) :: WrappedMonoid m -> WrappedMonoid m -> Bool # max :: WrappedMonoid m -> WrappedMonoid m -> WrappedMonoid m # min :: WrappedMonoid m -> WrappedMonoid m -> WrappedMonoid m # | |
| Ord a => Ord (Dual a) | Since: base-2.1 |
| Ord a => Ord (Product a) | Since: base-2.1 |
| Ord a => Ord (Sum a) | Since: base-2.1 |
| Ord (ConstPtr a) | |
| Ord a => Ord (NonEmpty a) | Since: base-4.9.0.0 |
| Ord (ForeignPtr a) | Since: base-2.1 |
Defined in GHC.ForeignPtr Methods compare :: ForeignPtr a -> ForeignPtr a -> Ordering # (<) :: ForeignPtr a -> ForeignPtr a -> Bool # (<=) :: ForeignPtr a -> ForeignPtr a -> Bool # (>) :: ForeignPtr a -> ForeignPtr a -> Bool # (>=) :: ForeignPtr a -> ForeignPtr a -> Bool # max :: ForeignPtr a -> ForeignPtr a -> ForeignPtr a # min :: ForeignPtr a -> ForeignPtr a -> ForeignPtr a # | |
| Ord p => Ord (Par1 p) | Since: base-4.7.0.0 |
| Ord (FunPtr a) | |
Defined in GHC.Ptr | |
| Ord (Ptr a) | Since: base-2.1 |
| Integral a => Ord (Ratio a) | Since: base-2.0.1 |
| Ord (SChar c) | Since: base-4.19.0.0 |
| Ord (SSymbol s) | Since: base-4.19.0.0 |
| Ord (SNat n) | Since: base-4.19.0.0 |
| Ord a => Ord (IntMap a) | |
Defined in Data.IntMap.Internal | |
| Ord a => Ord (Seq a) | |
| Ord a => Ord (ViewL a) | |
Defined in Data.Sequence.Internal | |
| Ord a => Ord (ViewR a) | |
Defined in Data.Sequence.Internal | |
| Ord a => Ord (Intersection a) | |
Defined in Data.Set.Internal Methods compare :: Intersection a -> Intersection a -> Ordering # (<) :: Intersection a -> Intersection a -> Bool # (<=) :: Intersection a -> Intersection a -> Bool # (>) :: Intersection a -> Intersection a -> Bool # (>=) :: Intersection a -> Intersection a -> Bool # max :: Intersection a -> Intersection a -> Intersection a # min :: Intersection a -> Intersection a -> Intersection a # | |
| Ord a => Ord (Set a) | |
| Ord a => Ord (Tree a) | Since: containers-0.6.5 |
| Ord a => Ord (Hashed a) | |
Defined in Data.Hashable.Class | |
| Ord a => Ord (Array a) | Lexicographic ordering. Subject to change between major versions. |
Defined in Data.Primitive.Array | |
| (Ord a, Prim a) => Ord (PrimArray a) | Lexicographic ordering. Subject to change between major versions. Since: primitive-0.6.4.0 |
Defined in Data.Primitive.PrimArray | |
| Ord a => Ord (SmallArray a) | Lexicographic ordering. Subject to change between major versions. |
Defined in Data.Primitive.SmallArray Methods compare :: SmallArray a -> SmallArray a -> Ordering # (<) :: SmallArray a -> SmallArray a -> Bool # (<=) :: SmallArray a -> SmallArray a -> Bool # (>) :: SmallArray a -> SmallArray a -> Bool # (>=) :: SmallArray a -> SmallArray a -> Bool # max :: SmallArray a -> SmallArray a -> SmallArray a # min :: SmallArray a -> SmallArray a -> SmallArray a # | |
| Ord g => Ord (StateGen g) | |
Defined in System.Random.Internal | |
| Ord g => Ord (AtomicGen g) | |
Defined in System.Random.Stateful | |
| Ord g => Ord (IOGen g) | |
Defined in System.Random.Stateful | |
| Ord g => Ord (STGen g) | |
Defined in System.Random.Stateful | |
| Ord g => Ord (TGen g) | |
| Ord flag => Ord (TyVarBndr flag) | |
Defined in Language.Haskell.TH.Syntax Methods compare :: TyVarBndr flag -> TyVarBndr flag -> Ordering # (<) :: TyVarBndr flag -> TyVarBndr flag -> Bool # (<=) :: TyVarBndr flag -> TyVarBndr flag -> Bool # (>) :: TyVarBndr flag -> TyVarBndr flag -> Bool # (>=) :: TyVarBndr flag -> TyVarBndr flag -> Bool # | |
| Ord a => Ord (Stream a) | |
Defined in Data.Text.Internal.Fusion.Types | |
| Ord a => Ord (HashSet a) | |
| Ord e => Ord (ESet (StdESD e)) Source # | |
Defined in UVMHS.Core.Data.Dict Methods compare :: ESet (StdESD e) -> ESet (StdESD e) -> Ordering # (<) :: ESet (StdESD e) -> ESet (StdESD e) -> Bool # (<=) :: ESet (StdESD e) -> ESet (StdESD e) -> Bool # (>) :: ESet (StdESD e) -> ESet (StdESD e) -> Bool # (>=) :: ESet (StdESD e) -> ESet (StdESD e) -> Bool # max :: ESet (StdESD e) -> ESet (StdESD e) -> ESet (StdESD e) # min :: ESet (StdESD e) -> ESet (StdESD e) -> ESet (StdESD e) # | |
| Ord a => Ord (Elem (StdESD a)) Source # | |
Defined in UVMHS.Core.Data.Dict Methods compare :: Elem (StdESD a) -> Elem (StdESD a) -> Ordering # (<) :: Elem (StdESD a) -> Elem (StdESD a) -> Bool # (<=) :: Elem (StdESD a) -> Elem (StdESD a) -> Bool # (>) :: Elem (StdESD a) -> Elem (StdESD a) -> Bool # (>=) :: Elem (StdESD a) -> Elem (StdESD a) -> Bool # max :: Elem (StdESD a) -> Elem (StdESD a) -> Elem (StdESD a) # min :: Elem (StdESD a) -> Elem (StdESD a) -> Elem (StdESD a) # | |
| Ord (W c) Source # | |
| Ord a => Ord (𝐼 a) Source # | |
| Ord a => Ord (𝐿 a) Source # | |
| Ord a => Ord (𝑂 a) Source # | |
| Ord a => Ord (𝑃 a) Source # | |
| Ord a => Ord (𝑄 a) Source # | |
| Ord a => Ord (𝑆 a) Source # | |
| Ord a => Ord (AddBT a) Source # | |
| Ord a => Ord (AddBot a) Source # | |
Defined in UVMHS.Core.Pointed | |
| Ord a => Ord (AddNull a) Source # | |
| Ord a => Ord (AddTop a) Source # | |
Defined in UVMHS.Core.Pointed | |
| Ord a => Ord (ZOM a) Source # | |
| (Storable a, Ord a) => Ord (𝕌 a) Source # | |
| Ord a => Ord (𝕍 a) Source # | |
| Ord a => Ord (𝑉 a) Source # | |
| Ord (ULCExp 𝒸) Source # | |
Defined in UVMHS.Lang.ULC | |
| Ord (ULCExp_R 𝒸) Source # | |
| Ord a => Ord (ADF a) Source # | |
| Ord v => Ord (FrameGrouping v) Source # | |
Defined in UVMHS.Lib.Dataframe Methods compare :: FrameGrouping v -> FrameGrouping v -> Ordering # (<) :: FrameGrouping v -> FrameGrouping v -> Bool # (<=) :: FrameGrouping v -> FrameGrouping v -> Bool # (>) :: FrameGrouping v -> FrameGrouping v -> Bool # (>=) :: FrameGrouping v -> FrameGrouping v -> Bool # max :: FrameGrouping v -> FrameGrouping v -> FrameGrouping v # min :: FrameGrouping v -> FrameGrouping v -> FrameGrouping v # | |
| Ord e => Ord (ParseSubstAction e) Source # | |
Defined in UVMHS.Lib.Substitution.Substy Methods compare :: ParseSubstAction e -> ParseSubstAction e -> Ordering # (<) :: ParseSubstAction e -> ParseSubstAction e -> Bool # (<=) :: ParseSubstAction e -> ParseSubstAction e -> Bool # (>) :: ParseSubstAction e -> ParseSubstAction e -> Bool # (>=) :: ParseSubstAction e -> ParseSubstAction e -> Bool # max :: ParseSubstAction e -> ParseSubstAction e -> ParseSubstAction e # min :: ParseSubstAction e -> ParseSubstAction e -> ParseSubstAction e # | |
| Ord a => Ord (AddInf a) Source # | |
Defined in UVMHS.Lib.ZerInf | |
| Ord a => Ord (AddZI a) Source # | |
| Ord a => Ord (AddZer a) Source # | |
Defined in UVMHS.Lib.ZerInf | |
| Ord a => Ord (Vector a) | |
Defined in Data.Vector | |
| (Prim a, Ord a) => Ord (Vector a) | |
Defined in Data.Vector.Primitive | |
| (Storable a, Ord a) => Ord (Vector a) | |
Defined in Data.Vector.Storable | |
| Ord a => Ord (Vector a) | |
Defined in Data.Vector.Strict | |
| Ord a => Ord (Maybe a) | Since: base-2.1 |
| Ord a => Ord (Solo a) | |
| Ord a => Ord [a] | |
| (Ord a, Ord b) => Ord (Either a b) | Since: base-2.1 |
| Ord (Fixed a) | Since: base-2.1 |
| Ord (Proxy s) | Since: base-4.7.0.0 |
| Ord a => Ord (Arg a b) | Since: base-4.9.0.0 |
| Ord (TypeRep a) | Since: base-4.4.0.0 |
| (Ix i, Ord e) => Ord (Array i e) | Since: base-2.1 |
| Ord (U1 p) | Since: base-4.7.0.0 |
| Ord (V1 p) | Since: base-4.9.0.0 |
| (Ord k, Ord v) => Ord (Map k v) | |
| (Ord1 m, Ord a) => Ord (MaybeT m a) | |
Defined in Control.Monad.Trans.Maybe | |
| (Ord k, Ord v) => Ord (HashMap k v) | The ordering is total and consistent with the |
Defined in Data.HashMap.Internal | |
| (Ord k, Ord a) => Ord (EDct (StdESD k) a) Source # | |
Defined in UVMHS.Core.Data.Dict Methods compare :: EDct (StdESD k) a -> EDct (StdESD k) a -> Ordering # (<) :: EDct (StdESD k) a -> EDct (StdESD k) a -> Bool # (<=) :: EDct (StdESD k) a -> EDct (StdESD k) a -> Bool # (>) :: EDct (StdESD k) a -> EDct (StdESD k) a -> Bool # (>=) :: EDct (StdESD k) a -> EDct (StdESD k) a -> Bool # max :: EDct (StdESD k) a -> EDct (StdESD k) a -> EDct (StdESD k) a # min :: EDct (StdESD k) a -> EDct (StdESD k) a -> EDct (StdESD k) a # | |
| Ord (P a) Source # | |
| (Ord k, Ord v) => Ord (k ⇰ v) Source # | |
| (Ord a, Ord b) => Ord (a ∧ b) Source # | |
| (Ord a, Ord b) => Ord (a ∨ b) Source # | |
| Ord a => Ord (𝐴 t a) Source # | |
| (Ord o, Ord u) => Ord (RegexInfo o u) Source # | |
Defined in UVMHS.Lib.Parser.Regex Methods compare :: RegexInfo o u -> RegexInfo o u -> Ordering # (<) :: RegexInfo o u -> RegexInfo o u -> Bool # (<=) :: RegexInfo o u -> RegexInfo o u -> Bool # (>) :: RegexInfo o u -> RegexInfo o u -> Bool # (>=) :: RegexInfo o u -> RegexInfo o u -> Bool # | |
| (Ord o, Ord u) => Ord (RegexResult o u) Source # | |
Defined in UVMHS.Lib.Parser.Regex Methods compare :: RegexResult o u -> RegexResult o u -> Ordering # (<) :: RegexResult o u -> RegexResult o u -> Bool # (<=) :: RegexResult o u -> RegexResult o u -> Bool # (>) :: RegexResult o u -> RegexResult o u -> Bool # (>=) :: RegexResult o u -> RegexResult o u -> Bool # max :: RegexResult o u -> RegexResult o u -> RegexResult o u # min :: RegexResult o u -> RegexResult o u -> RegexResult o u # | |
| (Ord s, Ord e) => Ord (MetaSubst s e) Source # | |
Defined in UVMHS.Lib.Substitution.Subst Methods compare :: MetaSubst s e -> MetaSubst s e -> Ordering # (<) :: MetaSubst s e -> MetaSubst s e -> Bool # (<=) :: MetaSubst s e -> MetaSubst s e -> Bool # (>) :: MetaSubst s e -> MetaSubst s e -> Bool # (>=) :: MetaSubst s e -> MetaSubst s e -> Bool # | |
| (Ord s, Ord e) => Ord (Subst s e) Source # | |
| (Ord s, Ord e) => Ord (SSubstElem s e) Source # | |
Defined in UVMHS.Lib.Substitution.SubstElem Methods compare :: SSubstElem s e -> SSubstElem s e -> Ordering # (<) :: SSubstElem s e -> SSubstElem s e -> Bool # (<=) :: SSubstElem s e -> SSubstElem s e -> Bool # (>) :: SSubstElem s e -> SSubstElem s e -> Bool # (>=) :: SSubstElem s e -> SSubstElem s e -> Bool # max :: SSubstElem s e -> SSubstElem s e -> SSubstElem s e # min :: SSubstElem s e -> SSubstElem s e -> SSubstElem s e # | |
| (Ord s, Ord e) => Ord (SubstElem s e) Source # | |
Defined in UVMHS.Lib.Substitution.SubstElem Methods compare :: SubstElem s e -> SubstElem s e -> Ordering # (<) :: SubstElem s e -> SubstElem s e -> Bool # (<=) :: SubstElem s e -> SubstElem s e -> Bool # (>) :: SubstElem s e -> SubstElem s e -> Bool # (>=) :: SubstElem s e -> SubstElem s e -> Bool # | |
| (Ord s, Ord e) => Ord (SubstScoped s e) Source # | |
Defined in UVMHS.Lib.Substitution.SubstScoped Methods compare :: SubstScoped s e -> SubstScoped s e -> Ordering # (<) :: SubstScoped s e -> SubstScoped s e -> Bool # (<=) :: SubstScoped s e -> SubstScoped s e -> Bool # (>) :: SubstScoped s e -> SubstScoped s e -> Bool # (>=) :: SubstScoped s e -> SubstScoped s e -> Bool # max :: SubstScoped s e -> SubstScoped s e -> SubstScoped s e # min :: SubstScoped s e -> SubstScoped s e -> SubstScoped s e # | |
| (Ord s, Ord e) => Ord (SubstAction s e) Source # | |
Defined in UVMHS.Lib.Substitution.Substy Methods compare :: SubstAction s e -> SubstAction s e -> Ordering # (<) :: SubstAction s e -> SubstAction s e -> Bool # (<=) :: SubstAction s e -> SubstAction s e -> Bool # (>) :: SubstAction s e -> SubstAction s e -> Bool # (>=) :: SubstAction s e -> SubstAction s e -> Bool # max :: SubstAction s e -> SubstAction s e -> SubstAction s e # min :: SubstAction s e -> SubstAction s e -> SubstAction s e # | |
| (Ord s, Ord e) => Ord (MVar s e) Source # | |
Defined in UVMHS.Lib.Substitution.UVar | |
| (Ord s, Ord e) => Ord (UVar s e) Source # | |
Defined in UVMHS.Lib.Substitution.UVar | |
| (Ord i, Ord a) => Ord (WindowL i a) Source # | |
Defined in UVMHS.Lib.Window | |
| (Ord i, Ord a) => Ord (WindowR i a) Source # | |
Defined in UVMHS.Lib.Window | |
| (Ord a, Ord b) => Ord (a, b) | |
| Ord a => Ord (() -> a) Source # | |
Defined in UVMHS.Core.Data.Function | |
| Ord a => Ord (Const a b) | Since: base-4.9.0.0 |
| Ord (f a) => Ord (Ap f a) | Since: base-4.12.0.0 |
| Ord (f a) => Ord (Alt f a) | Since: base-4.8.0.0 |
Defined in Data.Semigroup.Internal | |
| Ord (Coercion a b) | Since: base-4.7.0.0 |
Defined in Data.Type.Coercion | |
| Ord (a :~: b) | Since: base-4.7.0.0 |
Defined in Data.Type.Equality | |
| (Generic1 f, Ord (Rep1 f a)) => Ord (Generically1 f a) | Since: base-4.18.0.0 |
Defined in GHC.Generics Methods compare :: Generically1 f a -> Generically1 f a -> Ordering # (<) :: Generically1 f a -> Generically1 f a -> Bool # (<=) :: Generically1 f a -> Generically1 f a -> Bool # (>) :: Generically1 f a -> Generically1 f a -> Bool # (>=) :: Generically1 f a -> Generically1 f a -> Bool # max :: Generically1 f a -> Generically1 f a -> Generically1 f a # min :: Generically1 f a -> Generically1 f a -> Generically1 f a # | |
| Ord (f p) => Ord (Rec1 f p) | Since: base-4.7.0.0 |
Defined in GHC.Generics | |
| Ord (URec (Ptr ()) p) | Since: base-4.9.0.0 |
Defined in GHC.Generics Methods compare :: URec (Ptr ()) p -> URec (Ptr ()) p -> Ordering # (<) :: URec (Ptr ()) p -> URec (Ptr ()) p -> Bool # (<=) :: URec (Ptr ()) p -> URec (Ptr ()) p -> Bool # (>) :: URec (Ptr ()) p -> URec (Ptr ()) p -> Bool # (>=) :: URec (Ptr ()) p -> URec (Ptr ()) p -> Bool # max :: URec (Ptr ()) p -> URec (Ptr ()) p -> URec (Ptr ()) p # min :: URec (Ptr ()) p -> URec (Ptr ()) p -> URec (Ptr ()) p # | |
| Ord (URec Char p) | Since: base-4.9.0.0 |
Defined in GHC.Generics | |
| Ord (URec Double p) | Since: base-4.9.0.0 |
Defined in GHC.Generics Methods compare :: URec Double p -> URec Double p -> Ordering # (<) :: URec Double p -> URec Double p -> Bool # (<=) :: URec Double p -> URec Double p -> Bool # (>) :: URec Double p -> URec Double p -> Bool # (>=) :: URec Double p -> URec Double p -> Bool # | |
| Ord (URec Float p) | |
Defined in GHC.Generics | |
| Ord (URec Int p) | Since: base-4.9.0.0 |
| Ord (URec Word p) | Since: base-4.9.0.0 |
Defined in GHC.Generics | |
| (Ord e, Ord1 m, Ord a) => Ord (ExceptT e m a) | |
Defined in Control.Monad.Trans.Except Methods compare :: ExceptT e m a -> ExceptT e m a -> Ordering # (<) :: ExceptT e m a -> ExceptT e m a -> Bool # (<=) :: ExceptT e m a -> ExceptT e m a -> Bool # (>) :: ExceptT e m a -> ExceptT e m a -> Bool # (>=) :: ExceptT e m a -> ExceptT e m a -> Bool # | |
| (Ord1 f, Ord a) => Ord (IdentityT f a) | |
Defined in Control.Monad.Trans.Identity Methods compare :: IdentityT f a -> IdentityT f a -> Ordering # (<) :: IdentityT f a -> IdentityT f a -> Bool # (<=) :: IdentityT f a -> IdentityT f a -> Bool # (>) :: IdentityT f a -> IdentityT f a -> Bool # (>=) :: IdentityT f a -> IdentityT f a -> Bool # | |
| (Ord w, Ord1 m, Ord a) => Ord (WriterT w m a) | |
Defined in Control.Monad.Trans.Writer.Lazy Methods compare :: WriterT w m a -> WriterT w m a -> Ordering # (<) :: WriterT w m a -> WriterT w m a -> Bool # (<=) :: WriterT w m a -> WriterT w m a -> Bool # (>) :: WriterT w m a -> WriterT w m a -> Bool # (>=) :: WriterT w m a -> WriterT w m a -> Bool # | |
| (Ord w, Ord1 m, Ord a) => Ord (WriterT w m a) | |
Defined in Control.Monad.Trans.Writer.Strict Methods compare :: WriterT w m a -> WriterT w m a -> Ordering # (<) :: WriterT w m a -> WriterT w m a -> Bool # (<=) :: WriterT w m a -> WriterT w m a -> Bool # (>) :: WriterT w m a -> WriterT w m a -> Bool # (>=) :: WriterT w m a -> WriterT w m a -> Bool # | |
| Ord a => Ord (Constant a b) | |
Defined in Data.Functor.Constant | |
| (Storable a, Ord a) => Ord (𝕌S n a) Source # | |
| Ord a => Ord (𝕍S n a) Source # | |
| (Ord sG, Ord sS, Ord e) => Ord (SubstSpaced sG sS e) Source # | |
Defined in UVMHS.Lib.Substitution.SubstSpaced Methods compare :: SubstSpaced sG sS e -> SubstSpaced sG sS e -> Ordering # (<) :: SubstSpaced sG sS e -> SubstSpaced sG sS e -> Bool # (<=) :: SubstSpaced sG sS e -> SubstSpaced sG sS e -> Bool # (>) :: SubstSpaced sG sS e -> SubstSpaced sG sS e -> Bool # (>=) :: SubstSpaced sG sS e -> SubstSpaced sG sS e -> Bool # max :: SubstSpaced sG sS e -> SubstSpaced sG sS e -> SubstSpaced sG sS e # min :: SubstSpaced sG sS e -> SubstSpaced sG sS e -> SubstSpaced sG sS e # | |
| (Ord a, Ord b, Ord c) => Ord (a, b, c) | |
| (Ord (f a), Ord (g a)) => Ord (Product f g a) | Since: base-4.18.0.0 |
Defined in Data.Functor.Product Methods compare :: Product f g a -> Product f g a -> Ordering # (<) :: Product f g a -> Product f g a -> Bool # (<=) :: Product f g a -> Product f g a -> Bool # (>) :: Product f g a -> Product f g a -> Bool # (>=) :: Product f g a -> Product f g a -> Bool # | |
| (Ord (f a), Ord (g a)) => Ord (Sum f g a) | Since: base-4.18.0.0 |
| Ord (a :~~: b) | Since: base-4.10.0.0 |
| (Ord (f p), Ord (g p)) => Ord ((f :*: g) p) | Since: base-4.7.0.0 |
Defined in GHC.Generics | |
| (Ord (f p), Ord (g p)) => Ord ((f :+: g) p) | Since: base-4.7.0.0 |
Defined in GHC.Generics | |
| Ord c => Ord (K1 i c p) | Since: base-4.7.0.0 |
Defined in GHC.Generics | |
| (Ord o, Ord u, Ord t, Ord c) => Ord (Regex c t o u) Source # | |
Defined in UVMHS.Lib.Parser.Regex Methods compare :: Regex c t o u -> Regex c t o u -> Ordering # (<) :: Regex c t o u -> Regex c t o u -> Bool # (<=) :: Regex c t o u -> Regex c t o u -> Bool # (>) :: Regex c t o u -> Regex c t o u -> Bool # (>=) :: Regex c t o u -> Regex c t o u -> Bool # | |
| (Ord o, Ord u, Ord t, Ord c) => Ord (RegexU c t o u) Source # | |
Defined in UVMHS.Lib.Parser.Regex Methods compare :: RegexU c t o u -> RegexU c t o u -> Ordering # (<) :: RegexU c t o u -> RegexU c t o u -> Bool # (<=) :: RegexU c t o u -> RegexU c t o u -> Bool # (>) :: RegexU c t o u -> RegexU c t o u -> Bool # (>=) :: RegexU c t o u -> RegexU c t o u -> Bool # | |
| (Ord a, Ord b, Ord c, Ord d) => Ord (a, b, c, d) | |
Defined in GHC.Classes | |
| Ord (f (g a)) => Ord (Compose f g a) | Since: base-4.18.0.0 |
Defined in Data.Functor.Compose Methods compare :: Compose f g a -> Compose f g a -> Ordering # (<) :: Compose f g a -> Compose f g a -> Bool # (<=) :: Compose f g a -> Compose f g a -> Bool # (>) :: Compose f g a -> Compose f g a -> Bool # (>=) :: Compose f g a -> Compose f g a -> Bool # | |
| Ord (f (g p)) => Ord ((f :.: g) p) | Since: base-4.7.0.0 |
Defined in GHC.Generics | |
| Ord (f p) => Ord (M1 i c f p) | Since: base-4.7.0.0 |
| (Ord a, Ord b, Ord c, Ord d, Ord e) => Ord (a, b, c, d, e) | |
Defined in GHC.Classes Methods compare :: (a, b, c, d, e) -> (a, b, c, d, e) -> Ordering # (<) :: (a, b, c, d, e) -> (a, b, c, d, e) -> Bool # (<=) :: (a, b, c, d, e) -> (a, b, c, d, e) -> Bool # (>) :: (a, b, c, d, e) -> (a, b, c, d, e) -> Bool # (>=) :: (a, b, c, d, e) -> (a, b, c, d, e) -> Bool # max :: (a, b, c, d, e) -> (a, b, c, d, e) -> (a, b, c, d, e) # min :: (a, b, c, d, e) -> (a, b, c, d, e) -> (a, b, c, d, e) # | |
| (Ord t, Ord c) => Ord (RegexAtom c t o u) Source # | |
Defined in UVMHS.Lib.Parser.Regex Methods compare :: RegexAtom c t o u -> RegexAtom c t o u -> Ordering # (<) :: RegexAtom c t o u -> RegexAtom c t o u -> Bool # (<=) :: RegexAtom c t o u -> RegexAtom c t o u -> Bool # (>) :: RegexAtom c t o u -> RegexAtom c t o u -> Bool # (>=) :: RegexAtom c t o u -> RegexAtom c t o u -> Bool # max :: RegexAtom c t o u -> RegexAtom c t o u -> RegexAtom c t o u # min :: RegexAtom c t o u -> RegexAtom c t o u -> RegexAtom c t o u # | |
| (Ord a, Ord b, Ord c, Ord d, Ord e, Ord f) => Ord (a, b, c, d, e, f) | |
Defined in GHC.Classes Methods compare :: (a, b, c, d, e, f) -> (a, b, c, d, e, f) -> Ordering # (<) :: (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 # (>) :: (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 # max :: (a, b, c, d, e, f) -> (a, b, c, d, e, f) -> (a, b, c, d, e, f) # min :: (a, b, c, d, e, f) -> (a, b, c, d, e, f) -> (a, b, c, d, e, f) # | |
| (Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g) => Ord (a, b, c, d, e, f, g) | |
Defined in GHC.Classes Methods compare :: (a, b, c, d, e, f, g) -> (a, b, c, d, e, f, g) -> Ordering # (<) :: (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 # (>) :: (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 # max :: (a, b, c, d, e, f, g) -> (a, b, c, d, e, f, g) -> (a, b, c, d, e, f, g) # min :: (a, b, c, d, e, f, g) -> (a, b, c, d, e, f, g) -> (a, b, c, d, e, f, g) # | |
| (Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g, Ord h) => Ord (a, b, c, d, e, f, g, h) | |
Defined in GHC.Classes Methods compare :: (a, b, c, d, e, f, g, h) -> (a, b, c, d, e, f, g, h) -> Ordering # (<) :: (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 # (>) :: (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 # max :: (a, b, c, d, e, f, g, h) -> (a, b, c, d, e, f, g, h) -> (a, b, c, d, e, f, g, h) # min :: (a, b, c, d, e, f, g, h) -> (a, b, c, d, e, f, g, h) -> (a, b, c, d, e, f, g, h) # | |
| (Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g, Ord h, Ord i) => Ord (a, b, c, d, e, f, g, h, i) | |
Defined in GHC.Classes Methods compare :: (a, b, c, d, e, f, g, h, i) -> (a, b, c, d, e, f, g, h, i) -> Ordering # (<) :: (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 # (>) :: (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 # max :: (a, b, c, d, e, f, g, h, i) -> (a, b, c, d, e, f, g, h, i) -> (a, b, c, d, e, f, g, h, i) # min :: (a, b, c, d, e, f, g, h, i) -> (a, b, c, d, e, f, g, h, i) -> (a, b, c, d, e, f, g, h, i) # | |
| (Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g, Ord h, Ord i, Ord j) => Ord (a, b, c, d, e, f, g, h, i, j) | |
Defined in GHC.Classes Methods compare :: (a, b, c, d, e, f, g, h, i, j) -> (a, b, c, d, e, f, g, h, i, j) -> Ordering # (<) :: (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 # (>) :: (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 # max :: (a, b, c, d, e, f, g, h, i, j) -> (a, b, c, d, e, f, g, h, i, j) -> (a, b, c, d, e, f, g, h, i, j) # min :: (a, b, c, d, e, f, g, h, i, j) -> (a, b, c, d, e, f, g, h, i, j) -> (a, b, c, d, e, f, g, h, i, j) # | |
| (Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g, Ord h, Ord i, Ord j, Ord k) => Ord (a, b, c, d, e, f, g, h, i, j, k) | |
Defined in GHC.Classes Methods compare :: (a, b, c, d, e, f, g, h, i, j, k) -> (a, b, c, d, e, f, g, h, i, j, k) -> Ordering # (<) :: (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 # (>) :: (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 # max :: (a, b, c, d, e, f, g, h, i, j, k) -> (a, b, c, d, e, f, g, h, i, j, k) -> (a, b, c, d, e, f, g, h, i, j, k) # min :: (a, b, c, d, e, f, g, h, i, j, k) -> (a, b, c, d, e, f, g, h, i, j, k) -> (a, b, c, d, e, f, g, h, i, j, k) # | |
| (Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g, Ord h, Ord i, Ord j, Ord k, Ord l) => Ord (a, b, c, d, e, f, g, h, i, j, k, l) | |
Defined in GHC.Classes Methods compare :: (a, b, c, d, e, f, g, h, i, j, k, l) -> (a, b, c, d, e, f, g, h, i, j, k, l) -> Ordering # (<) :: (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 # (>) :: (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 # max :: (a, b, c, d, e, f, g, h, i, j, k, l) -> (a, b, c, d, e, f, g, h, i, j, k, l) -> (a, b, c, d, e, f, g, h, i, j, k, l) # min :: (a, b, c, d, e, f, g, h, i, j, k, l) -> (a, b, c, d, e, f, g, h, i, j, k, l) -> (a, b, c, d, e, f, g, h, i, j, k, l) # | |
| (Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g, Ord h, Ord i, Ord j, Ord k, Ord l, Ord m) => Ord (a, b, c, d, e, f, g, h, i, j, k, l, m) | |
Defined in GHC.Classes Methods compare :: (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) -> Ordering # (<) :: (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 # (>) :: (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 # max :: (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) -> (a, b, c, d, e, f, g, h, i, j, k, l, m) # min :: (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) -> (a, b, c, d, e, f, g, h, i, j, k, l, m) # | |
| (Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g, Ord h, Ord i, Ord j, Ord k, Ord l, Ord m, Ord n) => Ord (a, b, c, d, e, f, g, h, i, j, k, l, m, n) | |
Defined in GHC.Classes Methods compare :: (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) -> Ordering # (<) :: (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 # (>) :: (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 # max :: (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) -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n) # min :: (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) -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n) # | |
| (Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g, Ord h, Ord i, Ord j, Ord k, Ord l, Ord m, Ord n, Ord o) => Ord (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) | |
Defined in GHC.Classes Methods compare :: (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) -> Ordering # (<) :: (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 # (>) :: (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 # max :: (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) -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) # min :: (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) -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) # | |
fromInteger :: Num a => Integer -> a #
Conversion from an Integer.
An integer literal represents the application of the function
fromInteger to the appropriate value of type Integer,
so such literals have type (.Num a) => a
undefined :: HasCallStack => a #
fromString :: IsString a => String -> a #