Agda-2.8.0: A dependently typed functional programming language and proof assistant

Safe Haskell | None
Language | Haskell2010

Agda.Utils.SmallSet

Description

Small sets represented as a bitmask for fast membership checking.

With the exception of converting to/from lists, all operations are O(1).

Mimics the interface of `Set`.

Import as: `import qualified Agda.Utils.SmallSet as SmallSet import Agda.Utils.SmallSet (SmallSet)`

Synopsis

- newtype SmallSet a = SmallSet {
  - theSmallSet :: Word64
  }
- class (Bounded a, Ix a) => SmallSetElement a
- class Ord a => Ix a
- (\\) :: SmallSetElement a => SmallSet a -> SmallSet a -> SmallSet a
- complement :: SmallSetElement a => SmallSet a -> SmallSet a
- delete :: SmallSetElement a => a -> SmallSet a -> SmallSet a
- difference :: SmallSetElement a => SmallSet a -> SmallSet a -> SmallSet a
- elems :: SmallSetElement a => SmallSet a -> [a]
- empty :: SmallSetElement a => SmallSet a
- fromList :: SmallSetElement a => [a] -> SmallSet a
- fromAscList :: SmallSetElement a => [a] -> SmallSet a
- fromDistinctAscList :: SmallSetElement a => [a] -> SmallSet a
- insert :: SmallSetElement a => a -> SmallSet a -> SmallSet a
- intersection :: SmallSetElement a => SmallSet a -> SmallSet a -> SmallSet a
- member :: SmallSetElement a => a -> SmallSet a -> Bool
- notMember :: SmallSetElement a => a -> SmallSet a -> Bool
- null :: SmallSetElement a => SmallSet a -> Bool
- singleton :: SmallSetElement a => a -> SmallSet a
- toList :: SmallSetElement a => SmallSet a -> [a]
- toAscList :: SmallSetElement a => SmallSet a -> [a]
- total :: SmallSetElement a => SmallSet a
- union :: SmallSetElement a => SmallSet a -> SmallSet a -> SmallSet a

# Documentation

newtype SmallSet a Source #

Constructors

SmallSet |

Fields

- theSmallSet :: Word64

#### Instances

Instances details

SmallSetElement k => Collection k (SmallSet k) Source # |
Instance details Defined in Agda.Utils.Singleton Methods fromList :: [k] -> SmallSet k Source #
SmallSetElement a => Singleton a (SmallSet a) Source # |
Instance details Defined in Agda.Utils.Singleton Methods singleton :: a -> SmallSet a Source #
KillRange (SmallSet FunctionFlag) Source # |
Instance details Defined in Agda.TypeChecking.Monad.Base Methods killRange :: KillRangeT (SmallSet FunctionFlag) Source #
Typeable a => EmbPrj (SmallSet a) Source # |
Instance details Defined in Agda.TypeChecking.Serialise.Instances.Common Methods icode :: SmallSet a -> S Word32 Source # icod_ :: SmallSet a -> S Word32 Source # value :: Word32 -> R (SmallSet a) Source #
SmallSetElement a => Null (SmallSet a) Source # |
Instance details Defined in Agda.Utils.SmallSet Methods empty :: SmallSet a Source # null :: SmallSet a -> Bool Source #
NFData (SmallSet a) Source # |
Instance details Defined in Agda.Utils.SmallSet Methods rnf :: SmallSet a -> () Source #
SmallSetElement a => Monoid (SmallSet a) Source # |
Instance details Defined in Agda.Utils.SmallSet Methods mempty :: SmallSet a Source # mappend :: SmallSet a -> SmallSet a -> SmallSet a Source # mconcat :: [SmallSet a] -> SmallSet a Source #
SmallSetElement a => Semigroup (SmallSet a) Source # |
Instance details Defined in Agda.Utils.SmallSet Methods (<>) :: SmallSet a -> SmallSet a -> SmallSet a Source # sconcat :: NonEmpty (SmallSet a) -> SmallSet a Source # stimes :: Integral b => b -> SmallSet a -> SmallSet a Source #
Show (SmallSet a) Source # |
Instance details Defined in Agda.Utils.SmallSet Methods showsPrec :: Int -> SmallSet a -> ShowS Source # show :: SmallSet a -> String Source # showList :: [SmallSet a] -> ShowS Source #
Eq (SmallSet a) Source # |
Instance details Defined in Agda.Utils.SmallSet Methods (==) :: SmallSet a -> SmallSet a -> Bool Source # (/=) :: SmallSet a -> SmallSet a -> Bool Source #
Ord (SmallSet a) Source # |

Instance details

Defined in Agda.Utils.SmallSet

Methods

compare :: SmallSet a -> SmallSet a -> Ordering Source #

(<) :: SmallSet a -> SmallSet a -> Bool Source #

(<=) :: SmallSet a -> SmallSet a -> Bool Source #

(>) :: SmallSet a -> SmallSet a -> Bool Source #

(>=) :: SmallSet a -> SmallSet a -> Bool Source #

max :: SmallSet a -> SmallSet a -> SmallSet a Source #

min :: SmallSet a -> SmallSet a -> SmallSet a Source #

class (Bounded a, Ix a) => SmallSetElement a Source #

An element in a small set.

This must implement `Bounded` and `Ix`, and contain at most 64 values.

#### Instances

Instances details

SmallSetElement AllowedReduction Source # |
Instance details Defined in Agda.TypeChecking.Monad.Base
SmallSetElement FunctionFlag Source # |
Instance details Defined in Agda.TypeChecking.Monad.Base

class Ord a => Ix a Source #

The `Ix` class is used to map a contiguous subrange of values in a type onto integers. It is used primarily for array indexing (see the array package).

The first argument `(l,u)` of each of these operations is a pair specifying the lower and upper bounds of a contiguous subrange of values.

An implementation is entitled to assume the following laws about these operations:

- ``inRange` (l,u) i == `elem` i (`range` (l,u))` ``
- ``range` (l,u) `!!` `index` (l,u) i == i`, when ``inRange` (l,u) i`
- ``map` (`index` (l,u)) (`range` (l,u))) == [0..`rangeSize` (l,u)-1]` ``
- ``rangeSize` (l,u) == `length` (`range` (l,u))` ``

Minimal complete definition

range, (index | unsafeIndex), inRange

#### Instances

Instances details

Ix AllowedReduction Source # |

Instance details

Defined in Agda.TypeChecking.Monad.Base

Methods

range :: (AllowedReduction, AllowedReduction) -> [AllowedReduction] Source #

index :: (AllowedReduction, AllowedReduction) -> AllowedReduction -> Int Source #

unsafeIndex :: (AllowedReduction, AllowedReduction) -> AllowedReduction -> Int Source #

inRange :: (AllowedReduction, AllowedReduction) -> AllowedReduction -> Bool Source #

rangeSize :: (AllowedReduction, AllowedReduction) -> Int Source #

unsafeRangeSize :: (AllowedReduction, AllowedReduction) -> Int Source #

Ix FunctionFlag Source # |

Instance details

Defined in Agda.TypeChecking.Monad.Base

Methods

range :: (FunctionFlag, FunctionFlag) -> [FunctionFlag] Source #

index :: (FunctionFlag, FunctionFlag) -> FunctionFlag -> Int Source #

unsafeIndex :: (FunctionFlag, FunctionFlag) -> FunctionFlag -> Int Source #

inRange :: (FunctionFlag, FunctionFlag) -> FunctionFlag -> Bool Source #

rangeSize :: (FunctionFlag, FunctionFlag) -> Int Source #

unsafeRangeSize :: (FunctionFlag, FunctionFlag) -> Int Source #

Ix BlinkSpeed |

Instance details

Defined in System.Console.ANSI.Types

Methods

range :: (BlinkSpeed, BlinkSpeed) -> [BlinkSpeed] Source #

index :: (BlinkSpeed, BlinkSpeed) -> BlinkSpeed -> Int Source #

unsafeIndex :: (BlinkSpeed, BlinkSpeed) -> BlinkSpeed -> Int Source #

inRange :: (BlinkSpeed, BlinkSpeed) -> BlinkSpeed -> Bool Source #

rangeSize :: (BlinkSpeed, BlinkSpeed) -> Int Source #

unsafeRangeSize :: (BlinkSpeed, BlinkSpeed) -> Int Source #

Ix Color |
Instance details Defined in System.Console.ANSI.Types Methods range :: (Color, Color) -> [Color] Source # index :: (Color, Color) -> Color -> Int Source # unsafeIndex :: (Color, Color) -> Color -> Int Source # inRange :: (Color, Color) -> Color -> Bool Source # rangeSize :: (Color, Color) -> Int Source # unsafeRangeSize :: (Color, Color) -> Int Source #
Ix ColorIntensity |

Instance details

Defined in System.Console.ANSI.Types

Methods

range :: (ColorIntensity, ColorIntensity) -> [ColorIntensity] Source #

index :: (ColorIntensity, ColorIntensity) -> ColorIntensity -> Int Source #

unsafeIndex :: (ColorIntensity, ColorIntensity) -> ColorIntensity -> Int Source #

inRange :: (ColorIntensity, ColorIntensity) -> ColorIntensity -> Bool Source #

rangeSize :: (ColorIntensity, ColorIntensity) -> Int Source #

unsafeRangeSize :: (ColorIntensity, ColorIntensity) -> Int Source #

Ix ConsoleIntensity |

Instance details

Defined in System.Console.ANSI.Types

Methods

range :: (ConsoleIntensity, ConsoleIntensity) -> [ConsoleIntensity] Source #

index :: (ConsoleIntensity, ConsoleIntensity) -> ConsoleIntensity -> Int Source #

unsafeIndex :: (ConsoleIntensity, ConsoleIntensity) -> ConsoleIntensity -> Int Source #

inRange :: (ConsoleIntensity, ConsoleIntensity) -> ConsoleIntensity -> Bool Source #

rangeSize :: (ConsoleIntensity, ConsoleIntensity) -> Int Source #

unsafeRangeSize :: (ConsoleIntensity, ConsoleIntensity) -> Int Source #

Ix ConsoleLayer |

Instance details

Defined in System.Console.ANSI.Types

Methods

range :: (ConsoleLayer, ConsoleLayer) -> [ConsoleLayer] Source #

index :: (ConsoleLayer, ConsoleLayer) -> ConsoleLayer -> Int Source #

unsafeIndex :: (ConsoleLayer, ConsoleLayer) -> ConsoleLayer -> Int Source #

inRange :: (ConsoleLayer, ConsoleLayer) -> ConsoleLayer -> Bool Source #

rangeSize :: (ConsoleLayer, ConsoleLayer) -> Int Source #

unsafeRangeSize :: (ConsoleLayer, ConsoleLayer) -> Int Source #

Ix Underlining |

Instance details

Defined in System.Console.ANSI.Types

Methods

range :: (Underlining, Underlining) -> [Underlining] Source #

index :: (Underlining, Underlining) -> Underlining -> Int Source #

unsafeIndex :: (Underlining, Underlining) -> Underlining -> Int Source #

inRange :: (Underlining, Underlining) -> Underlining -> Bool Source #

rangeSize :: (Underlining, Underlining) -> Int Source #

unsafeRangeSize :: (Underlining, Underlining) -> Int Source #

Ix Void | Since: base-4.8.0.0
Instance details Defined in GHC.Internal.Ix Methods range :: (Void, Void) -> [Void] Source # index :: (Void, Void) -> Void -> Int Source # unsafeIndex :: (Void, Void) -> Void -> Int Source # inRange :: (Void, Void) -> Void -> Bool Source # rangeSize :: (Void, Void) -> Int Source # unsafeRangeSize :: (Void, Void) -> Int Source #
Ix Associativity | Since: base-4.9.0.0

Instance details

Defined in GHC.Internal.Generics

Methods

range :: (Associativity, Associativity) -> [Associativity] Source #

index :: (Associativity, Associativity) -> Associativity -> Int Source #

unsafeIndex :: (Associativity, Associativity) -> Associativity -> Int Source #

inRange :: (Associativity, Associativity) -> Associativity -> Bool Source #

rangeSize :: (Associativity, Associativity) -> Int Source #

unsafeRangeSize :: (Associativity, Associativity) -> Int Source #

Ix DecidedStrictness | Since: base-4.9.0.0

Instance details

Defined in GHC.Internal.Generics

Methods

range :: (DecidedStrictness, DecidedStrictness) -> [DecidedStrictness] Source #

index :: (DecidedStrictness, DecidedStrictness) -> DecidedStrictness -> Int Source #

unsafeIndex :: (DecidedStrictness, DecidedStrictness) -> DecidedStrictness -> Int Source #

inRange :: (DecidedStrictness, DecidedStrictness) -> DecidedStrictness -> Bool Source #

rangeSize :: (DecidedStrictness, DecidedStrictness) -> Int Source #

unsafeRangeSize :: (DecidedStrictness, DecidedStrictness) -> Int Source #

Ix SourceStrictness | Since: base-4.9.0.0

Instance details

Defined in GHC.Internal.Generics

Methods

range :: (SourceStrictness, SourceStrictness) -> [SourceStrictness] Source #

index :: (SourceStrictness, SourceStrictness) -> SourceStrictness -> Int Source #

unsafeIndex :: (SourceStrictness, SourceStrictness) -> SourceStrictness -> Int Source #

inRange :: (SourceStrictness, SourceStrictness) -> SourceStrictness -> Bool Source #

rangeSize :: (SourceStrictness, SourceStrictness) -> Int Source #

unsafeRangeSize :: (SourceStrictness, SourceStrictness) -> Int Source #

Ix SourceUnpackedness | Since: base-4.9.0.0

Instance details

Defined in GHC.Internal.Generics

Methods

range :: (SourceUnpackedness, SourceUnpackedness) -> [SourceUnpackedness] Source #

index :: (SourceUnpackedness, SourceUnpackedness) -> SourceUnpackedness -> Int Source #

unsafeIndex :: (SourceUnpackedness, SourceUnpackedness) -> SourceUnpackedness -> Int Source #

inRange :: (SourceUnpackedness, SourceUnpackedness) -> SourceUnpackedness -> Bool Source #

rangeSize :: (SourceUnpackedness, SourceUnpackedness) -> Int Source #

unsafeRangeSize :: (SourceUnpackedness, SourceUnpackedness) -> Int Source #

Ix IOMode | Since: base-4.2.0.0
Instance details Defined in GHC.Internal.IO.IOMode Methods range :: (IOMode, IOMode) -> [IOMode] Source # index :: (IOMode, IOMode) -> IOMode -> Int Source # unsafeIndex :: (IOMode, IOMode) -> IOMode -> Int Source # inRange :: (IOMode, IOMode) -> IOMode -> Bool Source # rangeSize :: (IOMode, IOMode) -> Int Source # unsafeRangeSize :: (IOMode, IOMode) -> Int Source #
Ix Int16 | Since: base-2.1
Instance details Defined in GHC.Internal.Int Methods range :: (Int16, Int16) -> [Int16] Source # index :: (Int16, Int16) -> Int16 -> Int Source # unsafeIndex :: (Int16, Int16) -> Int16 -> Int Source # inRange :: (Int16, Int16) -> Int16 -> Bool Source # rangeSize :: (Int16, Int16) -> Int Source # unsafeRangeSize :: (Int16, Int16) -> Int Source #
Ix Int32 | Since: base-2.1
Instance details Defined in GHC.Internal.Int Methods range :: (Int32, Int32) -> [Int32] Source # index :: (Int32, Int32) -> Int32 -> Int Source # unsafeIndex :: (Int32, Int32) -> Int32 -> Int Source # inRange :: (Int32, Int32) -> Int32 -> Bool Source # rangeSize :: (Int32, Int32) -> Int Source # unsafeRangeSize :: (Int32, Int32) -> Int Source #
Ix Int64 | Since: base-2.1
Instance details Defined in GHC.Internal.Int Methods range :: (Int64, Int64) -> [Int64] Source # index :: (Int64, Int64) -> Int64 -> Int Source # unsafeIndex :: (Int64, Int64) -> Int64 -> Int Source # inRange :: (Int64, Int64) -> Int64 -> Bool Source # rangeSize :: (Int64, Int64) -> Int Source # unsafeRangeSize :: (Int64, Int64) -> Int Source #
Ix Int8 | Since: base-2.1
Instance details Defined in GHC.Internal.Int Methods range :: (Int8, Int8) -> [Int8] Source # index :: (Int8, Int8) -> Int8 -> Int Source # unsafeIndex :: (Int8, Int8) -> Int8 -> Int Source # inRange :: (Int8, Int8) -> Int8 -> Bool Source # rangeSize :: (Int8, Int8) -> Int Source # unsafeRangeSize :: (Int8, Int8) -> Int Source #
Ix CBlkCnt |
Instance details Defined in GHC.Internal.System.Posix.Types Methods range :: (CBlkCnt, CBlkCnt) -> [CBlkCnt] Source # index :: (CBlkCnt, CBlkCnt) -> CBlkCnt -> Int Source # unsafeIndex :: (CBlkCnt, CBlkCnt) -> CBlkCnt -> Int Source # inRange :: (CBlkCnt, CBlkCnt) -> CBlkCnt -> Bool Source # rangeSize :: (CBlkCnt, CBlkCnt) -> Int Source # unsafeRangeSize :: (CBlkCnt, CBlkCnt) -> Int Source #
Ix CBlkSize |

Instance details

Defined in GHC.Internal.System.Posix.Types

Methods

range :: (CBlkSize, CBlkSize) -> [CBlkSize] Source #

index :: (CBlkSize, CBlkSize) -> CBlkSize -> Int Source #

unsafeIndex :: (CBlkSize, CBlkSize) -> CBlkSize -> Int Source #

inRange :: (CBlkSize, CBlkSize) -> CBlkSize -> Bool Source #

rangeSize :: (CBlkSize, CBlkSize) -> Int Source #

unsafeRangeSize :: (CBlkSize, CBlkSize) -> Int Source #

Ix CClockId |

Instance details

Defined in GHC.Internal.System.Posix.Types

Methods

range :: (CClockId, CClockId) -> [CClockId] Source #

index :: (CClockId, CClockId) -> CClockId -> Int Source #

unsafeIndex :: (CClockId, CClockId) -> CClockId -> Int Source #

inRange :: (CClockId, CClockId) -> CClockId -> Bool Source #

rangeSize :: (CClockId, CClockId) -> Int Source #

unsafeRangeSize :: (CClockId, CClockId) -> Int Source #

Ix CDev |
Instance details Defined in GHC.Internal.System.Posix.Types Methods range :: (CDev, CDev) -> [CDev] Source # index :: (CDev, CDev) -> CDev -> Int Source # unsafeIndex :: (CDev, CDev) -> CDev -> Int Source # inRange :: (CDev, CDev) -> CDev -> Bool Source # rangeSize :: (CDev, CDev) -> Int Source # unsafeRangeSize :: (CDev, CDev) -> Int Source #
Ix CFsBlkCnt |

Instance details

Defined in GHC.Internal.System.Posix.Types

Methods

range :: (CFsBlkCnt, CFsBlkCnt) -> [CFsBlkCnt] Source #

index :: (CFsBlkCnt, CFsBlkCnt) -> CFsBlkCnt -> Int Source #

unsafeIndex :: (CFsBlkCnt, CFsBlkCnt) -> CFsBlkCnt -> Int Source #

inRange :: (CFsBlkCnt, CFsBlkCnt) -> CFsBlkCnt -> Bool Source #

rangeSize :: (CFsBlkCnt, CFsBlkCnt) -> Int Source #

unsafeRangeSize :: (CFsBlkCnt, CFsBlkCnt) -> Int Source #

Ix CFsFilCnt |

Instance details

Defined in GHC.Internal.System.Posix.Types

Methods

range :: (CFsFilCnt, CFsFilCnt) -> [CFsFilCnt] Source #

index :: (CFsFilCnt, CFsFilCnt) -> CFsFilCnt -> Int Source #

unsafeIndex :: (CFsFilCnt, CFsFilCnt) -> CFsFilCnt -> Int Source #

inRange :: (CFsFilCnt, CFsFilCnt) -> CFsFilCnt -> Bool Source #

rangeSize :: (CFsFilCnt, CFsFilCnt) -> Int Source #

unsafeRangeSize :: (CFsFilCnt, CFsFilCnt) -> Int Source #

Ix CGid |
Instance details Defined in GHC.Internal.System.Posix.Types Methods range :: (CGid, CGid) -> [CGid] Source # index :: (CGid, CGid) -> CGid -> Int Source # unsafeIndex :: (CGid, CGid) -> CGid -> Int Source # inRange :: (CGid, CGid) -> CGid -> Bool Source # rangeSize :: (CGid, CGid) -> Int Source # unsafeRangeSize :: (CGid, CGid) -> Int Source #
Ix CId |
Instance details Defined in GHC.Internal.System.Posix.Types Methods range :: (CId, CId) -> [CId] Source # index :: (CId, CId) -> CId -> Int Source # unsafeIndex :: (CId, CId) -> CId -> Int Source # inRange :: (CId, CId) -> CId -> Bool Source # rangeSize :: (CId, CId) -> Int Source # unsafeRangeSize :: (CId, CId) -> Int Source #
Ix CIno |
Instance details Defined in GHC.Internal.System.Posix.Types Methods range :: (CIno, CIno) -> [CIno] Source # index :: (CIno, CIno) -> CIno -> Int Source # unsafeIndex :: (CIno, CIno) -> CIno -> Int Source # inRange :: (CIno, CIno) -> CIno -> Bool Source # rangeSize :: (CIno, CIno) -> Int Source # unsafeRangeSize :: (CIno, CIno) -> Int Source #
Ix CKey |
Instance details Defined in GHC.Internal.System.Posix.Types Methods range :: (CKey, CKey) -> [CKey] Source # index :: (CKey, CKey) -> CKey -> Int Source # unsafeIndex :: (CKey, CKey) -> CKey -> Int Source # inRange :: (CKey, CKey) -> CKey -> Bool Source # rangeSize :: (CKey, CKey) -> Int Source # unsafeRangeSize :: (CKey, CKey) -> Int Source #
Ix CMode |
Instance details Defined in GHC.Internal.System.Posix.Types Methods range :: (CMode, CMode) -> [CMode] Source # index :: (CMode, CMode) -> CMode -> Int Source # unsafeIndex :: (CMode, CMode) -> CMode -> Int Source # inRange :: (CMode, CMode) -> CMode -> Bool Source # rangeSize :: (CMode, CMode) -> Int Source # unsafeRangeSize :: (CMode, CMode) -> Int Source #
Ix CNfds |
Instance details Defined in GHC.Internal.System.Posix.Types Methods range :: (CNfds, CNfds) -> [CNfds] Source # index :: (CNfds, CNfds) -> CNfds -> Int Source # unsafeIndex :: (CNfds, CNfds) -> CNfds -> Int Source # inRange :: (CNfds, CNfds) -> CNfds -> Bool Source # rangeSize :: (CNfds, CNfds) -> Int Source # unsafeRangeSize :: (CNfds, CNfds) -> Int Source #
Ix CNlink |
Instance details Defined in GHC.Internal.System.Posix.Types Methods range :: (CNlink, CNlink) -> [CNlink] Source # index :: (CNlink, CNlink) -> CNlink -> Int Source # unsafeIndex :: (CNlink, CNlink) -> CNlink -> Int Source # inRange :: (CNlink, CNlink) -> CNlink -> Bool Source # rangeSize :: (CNlink, CNlink) -> Int Source # unsafeRangeSize :: (CNlink, CNlink) -> Int Source #
Ix COff |
Instance details Defined in GHC.Internal.System.Posix.Types Methods range :: (COff, COff) -> [COff] Source # index :: (COff, COff) -> COff -> Int Source # unsafeIndex :: (COff, COff) -> COff -> Int Source # inRange :: (COff, COff) -> COff -> Bool Source # rangeSize :: (COff, COff) -> Int Source # unsafeRangeSize :: (COff, COff) -> Int Source #
Ix CPid |
Instance details Defined in GHC.Internal.System.Posix.Types Methods range :: (CPid, CPid) -> [CPid] Source # index :: (CPid, CPid) -> CPid -> Int Source # unsafeIndex :: (CPid, CPid) -> CPid -> Int Source # inRange :: (CPid, CPid) -> CPid -> Bool Source # rangeSize :: (CPid, CPid) -> Int Source # unsafeRangeSize :: (CPid, CPid) -> Int Source #
Ix CRLim |
Instance details Defined in GHC.Internal.System.Posix.Types Methods range :: (CRLim, CRLim) -> [CRLim] Source # index :: (CRLim, CRLim) -> CRLim -> Int Source # unsafeIndex :: (CRLim, CRLim) -> CRLim -> Int Source # inRange :: (CRLim, CRLim) -> CRLim -> Bool Source # rangeSize :: (CRLim, CRLim) -> Int Source # unsafeRangeSize :: (CRLim, CRLim) -> Int Source #
Ix CSocklen |

Instance details

Defined in GHC.Internal.System.Posix.Types

Methods

range :: (CSocklen, CSocklen) -> [CSocklen] Source #

index :: (CSocklen, CSocklen) -> CSocklen -> Int Source #

unsafeIndex :: (CSocklen, CSocklen) -> CSocklen -> Int Source #

inRange :: (CSocklen, CSocklen) -> CSocklen -> Bool Source #

rangeSize :: (CSocklen, CSocklen) -> Int Source #

unsafeRangeSize :: (CSocklen, CSocklen) -> Int Source #

Ix CSsize |
Instance details Defined in GHC.Internal.System.Posix.Types Methods range :: (CSsize, CSsize) -> [CSsize] Source # index :: (CSsize, CSsize) -> CSsize -> Int Source # unsafeIndex :: (CSsize, CSsize) -> CSsize -> Int Source # inRange :: (CSsize, CSsize) -> CSsize -> Bool Source # rangeSize :: (CSsize, CSsize) -> Int Source # unsafeRangeSize :: (CSsize, CSsize) -> Int Source #
Ix CTcflag |
Instance details Defined in GHC.Internal.System.Posix.Types Methods range :: (CTcflag, CTcflag) -> [CTcflag] Source # index :: (CTcflag, CTcflag) -> CTcflag -> Int Source # unsafeIndex :: (CTcflag, CTcflag) -> CTcflag -> Int Source # inRange :: (CTcflag, CTcflag) -> CTcflag -> Bool Source # rangeSize :: (CTcflag, CTcflag) -> Int Source # unsafeRangeSize :: (CTcflag, CTcflag) -> Int Source #
Ix CUid |
Instance details Defined in GHC.Internal.System.Posix.Types Methods range :: (CUid, CUid) -> [CUid] Source # index :: (CUid, CUid) -> CUid -> Int Source # unsafeIndex :: (CUid, CUid) -> CUid -> Int Source # inRange :: (CUid, CUid) -> CUid -> Bool Source # rangeSize :: (CUid, CUid) -> Int Source # unsafeRangeSize :: (CUid, CUid) -> Int Source #
Ix Fd |
Instance details Defined in GHC.Internal.System.Posix.Types Methods range :: (Fd, Fd) -> [Fd] Source # index :: (Fd, Fd) -> Fd -> Int Source # unsafeIndex :: (Fd, Fd) -> Fd -> Int Source # inRange :: (Fd, Fd) -> Fd -> Bool Source # rangeSize :: (Fd, Fd) -> Int Source # unsafeRangeSize :: (Fd, Fd) -> Int Source #
Ix GeneralCategory | Since: base-2.1

Instance details

Defined in GHC.Internal.Unicode

Methods

range :: (GeneralCategory, GeneralCategory) -> [GeneralCategory] Source #

index :: (GeneralCategory, GeneralCategory) -> GeneralCategory -> Int Source #

unsafeIndex :: (GeneralCategory, GeneralCategory) -> GeneralCategory -> Int Source #

inRange :: (GeneralCategory, GeneralCategory) -> GeneralCategory -> Bool Source #

rangeSize :: (GeneralCategory, GeneralCategory) -> Int Source #

unsafeRangeSize :: (GeneralCategory, GeneralCategory) -> Int Source #

Ix Word16 | Since: base-2.1
Instance details Defined in GHC.Internal.Word Methods range :: (Word16, Word16) -> [Word16] Source # index :: (Word16, Word16) -> Word16 -> Int Source # unsafeIndex :: (Word16, Word16) -> Word16 -> Int Source # inRange :: (Word16, Word16) -> Word16 -> Bool Source # rangeSize :: (Word16, Word16) -> Int Source # unsafeRangeSize :: (Word16, Word16) -> Int Source #
Ix Word32 | Since: base-2.1
Instance details Defined in GHC.Internal.Word Methods range :: (Word32, Word32) -> [Word32] Source # index :: (Word32, Word32) -> Word32 -> Int Source # unsafeIndex :: (Word32, Word32) -> Word32 -> Int Source # inRange :: (Word32, Word32) -> Word32 -> Bool Source # rangeSize :: (Word32, Word32) -> Int Source # unsafeRangeSize :: (Word32, Word32) -> Int Source #
Ix Word64 | Since: base-2.1
Instance details Defined in GHC.Internal.Word Methods range :: (Word64, Word64) -> [Word64] Source # index :: (Word64, Word64) -> Word64 -> Int Source # unsafeIndex :: (Word64, Word64) -> Word64 -> Int Source # inRange :: (Word64, Word64) -> Word64 -> Bool Source # rangeSize :: (Word64, Word64) -> Int Source # unsafeRangeSize :: (Word64, Word64) -> Int Source #
Ix Word8 | Since: base-2.1
Instance details Defined in GHC.Internal.Word Methods range :: (Word8, Word8) -> [Word8] Source # index :: (Word8, Word8) -> Word8 -> Int Source # unsafeIndex :: (Word8, Word8) -> Word8 -> Int Source # inRange :: (Word8, Word8) -> Word8 -> Bool Source # rangeSize :: (Word8, Word8) -> Int Source # unsafeRangeSize :: (Word8, Word8) -> Int Source #
Ix Ordering | Since: base-2.1
Instance details Defined in GHC.Internal.Ix Methods range :: (Ordering, Ordering) -> [Ordering] Source # index :: (Ordering, Ordering) -> Ordering -> Int Source # unsafeIndex :: (Ordering, Ordering) -> Ordering -> Int Source # inRange :: (Ordering, Ordering) -> Ordering -> Bool Source # rangeSize :: (Ordering, Ordering) -> Int Source # unsafeRangeSize :: (Ordering, Ordering) -> Int Source #
Ix Peano |
Instance details Defined in Data.Peano Methods range :: (Peano, Peano) -> [Peano] Source # index :: (Peano, Peano) -> Peano -> Int Source # unsafeIndex :: (Peano, Peano) -> Peano -> Int Source # inRange :: (Peano, Peano) -> Peano -> Bool Source # rangeSize :: (Peano, Peano) -> Int Source # unsafeRangeSize :: (Peano, Peano) -> Int Source #
Ix Day |
Instance details Defined in Data.Time.Calendar.Days Methods range :: (Day, Day) -> [Day] Source # index :: (Day, Day) -> Day -> Int Source # unsafeIndex :: (Day, Day) -> Day -> Int Source # inRange :: (Day, Day) -> Day -> Bool Source # rangeSize :: (Day, Day) -> Int Source # unsafeRangeSize :: (Day, Day) -> Int Source #
Ix Month |
Instance details Defined in Data.Time.Calendar.Month Methods range :: (Month, Month) -> [Month] Source # index :: (Month, Month) -> Month -> Int Source # unsafeIndex :: (Month, Month) -> Month -> Int Source # inRange :: (Month, Month) -> Month -> Bool Source # rangeSize :: (Month, Month) -> Int Source # unsafeRangeSize :: (Month, Month) -> Int Source #
Ix Quarter |
Instance details Defined in Data.Time.Calendar.Quarter Methods range :: (Quarter, Quarter) -> [Quarter] Source # index :: (Quarter, Quarter) -> Quarter -> Int Source # unsafeIndex :: (Quarter, Quarter) -> Quarter -> Int Source # inRange :: (Quarter, Quarter) -> Quarter -> Bool Source # rangeSize :: (Quarter, Quarter) -> Int Source # unsafeRangeSize :: (Quarter, Quarter) -> Int Source #
Ix QuarterOfYear |

Instance details

Defined in Data.Time.Calendar.Quarter

Methods

range :: (QuarterOfYear, QuarterOfYear) -> [QuarterOfYear] Source #

index :: (QuarterOfYear, QuarterOfYear) -> QuarterOfYear -> Int Source #

unsafeIndex :: (QuarterOfYear, QuarterOfYear) -> QuarterOfYear -> Int Source #

inRange :: (QuarterOfYear, QuarterOfYear) -> QuarterOfYear -> Bool Source #

rangeSize :: (QuarterOfYear, QuarterOfYear) -> Int Source #

unsafeRangeSize :: (QuarterOfYear, QuarterOfYear) -> Int Source #

Ix Integer | Since: base-2.1
Instance details Defined in GHC.Internal.Ix Methods range :: (Integer, Integer) -> [Integer] Source # index :: (Integer, Integer) -> Integer -> Int Source # unsafeIndex :: (Integer, Integer) -> Integer -> Int Source # inRange :: (Integer, Integer) -> Integer -> Bool Source # rangeSize :: (Integer, Integer) -> Int Source # unsafeRangeSize :: (Integer, Integer) -> Int Source #
Ix Natural | Since: base-4.8.0.0
Instance details Defined in GHC.Internal.Ix Methods range :: (Natural, Natural) -> [Natural] Source # index :: (Natural, Natural) -> Natural -> Int Source # unsafeIndex :: (Natural, Natural) -> Natural -> Int Source # inRange :: (Natural, Natural) -> Natural -> Bool Source # rangeSize :: (Natural, Natural) -> Int Source # unsafeRangeSize :: (Natural, Natural) -> Int Source #
Ix () | Since: base-2.1
Instance details Defined in GHC.Internal.Ix Methods range :: ((), ()) -> [()] Source # index :: ((), ()) -> () -> Int Source # unsafeIndex :: ((), ()) -> () -> Int Source # inRange :: ((), ()) -> () -> Bool Source # rangeSize :: ((), ()) -> Int Source # unsafeRangeSize :: ((), ()) -> Int Source #
Ix Bool | Since: base-2.1
Instance details Defined in GHC.Internal.Ix Methods range :: (Bool, Bool) -> [Bool] Source # index :: (Bool, Bool) -> Bool -> Int Source # unsafeIndex :: (Bool, Bool) -> Bool -> Int Source # inRange :: (Bool, Bool) -> Bool -> Bool Source # rangeSize :: (Bool, Bool) -> Int Source # unsafeRangeSize :: (Bool, Bool) -> Int Source #
Ix Char | Since: base-2.1
Instance details Defined in GHC.Internal.Ix Methods range :: (Char, Char) -> [Char] Source # index :: (Char, Char) -> Char -> Int Source # unsafeIndex :: (Char, Char) -> Char -> Int Source # inRange :: (Char, Char) -> Char -> Bool Source # rangeSize :: (Char, Char) -> Int Source # unsafeRangeSize :: (Char, Char) -> Int Source #
Ix Int | Since: base-2.1
Instance details Defined in GHC.Internal.Ix Methods range :: (Int, Int) -> [Int] Source # index :: (Int, Int) -> Int -> Int Source # unsafeIndex :: (Int, Int) -> Int -> Int Source # inRange :: (Int, Int) -> Int -> Bool Source # rangeSize :: (Int, Int) -> Int Source # unsafeRangeSize :: (Int, Int) -> Int Source #
Ix Word | Since: base-4.6.0.0
Instance details Defined in GHC.Internal.Ix Methods range :: (Word, Word) -> [Word] Source # index :: (Word, Word) -> Word -> Int Source # unsafeIndex :: (Word, Word) -> Word -> Int Source # inRange :: (Word, Word) -> Word -> Bool Source # rangeSize :: (Word, Word) -> Int Source # unsafeRangeSize :: (Word, Word) -> Int Source #
Ix i => Ix (MIx i) Source # |
Instance details Defined in Agda.Termination.SparseMatrix Methods range :: (MIx i, MIx i) -> [MIx i] Source # index :: (MIx i, MIx i) -> MIx i -> Int Source # unsafeIndex :: (MIx i, MIx i) -> MIx i -> Int Source # inRange :: (MIx i, MIx i) -> MIx i -> Bool Source # rangeSize :: (MIx i, MIx i) -> Int Source # unsafeRangeSize :: (MIx i, MIx i) -> Int Source #
Ix a => Ix (Identity a) | Since: base-4.9.0.0

Instance details

Defined in GHC.Internal.Data.Functor.Identity

Methods

range :: (Identity a, Identity a) -> [Identity a] Source #

index :: (Identity a, Identity a) -> Identity a -> Int Source #

unsafeIndex :: (Identity a, Identity a) -> Identity a -> Int Source #

inRange :: (Identity a, Identity a) -> Identity a -> Bool Source #

rangeSize :: (Identity a, Identity a) -> Int Source #

unsafeRangeSize :: (Identity a, Identity a) -> Int Source #

Ix a => Ix (Down a) | Since: base-4.14.0.0
Instance details Defined in GHC.Internal.Data.Ord Methods range :: (Down a, Down a) -> [Down a] Source # index :: (Down a, Down a) -> Down a -> Int Source # unsafeIndex :: (Down a, Down a) -> Down a -> Int Source # inRange :: (Down a, Down a) -> Down a -> Bool Source # rangeSize :: (Down a, Down a) -> Int Source # unsafeRangeSize :: (Down a, Down a) -> Int Source #
(Generic a, Ord (Rep a ()), GIx (Rep a)) => Ix (Generically a) |

Instance details

Defined in Generic.Data.Internal.Generically

Methods

range :: (Generically a, Generically a) -> [Generically a] Source #

index :: (Generically a, Generically a) -> Generically a -> Int Source #

unsafeIndex :: (Generically a, Generically a) -> Generically a -> Int Source #

inRange :: (Generically a, Generically a) -> Generically a -> Bool Source #

rangeSize :: (Generically a, Generically a) -> Int Source #

unsafeRangeSize :: (Generically a, Generically a) -> Int Source #

Ix a => Ix (Solo a) |
Instance details Defined in GHC.Internal.Ix Methods range :: (Solo a, Solo a) -> [Solo a] Source # index :: (Solo a, Solo a) -> Solo a -> Int Source # unsafeIndex :: (Solo a, Solo a) -> Solo a -> Int Source # inRange :: (Solo a, Solo a) -> Solo a -> Bool Source # rangeSize :: (Solo a, Solo a) -> Int Source # unsafeRangeSize :: (Solo a, Solo a) -> Int Source #
Ix (Proxy s) | Since: base-4.7.0.0
Instance details Defined in GHC.Internal.Data.Proxy Methods range :: (Proxy s, Proxy s) -> [Proxy s] Source # index :: (Proxy s, Proxy s) -> Proxy s -> Int Source # unsafeIndex :: (Proxy s, Proxy s) -> Proxy s -> Int Source # inRange :: (Proxy s, Proxy s) -> Proxy s -> Bool Source # rangeSize :: (Proxy s, Proxy s) -> Int Source # unsafeRangeSize :: (Proxy s, Proxy s) -> Int Source #
(Ix a, Ix b) => Ix (Pair a b) |
Instance details Defined in Data.Strict.Tuple Methods range :: (Pair a b, Pair a b) -> [Pair a b] Source # index :: (Pair a b, Pair a b) -> Pair a b -> Int Source # unsafeIndex :: (Pair a b, Pair a b) -> Pair a b -> Int Source # inRange :: (Pair a b, Pair a b) -> Pair a b -> Bool Source # rangeSize :: (Pair a b, Pair a b) -> Int Source # unsafeRangeSize :: (Pair a b, Pair a b) -> Int Source #
(Ix a, Ix b) => Ix (a, b) | Since: base-2.1
Instance details Defined in GHC.Internal.Ix Methods range :: ((a, b), (a, b)) -> [(a, b)] Source # index :: ((a, b), (a, b)) -> (a, b) -> Int Source # unsafeIndex :: ((a, b), (a, b)) -> (a, b) -> Int Source # inRange :: ((a, b), (a, b)) -> (a, b) -> Bool Source # rangeSize :: ((a, b), (a, b)) -> Int Source # unsafeRangeSize :: ((a, b), (a, b)) -> Int Source #
Ix a => Ix (Const a b) | Since: base-4.9.0.0

Instance details

Defined in GHC.Internal.Data.Functor.Const

Methods

range :: (Const a b, Const a b) -> [Const a b] Source #

index :: (Const a b, Const a b) -> Const a b -> Int Source #

unsafeIndex :: (Const a b, Const a b) -> Const a b -> Int Source #

inRange :: (Const a b, Const a b) -> Const a b -> Bool Source #

rangeSize :: (Const a b, Const a b) -> Int Source #

unsafeRangeSize :: (Const a b, Const a b) -> Int Source #

Ix b => Ix (Tagged s b) |

Instance details

Defined in Data.Tagged

Methods

range :: (Tagged s b, Tagged s b) -> [Tagged s b] Source #

index :: (Tagged s b, Tagged s b) -> Tagged s b -> Int Source #

unsafeIndex :: (Tagged s b, Tagged s b) -> Tagged s b -> Int Source #

inRange :: (Tagged s b, Tagged s b) -> Tagged s b -> Bool Source #

rangeSize :: (Tagged s b, Tagged s b) -> Int Source #

unsafeRangeSize :: (Tagged s b, Tagged s b) -> Int Source #

(Ix a1, Ix a2, Ix a3) => Ix (a1, a2, a3) | Since: base-2.1

Instance details

Defined in GHC.Internal.Ix

Methods

range :: ((a1, a2, a3), (a1, a2, a3)) -> [(a1, a2, a3)] Source #

index :: ((a1, a2, a3), (a1, a2, a3)) -> (a1, a2, a3) -> Int Source #

unsafeIndex :: ((a1, a2, a3), (a1, a2, a3)) -> (a1, a2, a3) -> Int Source #

inRange :: ((a1, a2, a3), (a1, a2, a3)) -> (a1, a2, a3) -> Bool Source #

rangeSize :: ((a1, a2, a3), (a1, a2, a3)) -> Int Source #

unsafeRangeSize :: ((a1, a2, a3), (a1, a2, a3)) -> Int Source #

(Ix a1, Ix a2, Ix a3, Ix a4) => Ix (a1, a2, a3, a4) | Since: base-2.1

Instance details

Defined in GHC.Internal.Ix

Methods

range :: ((a1, a2, a3, a4), (a1, a2, a3, a4)) -> [(a1, a2, a3, a4)] Source #

index :: ((a1, a2, a3, a4), (a1, a2, a3, a4)) -> (a1, a2, a3, a4) -> Int Source #

unsafeIndex :: ((a1, a2, a3, a4), (a1, a2, a3, a4)) -> (a1, a2, a3, a4) -> Int Source #

inRange :: ((a1, a2, a3, a4), (a1, a2, a3, a4)) -> (a1, a2, a3, a4) -> Bool Source #

rangeSize :: ((a1, a2, a3, a4), (a1, a2, a3, a4)) -> Int Source #

unsafeRangeSize :: ((a1, a2, a3, a4), (a1, a2, a3, a4)) -> Int Source #

(Ix a1, Ix a2, Ix a3, Ix a4, Ix a5) => Ix (a1, a2, a3, a4, a5) | Since: base-2.1

Instance details

Defined in GHC.Internal.Ix

Methods

range :: ((a1, a2, a3, a4, a5), (a1, a2, a3, a4, a5)) -> [(a1, a2, a3, a4, a5)] Source #

index :: ((a1, a2, a3, a4, a5), (a1, a2, a3, a4, a5)) -> (a1, a2, a3, a4, a5) -> Int Source #

unsafeIndex :: ((a1, a2, a3, a4, a5), (a1, a2, a3, a4, a5)) -> (a1, a2, a3, a4, a5) -> Int Source #

inRange :: ((a1, a2, a3, a4, a5), (a1, a2, a3, a4, a5)) -> (a1, a2, a3, a4, a5) -> Bool Source #

rangeSize :: ((a1, a2, a3, a4, a5), (a1, a2, a3, a4, a5)) -> Int Source #

unsafeRangeSize :: ((a1, a2, a3, a4, a5), (a1, a2, a3, a4, a5)) -> Int Source #

(Ix a1, Ix a2, Ix a3, Ix a4, Ix a5, Ix a6) => Ix (a1, a2, a3, a4, a5, a6) | Since: base-4.15.0.0

Instance details

Defined in GHC.Internal.Ix

Methods

range :: ((a1, a2, a3, a4, a5, a6), (a1, a2, a3, a4, a5, a6)) -> [(a1, a2, a3, a4, a5, a6)] Source #

index :: ((a1, a2, a3, a4, a5, a6), (a1, a2, a3, a4, a5, a6)) -> (a1, a2, a3, a4, a5, a6) -> Int Source #

unsafeIndex :: ((a1, a2, a3, a4, a5, a6), (a1, a2, a3, a4, a5, a6)) -> (a1, a2, a3, a4, a5, a6) -> Int Source #

inRange :: ((a1, a2, a3, a4, a5, a6), (a1, a2, a3, a4, a5, a6)) -> (a1, a2, a3, a4, a5, a6) -> Bool Source #

rangeSize :: ((a1, a2, a3, a4, a5, a6), (a1, a2, a3, a4, a5, a6)) -> Int Source #

unsafeRangeSize :: ((a1, a2, a3, a4, a5, a6), (a1, a2, a3, a4, a5, a6)) -> Int Source #

(Ix a1, Ix a2, Ix a3, Ix a4, Ix a5, Ix a6, Ix a7) => Ix (a1, a2, a3, a4, a5, a6, a7) | Since: base-4.15.0.0

Instance details

Defined in GHC.Internal.Ix

Methods

range :: ((a1, a2, a3, a4, a5, a6, a7), (a1, a2, a3, a4, a5, a6, a7)) -> [(a1, a2, a3, a4, a5, a6, a7)] Source #

index :: ((a1, a2, a3, a4, a5, a6, a7), (a1, a2, a3, a4, a5, a6, a7)) -> (a1, a2, a3, a4, a5, a6, a7) -> Int Source #

unsafeIndex :: ((a1, a2, a3, a4, a5, a6, a7), (a1, a2, a3, a4, a5, a6, a7)) -> (a1, a2, a3, a4, a5, a6, a7) -> Int Source #

inRange :: ((a1, a2, a3, a4, a5, a6, a7), (a1, a2, a3, a4, a5, a6, a7)) -> (a1, a2, a3, a4, a5, a6, a7) -> Bool Source #

rangeSize :: ((a1, a2, a3, a4, a5, a6, a7), (a1, a2, a3, a4, a5, a6, a7)) -> Int Source #

unsafeRangeSize :: ((a1, a2, a3, a4, a5, a6, a7), (a1, a2, a3, a4, a5, a6, a7)) -> Int Source #

(Ix a1, Ix a2, Ix a3, Ix a4, Ix a5, Ix a6, Ix a7, Ix a8) => Ix (a1, a2, a3, a4, a5, a6, a7, a8) | Since: base-4.15.0.0

Instance details

Defined in GHC.Internal.Ix

Methods

range :: ((a1, a2, a3, a4, a5, a6, a7, a8), (a1, a2, a3, a4, a5, a6, a7, a8)) -> [(a1, a2, a3, a4, a5, a6, a7, a8)] Source #

index :: ((a1, a2, a3, a4, a5, a6, a7, a8), (a1, a2, a3, a4, a5, a6, a7, a8)) -> (a1, a2, a3, a4, a5, a6, a7, a8) -> Int Source #

unsafeIndex :: ((a1, a2, a3, a4, a5, a6, a7, a8), (a1, a2, a3, a4, a5, a6, a7, a8)) -> (a1, a2, a3, a4, a5, a6, a7, a8) -> Int Source #

inRange :: ((a1, a2, a3, a4, a5, a6, a7, a8), (a1, a2, a3, a4, a5, a6, a7, a8)) -> (a1, a2, a3, a4, a5, a6, a7, a8) -> Bool Source #

rangeSize :: ((a1, a2, a3, a4, a5, a6, a7, a8), (a1, a2, a3, a4, a5, a6, a7, a8)) -> Int Source #

unsafeRangeSize :: ((a1, a2, a3, a4, a5, a6, a7, a8), (a1, a2, a3, a4, a5, a6, a7, a8)) -> Int Source #

(Ix a1, Ix a2, Ix a3, Ix a4, Ix a5, Ix a6, Ix a7, Ix a8, Ix a9) => Ix (a1, a2, a3, a4, a5, a6, a7, a8, a9) | Since: base-4.15.0.0

Instance details

Defined in GHC.Internal.Ix

Methods

range :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9), (a1, a2, a3, a4, a5, a6, a7, a8, a9)) -> [(a1, a2, a3, a4, a5, a6, a7, a8, a9)] Source #

index :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9), (a1, a2, a3, a4, a5, a6, a7, a8, a9)) -> (a1, a2, a3, a4, a5, a6, a7, a8, a9) -> Int Source #

unsafeIndex :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9), (a1, a2, a3, a4, a5, a6, a7, a8, a9)) -> (a1, a2, a3, a4, a5, a6, a7, a8, a9) -> Int Source #

inRange :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9), (a1, a2, a3, a4, a5, a6, a7, a8, a9)) -> (a1, a2, a3, a4, a5, a6, a7, a8, a9) -> Bool Source #

rangeSize :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9), (a1, a2, a3, a4, a5, a6, a7, a8, a9)) -> Int Source #

unsafeRangeSize :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9), (a1, a2, a3, a4, a5, a6, a7, a8, a9)) -> Int Source #

(Ix a1, Ix a2, Ix a3, Ix a4, Ix a5, Ix a6, Ix a7, Ix a8, Ix a9, Ix aA) => Ix (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA) | Since: base-4.15.0.0

Instance details

Defined in GHC.Internal.Ix

Methods

range :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA)) -> [(a1, a2, a3, a4, a5, a6, a7, a8, a9, aA)] Source #

index :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA)) -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA) -> Int Source #

unsafeIndex :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA)) -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA) -> Int Source #

inRange :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA)) -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA) -> Bool Source #

rangeSize :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA)) -> Int Source #

unsafeRangeSize :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA)) -> Int Source #

(Ix a1, Ix a2, Ix a3, Ix a4, Ix a5, Ix a6, Ix a7, Ix a8, Ix a9, Ix aA, Ix aB) => Ix (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB) | Since: base-4.15.0.0

Instance details

Defined in GHC.Internal.Ix

Methods

range :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB)) -> [(a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB)] Source #

index :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB)) -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB) -> Int Source #

unsafeIndex :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB)) -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB) -> Int Source #

inRange :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB)) -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB) -> Bool Source #

rangeSize :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB)) -> Int Source #

unsafeRangeSize :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB)) -> Int Source #

(Ix a1, Ix a2, Ix a3, Ix a4, Ix a5, Ix a6, Ix a7, Ix a8, Ix a9, Ix aA, Ix aB, Ix aC) => Ix (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC) | Since: base-4.15.0.0

Instance details

Defined in GHC.Internal.Ix

Methods

range :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC)) -> [(a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC)] Source #

index :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC)) -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC) -> Int Source #

unsafeIndex :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC)) -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC) -> Int Source #

inRange :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC)) -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC) -> Bool Source #

rangeSize :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC)) -> Int Source #

unsafeRangeSize :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC)) -> Int Source #

(Ix a1, Ix a2, Ix a3, Ix a4, Ix a5, Ix a6, Ix a7, Ix a8, Ix a9, Ix aA, Ix aB, Ix aC, Ix aD) => Ix (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD) | Since: base-4.15.0.0

Instance details

Defined in GHC.Internal.Ix

Methods

range :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD)) -> [(a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD)] Source #

index :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD)) -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD) -> Int Source #

unsafeIndex :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD)) -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD) -> Int Source #

inRange :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD)) -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD) -> Bool Source #

rangeSize :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD)) -> Int Source #

unsafeRangeSize :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD)) -> Int Source #

(Ix a1, Ix a2, Ix a3, Ix a4, Ix a5, Ix a6, Ix a7, Ix a8, Ix a9, Ix aA, Ix aB, Ix aC, Ix aD, Ix aE) => Ix (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE) | Since: base-4.15.0.0

Instance details

Defined in GHC.Internal.Ix

Methods

range :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE)) -> [(a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE)] Source #

index :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE)) -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE) -> Int Source #

unsafeIndex :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE)) -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE) -> Int Source #

inRange :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE)) -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE) -> Bool Source #

rangeSize :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE)) -> Int Source #

unsafeRangeSize :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE)) -> Int Source #

(Ix a1, Ix a2, Ix a3, Ix a4, Ix a5, Ix a6, Ix a7, Ix a8, Ix a9, Ix aA, Ix aB, Ix aC, Ix aD, Ix aE, Ix aF) => Ix (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE, aF) | Since: base-4.15.0.0

Instance details

Defined in GHC.Internal.Ix

Methods

range :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE, aF), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE, aF)) -> [(a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE, aF)] Source #

index :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE, aF), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE, aF)) -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE, aF) -> Int Source #

unsafeIndex :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE, aF), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE, aF)) -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE, aF) -> Int Source #

inRange :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE, aF), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE, aF)) -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE, aF) -> Bool Source #

rangeSize :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE, aF), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE, aF)) -> Int Source #

unsafeRangeSize :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE, aF), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE, aF)) -> Int Source #

(\\) :: SmallSetElement a => SmallSet a -> SmallSet a -> SmallSet a Source #

Time O(1).

complement :: SmallSetElement a => SmallSet a -> SmallSet a Source #

Time O(n).

delete :: SmallSetElement a => a -> SmallSet a -> SmallSet a Source #

Time O(1).

difference :: SmallSetElement a => SmallSet a -> SmallSet a -> SmallSet a Source #

Time O(1).

elems :: SmallSetElement a => SmallSet a -> [a] Source #

Time O(n).

empty :: SmallSetElement a => SmallSet a Source #

The empty set. Time O(1).

fromList :: SmallSetElement a => [a] -> SmallSet a Source #

Time O(n).

fromAscList :: SmallSetElement a => [a] -> SmallSet a Source #

Time O(n).

fromDistinctAscList :: SmallSetElement a => [a] -> SmallSet a Source #

Time O(n).

insert :: SmallSetElement a => a -> SmallSet a -> SmallSet a Source #

Time O(1).

intersection :: SmallSetElement a => SmallSet a -> SmallSet a -> SmallSet a Source #

Time O(1).

member :: SmallSetElement a => a -> SmallSet a -> Bool Source #

Time O(1).

notMember :: SmallSetElement a => a -> SmallSet a -> Bool Source #

`not . member a`. Time O(1).

null :: SmallSetElement a => SmallSet a -> Bool Source #

Time O(1).

singleton :: SmallSetElement a => a -> SmallSet a Source #

A singleton set. Time O(1).

toList :: SmallSetElement a => SmallSet a -> [a] Source #

Time O(n).

toAscList :: SmallSetElement a => SmallSet a -> [a] Source #

Time O(n).

total :: SmallSetElement a => SmallSet a Source #

The full set. Time O(1).

union :: SmallSetElement a => SmallSet a -> SmallSet a -> SmallSet a Source #

Time O(n).