SDP.Estimate

SDP.Estimate provides Estimate class, type synonyms and some common comparators. This module is exported by SDP.SafePrelude.

Exports

module Data.Functor.Classes

Estimate

class Estimate e where

Estimate class provides the lazy comparsion structures by length.

For some types (e.g., lists), this allows you to speed up the comparison or make it finite. For others (e.g., arrays), it may be convenient abbreviation.

Minimal complete definition

(<.=>), (<==>)

Methods

(<.=>) :: e -> Int -> Ordering infixl 4

Compare structure length with given number.

(<==>) :: Compare e infixl 4

Compare pair of structures by length.

(.==) :: e -> Int -> Bool infixl 4

Compare structure length with given number.

(./=) :: e -> Int -> Bool infixl 4

Compare structure length with given number.

(.<=) :: e -> Int -> Bool infixl 4

Compare structure length with given number.

(.>=) :: e -> Int -> Bool infixl 4

Compare structure length with given number.

(.<) :: e -> Int -> Bool infixl 4

Compare structure length with given number.

(.>) :: e -> Int -> Bool infixl 4

Compare structure length with given number.

(.<.) :: e -> e -> Bool infixl 4

Compare pair of structures by length.

(.>.) :: e -> e -> Bool infixl 4

Compare pair of structures by length.

(.<=.) :: e -> e -> Bool infixl 4

Compare pair of structures by length.

(.>=.) :: e -> e -> Bool infixl 4

Compare pair of structures by length.

(.==.) :: e -> e -> Bool infixl 4

Compare pair of structures by length.

(./=.) :: e -> e -> Bool infixl 4

Compare pair of structures by length.

Instances

Estimate [a]

Defined in SDP.Estimate

Methods

(<.=>) :: [a] -> Int -> Ordering

(<==>) :: Compare [a]

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

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

(.<=) :: [a] -> Int -> Bool

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

(.<) :: [a] -> Int -> Bool

(.>) :: [a] -> Int -> Bool

(.<.) :: [a] -> [a] -> Bool

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

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

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

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

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

Estimate (SBytes# e)

Defined in SDP.Prim.SBytes

Methods

(<.=>) :: SBytes# e -> Int -> Ordering

(<==>) :: Compare (SBytes# e)

(.==) :: SBytes# e -> Int -> Bool

(./=) :: SBytes# e -> Int -> Bool

(.<=) :: SBytes# e -> Int -> Bool

(.>=) :: SBytes# e -> Int -> Bool

(.<) :: SBytes# e -> Int -> Bool

(.>) :: SBytes# e -> Int -> Bool

(.<.) :: SBytes# e -> SBytes# e -> Bool

(.>.) :: SBytes# e -> SBytes# e -> Bool

(.<=.) :: SBytes# e -> SBytes# e -> Bool

(.>=.) :: SBytes# e -> SBytes# e -> Bool

(.==.) :: SBytes# e -> SBytes# e -> Bool

(./=.) :: SBytes# e -> SBytes# e -> Bool

Estimate (SArray# e)

Defined in SDP.Prim.SArray

Methods

(<.=>) :: SArray# e -> Int -> Ordering

(<==>) :: Compare (SArray# e)

(.==) :: SArray# e -> Int -> Bool

(./=) :: SArray# e -> Int -> Bool

(.<=) :: SArray# e -> Int -> Bool

(.>=) :: SArray# e -> Int -> Bool

(.<) :: SArray# e -> Int -> Bool

(.>) :: SArray# e -> Int -> Bool

(.<.) :: SArray# e -> SArray# e -> Bool

(.>.) :: SArray# e -> SArray# e -> Bool

(.<=.) :: SArray# e -> SArray# e -> Bool

(.>=.) :: SArray# e -> SArray# e -> Bool

(.==.) :: SArray# e -> SArray# e -> Bool

(./=.) :: SArray# e -> SArray# e -> Bool

Estimate (TArray# e)

Defined in SDP.Prim.TArray

Methods

(<.=>) :: TArray# e -> Int -> Ordering

(<==>) :: Compare (TArray# e)

(.==) :: TArray# e -> Int -> Bool

(./=) :: TArray# e -> Int -> Bool

(.<=) :: TArray# e -> Int -> Bool

(.>=) :: TArray# e -> Int -> Bool

(.<) :: TArray# e -> Int -> Bool

(.>) :: TArray# e -> Int -> Bool

(.<.) :: TArray# e -> TArray# e -> Bool

(.>.) :: TArray# e -> TArray# e -> Bool

(.<=.) :: TArray# e -> TArray# e -> Bool

(.>=.) :: TArray# e -> TArray# e -> Bool

(.==.) :: TArray# e -> TArray# e -> Bool

(./=.) :: TArray# e -> TArray# e -> Bool

Index i => Estimate (i, i)

Defined in SDP.Index

Methods

(<.=>) :: (i, i) -> Int -> Ordering

(<==>) :: Compare (i, i)

(.==) :: (i, i) -> Int -> Bool

(./=) :: (i, i) -> Int -> Bool

(.<=) :: (i, i) -> Int -> Bool

(.>=) :: (i, i) -> Int -> Bool

(.<) :: (i, i) -> Int -> Bool

(.>) :: (i, i) -> Int -> Bool

(.<.) :: (i, i) -> (i, i) -> Bool

(.>.) :: (i, i) -> (i, i) -> Bool

(.<=.) :: (i, i) -> (i, i) -> Bool

(.>=.) :: (i, i) -> (i, i) -> Bool

(.==.) :: (i, i) -> (i, i) -> Bool

(./=.) :: (i, i) -> (i, i) -> Bool

Estimate (MIOBytes# io e)

Defined in SDP.Prim.SBytes

Methods

(<.=>) :: MIOBytes# io e -> Int -> Ordering

(<==>) :: Compare (MIOBytes# io e)

(.==) :: MIOBytes# io e -> Int -> Bool

(./=) :: MIOBytes# io e -> Int -> Bool

(.<=) :: MIOBytes# io e -> Int -> Bool

(.>=) :: MIOBytes# io e -> Int -> Bool

(.<) :: MIOBytes# io e -> Int -> Bool

(.>) :: MIOBytes# io e -> Int -> Bool

(.<.) :: MIOBytes# io e -> MIOBytes# io e -> Bool

(.>.) :: MIOBytes# io e -> MIOBytes# io e -> Bool

(.<=.) :: MIOBytes# io e -> MIOBytes# io e -> Bool

(.>=.) :: MIOBytes# io e -> MIOBytes# io e -> Bool

(.==.) :: MIOBytes# io e -> MIOBytes# io e -> Bool

(./=.) :: MIOBytes# io e -> MIOBytes# io e -> Bool

Estimate (STBytes# s e)

Defined in SDP.Prim.SBytes

Methods

(<.=>) :: STBytes# s e -> Int -> Ordering

(<==>) :: Compare (STBytes# s e)

(.==) :: STBytes# s e -> Int -> Bool

(./=) :: STBytes# s e -> Int -> Bool

(.<=) :: STBytes# s e -> Int -> Bool

(.>=) :: STBytes# s e -> Int -> Bool

(.<) :: STBytes# s e -> Int -> Bool

(.>) :: STBytes# s e -> Int -> Bool

(.<.) :: STBytes# s e -> STBytes# s e -> Bool

(.>.) :: STBytes# s e -> STBytes# s e -> Bool

(.<=.) :: STBytes# s e -> STBytes# s e -> Bool

(.>=.) :: STBytes# s e -> STBytes# s e -> Bool

(.==.) :: STBytes# s e -> STBytes# s e -> Bool

(./=.) :: STBytes# s e -> STBytes# s e -> Bool

Estimate (MIOArray# io e)

Defined in SDP.Prim.SArray

Methods

(<.=>) :: MIOArray# io e -> Int -> Ordering

(<==>) :: Compare (MIOArray# io e)

(.==) :: MIOArray# io e -> Int -> Bool

(./=) :: MIOArray# io e -> Int -> Bool

(.<=) :: MIOArray# io e -> Int -> Bool

(.>=) :: MIOArray# io e -> Int -> Bool

(.<) :: MIOArray# io e -> Int -> Bool

(.>) :: MIOArray# io e -> Int -> Bool

(.<.) :: MIOArray# io e -> MIOArray# io e -> Bool

(.>.) :: MIOArray# io e -> MIOArray# io e -> Bool

(.<=.) :: MIOArray# io e -> MIOArray# io e -> Bool

(.>=.) :: MIOArray# io e -> MIOArray# io e -> Bool

(.==.) :: MIOArray# io e -> MIOArray# io e -> Bool

(./=.) :: MIOArray# io e -> MIOArray# io e -> Bool

Estimate (STArray# s e)

Defined in SDP.Prim.SArray

Methods

(<.=>) :: STArray# s e -> Int -> Ordering

(<==>) :: Compare (STArray# s e)

(.==) :: STArray# s e -> Int -> Bool

(./=) :: STArray# s e -> Int -> Bool

(.<=) :: STArray# s e -> Int -> Bool

(.>=) :: STArray# s e -> Int -> Bool

(.<) :: STArray# s e -> Int -> Bool

(.>) :: STArray# s e -> Int -> Bool

(.<.) :: STArray# s e -> STArray# s e -> Bool

(.>.) :: STArray# s e -> STArray# s e -> Bool

(.<=.) :: STArray# s e -> STArray# s e -> Bool

(.>=.) :: STArray# s e -> STArray# s e -> Bool

(.==.) :: STArray# s e -> STArray# s e -> Bool

(./=.) :: STArray# s e -> STArray# s e -> Bool

Bordered1 rep Int e => Estimate (AnyChunks rep e)

Defined in SDP.Templates.AnyChunks

Methods

(<.=>) :: AnyChunks rep e -> Int -> Ordering

(<==>) :: Compare (AnyChunks rep e)

(.==) :: AnyChunks rep e -> Int -> Bool

(./=) :: AnyChunks rep e -> Int -> Bool

(.<=) :: AnyChunks rep e -> Int -> Bool

(.>=) :: AnyChunks rep e -> Int -> Bool

(.<) :: AnyChunks rep e -> Int -> Bool

(.>) :: AnyChunks rep e -> Int -> Bool

(.<.) :: AnyChunks rep e -> AnyChunks rep e -> Bool

(.>.) :: AnyChunks rep e -> AnyChunks rep e -> Bool

(.<=.) :: AnyChunks rep e -> AnyChunks rep e -> Bool

(.>=.) :: AnyChunks rep e -> AnyChunks rep e -> Bool

(.==.) :: AnyChunks rep e -> AnyChunks rep e -> Bool

(./=.) :: AnyChunks rep e -> AnyChunks rep e -> Bool

Index i => Estimate (AnyBorder rep i e)

Defined in SDP.Templates.AnyBorder

Methods

(<.=>) :: AnyBorder rep i e -> Int -> Ordering

(<==>) :: Compare (AnyBorder rep i e)

(.==) :: AnyBorder rep i e -> Int -> Bool

(./=) :: AnyBorder rep i e -> Int -> Bool

(.<=) :: AnyBorder rep i e -> Int -> Bool

(.>=) :: AnyBorder rep i e -> Int -> Bool

(.<) :: AnyBorder rep i e -> Int -> Bool

(.>) :: AnyBorder rep i e -> Int -> Bool

(.<.) :: AnyBorder rep i e -> AnyBorder rep i e -> Bool

(.>.) :: AnyBorder rep i e -> AnyBorder rep i e -> Bool

(.<=.) :: AnyBorder rep i e -> AnyBorder rep i e -> Bool

(.>=.) :: AnyBorder rep i e -> AnyBorder rep i e -> Bool

(.==.) :: AnyBorder rep i e -> AnyBorder rep i e -> Bool

(./=.) :: AnyBorder rep i e -> AnyBorder rep i e -> Bool

type Estimate1 rep e = Estimate (rep e)

(Type -> Type) kind Estimate.

type Estimate2 rep i e = Estimate (rep i e)

(Type -> Type -> Type) kind Estimate.

Rank 2 quantified constraints

GHC 8.6.1+ only

type Estimate' rep = forall e. Estimate (rep e)

Estimate quantified contraint for (Type -> Type)-kind types.

type Estimate'' rep = forall i e. Estimate (rep i e)

Estimate quantified contraint for (Type -> Type -> Type)-kind types.

Right-side Estimate functions.

(<=.>) :: Estimate e => Int -> e -> Ordering infixl 4

Compare given number with structure length.

(<.) :: Estimate e => Int -> e -> Bool infixl 4

Compare given number with structure length.

(>.) :: Estimate e => Int -> e -> Bool infixl 4

Compare given number with structure length.

(<=.) :: Estimate e => Int -> e -> Bool infixl 4

Compare given number with structure length.

(>=.) :: Estimate e => Int -> e -> Bool infixl 4

Compare given number with structure length.

(==.) :: Estimate e => Int -> e -> Bool infixl 4

Compare given number with structure length.

(/=.) :: Estimate e => Int -> e -> Bool infixl 4

Compare given number with structure length.