Text.Regex.PDeriv.Common

this module contains the defs of common data types and type classes

Documentation

type Range = (Int, Int)

(sub)words represent by range

type Letter = (Char, Int)

a character and its index (position)

class IsEmpty a where

Methods

isEmpty :: a -> Bool

Instances

IsEmpty RE

function isEmpty checks whether regular expressions are empty

my_hash :: Int -> Char -> Int

my_lookup :: Int -> Char -> IntMap [Int] -> [Int]

data GFlag

The greediness flag

Constructors

Greedy

greedy

NotGreedy

not greedy

Instances

Eq GFlag

Show GFlag

class IsGreedy a where

Methods

isGreedy :: a -> Bool

Instances

IsGreedy RE

IsGreedy Pat

Function isGreedy checks whether a pattern is greedy

nub2 :: [(Int, a)] -> [(Int, a)]

remove duplications in a list of pairs, using the first components as key.

nub3 :: [(Int, a, Int)] -> [(Int, a, Int)]