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

Left-side structure length with number comparison.

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

Two structures by length comparison.

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

Left-side structure length with number comparison.

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

Left-side structure length with number comparison.

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

Left-side structure length with number comparison.

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

Left-side structure length with number comparison.

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

Left-side structure length with number comparison.

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

Left-side structure length with number comparison.

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

Two structures comparison by length.

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

Two structures comparison by length.

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

Two structures comparison by length.

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

Two structures comparison by length.

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

Two structures comparison by length.

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

Two structures comparison 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

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

Right-side number with structure length comparison.

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

Right-side number with structure length comparison.

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

Right-side number with structure length comparison.

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

Right-side number with structure length comparison.

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

Right-side number with structure length comparison.

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

Right-side number with structure length comparison.

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

Right-side number with structure length comparison.