unison-parser-typechecker-0.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

Unison.Util.Text.Pattern

Documentation

data Pattern Source #

Constructors

Join [Pattern] 
Or Pattern Pattern 
Capture Pattern 
CaptureAs Text Pattern 
Many Bool Pattern 
Replicate Int Int Pattern 
Eof 
Literal Text 
Char CharPattern 

Instances

Instances details
Show Pattern Source # 
Instance details

Defined in Unison.Util.Text.Pattern

Methods

showsPrec :: Int -> Pattern -> ShowS #

show :: Pattern -> String #

showList :: [Pattern] -> ShowS #

Eq Pattern Source # 
Instance details

Defined in Unison.Util.Text.Pattern

Methods

(==) :: Pattern -> Pattern -> Bool #

(/=) :: Pattern -> Pattern -> Bool #

Ord Pattern Source # 
Instance details

Defined in Unison.Util.Text.Pattern

Methods

compare :: Pattern -> Pattern -> Ordering #

(<) :: Pattern -> Pattern -> Bool #

(<=) :: Pattern -> Pattern -> Bool #

(>) :: Pattern -> Pattern -> Bool #

(>=) :: Pattern -> Pattern -> Bool #

max :: Pattern -> Pattern -> Pattern #

min :: Pattern -> Pattern -> Pattern #

data CharPattern Source #

Constructors

Any 
Not CharPattern 
Union CharPattern CharPattern 
Intersect CharPattern CharPattern 
CharRange Char Char 
CharSet [Char] 
CharClass CharClass 

Instances

Instances details
Show CharPattern Source # 
Instance details

Defined in Unison.Util.Text.Pattern

Methods

showsPrec :: Int -> CharPattern -> ShowS #

show :: CharPattern -> String #

showList :: [CharPattern] -> ShowS #

Eq CharPattern Source # 
Instance details

Defined in Unison.Util.Text.Pattern

Methods

(==) :: CharPattern -> CharPattern -> Bool #

(/=) :: CharPattern -> CharPattern -> Bool #

Ord CharPattern Source # 
Instance details

Defined in Unison.Util.Text.Pattern

Methods

compare :: CharPattern -> CharPattern -> Ordering #

(<) :: CharPattern -> CharPattern -> Bool #

(<=) :: CharPattern -> CharPattern -> Bool #

(>) :: CharPattern -> CharPattern -> Bool #

(>=) :: CharPattern -> CharPattern -> Bool #

max :: CharPattern -> CharPattern -> CharPattern #

min :: CharPattern -> CharPattern -> CharPattern #

data CharClass Source #

Constructors

AlphaNum 
Upper 
Lower 
Whitespace 
Control 
Printable 
MarkChar 
Number 
Punctuation 
Symbol 
Separator 
Letter 

Instances

Instances details
Show CharClass Source # 
Instance details

Defined in Unison.Util.Text.Pattern

Methods

showsPrec :: Int -> CharClass -> ShowS #

show :: CharClass -> String #

showList :: [CharClass] -> ShowS #

Eq CharClass Source # 
Instance details

Defined in Unison.Util.Text.Pattern

Methods

(==) :: CharClass -> CharClass -> Bool #

(/=) :: CharClass -> CharClass -> Bool #

Ord CharClass Source # 
Instance details

Defined in Unison.Util.Text.Pattern

Methods

compare :: CharClass -> CharClass -> Ordering #

(<) :: CharClass -> CharClass -> Bool #

(<=) :: CharClass -> CharClass -> Bool #

(>) :: CharClass -> CharClass -> Bool #

(>=) :: CharClass -> CharClass -> Bool #

max :: CharClass -> CharClass -> CharClass #

min :: CharClass -> CharClass -> CharClass #

data CPattern Source #

Constructors

CP Pattern (Text -> Maybe ([Text], Text)) 

Instances

Instances details
Eq CPattern Source # 
Instance details

Defined in Unison.Util.Text.Pattern

Methods

(==) :: CPattern -> CPattern -> Bool #

(/=) :: CPattern -> CPattern -> Bool #

Ord CPattern Source # 
Instance details

Defined in Unison.Util.Text.Pattern

Methods

compare :: CPattern -> CPattern -> Ordering #

(<) :: CPattern -> CPattern -> Bool #

(<=) :: CPattern -> CPattern -> Bool #

(>) :: CPattern -> CPattern -> Bool #

(>=) :: CPattern -> CPattern -> Bool #

max :: CPattern -> CPattern -> CPattern #

min :: CPattern -> CPattern -> CPattern #

cpattern :: Pattern -> CPattern Source #

run :: Pattern -> Text -> Maybe ([Text], Text) Source #

data Stack Source #

Constructors

Empty !Captures 
Mark !Captures !Text !Stack 

type Captures = [Text] -> [Text] Source #

stackCaptures :: Stack -> Captures Source #

pushCaptures :: Captures -> Stack -> Stack Source #

pushCapture :: Text -> Stack -> Stack Source #

appendCaptures :: Captures -> Captures -> Captures Source #

emptyCaptures :: Captures Source #

capturesToList :: Captures -> [Text] Source #

type Compiled r = (Stack -> Text -> r) -> (Stack -> Text -> r) -> Stack -> Text -> r Source #

compile :: Pattern -> Compiled r Source #

charInPred :: [Char] -> Char -> Bool Source #

charNotInPred :: [Char] -> Char -> Bool Source #

charPatternPred :: CharPattern -> Char -> Bool Source #

charClassPred :: CharClass -> Char -> Bool Source #

try :: String -> Compiled r -> Compiled r Source #