Modulecharset-0.3.12Haskell2010

Data.CharSet

A CharSet is an efficient representation of a set of Char values designed for fast membership tests.

As an example build isAlpha will create a set of alphabetic characters. We can then use member on the generated set to efficiently test if a given Char represents an alphabetic character.

Designed to be imported qualified:

import Data.CharSet (CharSet)
import qualified Data.CharSet as CharSet

Contents

Set type
Operators
Query
Construction
Combine
Filter
Map
Fold
Conversion
List
Ordered list
IntMaps
Array

Synopsis

data CharSet
value \\
value null
value size
value member
value notMember
value overlaps
value isSubsetOf
value isComplemented
value build
value empty
value singleton
value full
value insert
value delete
value complement
value range
value union
value intersection
value difference
value filter
value partition
value map
value fold
value toList
value fromList
value toAscList
value fromAscList
value fromDistinctAscList
value fromCharSet
value toCharSet
value toArray

Packagecharset-0.3.12
Exports32
LanguageHaskell2010
LicenceBSD-3-Clause
SourceCharSet.hs

Set type

datadata CharSet

Source#

Stored as a (possibly negated) IntSet and a fast set used for the head byte.

The set of valid (possibly negated) head bytes is stored unboxed as a 32-byte bytestring-based lookup table.

Constructors

CharSet !Bool !ByteSet !IntSet

Instances9Bounded, Eq, Data, Ord, Read, Show, …

Bounded CharSetDefined in charset-0.3.12 · Data.CharSet
Eq CharSetDefined in charset-0.3.12 · Data.CharSet
Data CharSetDefined in charset-0.3.12 · Data.CharSet
Ord CharSetDefined in charset-0.3.12 · Data.CharSet
Read CharSetDefined in charset-0.3.12 · Data.CharSet
Show CharSetDefined in charset-0.3.12 · Data.CharSet
IsString CharSetDefined in charset-0.3.12 · Data.CharSet
```
= CharSet.fromList
```
Semigroup CharSetDefined in charset-0.3.12 · Data.CharSet
Monoid CharSetDefined in charset-0.3.12 · Data.CharSet

Operators

value(\\) :: CharSet -> CharSet -> CharSet

Query

valuenull :: CharSet -> Bool

Source#

O(n) worst case

valuesize :: CharSet -> Int

Source#

O(n)

valuemember :: Char -> CharSet -> Bool

valuenotMember :: Char -> CharSet -> Bool

valueoverlaps :: CharSet -> CharSet -> Bool

valueisSubsetOf :: CharSet -> CharSet -> Bool

valueisComplemented :: CharSet -> Bool

Construction

valuebuild :: (Char -> Bool) -> CharSet

Source#

Applies a predicate across the whole range of possible character values to create a set of only those characters which satisfy the predicate.

As an example build isAlpha will generate a CharSet of all alphabetic characters.

valueempty :: CharSet

valuesingleton :: Char -> CharSet

valuefull :: CharSet

valueinsert :: Char -> CharSet -> CharSet

valuedelete :: Char -> CharSet -> CharSet

valuecomplement :: CharSet -> CharSet

valuerange :: Char -> Char -> CharSet

Combine

valueunion :: CharSet -> CharSet -> CharSet

valueintersection :: CharSet -> CharSet -> CharSet

valuedifference :: CharSet -> CharSet -> CharSet

Filter

valuefilter :: (Char -> Bool) -> CharSet -> CharSet

valuepartition :: (Char -> Bool) -> CharSet -> (CharSet, CharSet)

Map

valuemap :: (Char -> Char) -> CharSet -> CharSet

Fold

valuefold :: (Char -> b -> b) -> b -> CharSet -> b

Conversion

List

valuetoList :: CharSet -> String

valuefromList :: String -> CharSet

Ordered list

valuetoAscList :: CharSet -> String

valuefromAscList :: String -> CharSet

valuefromDistinctAscList :: String -> CharSet

IntMaps

valuefromCharSet :: CharSet -> (Bool, IntSet)

valuetoCharSet :: IntSet -> CharSet

Array

valuetoArray :: CharSet -> UArray Char Bool