Cryptol.Utils.Patterns

Documentation

newtype Match b

Constructors

Match (forall r. r -> (b -> r) -> r)

Instances

MonadFail Match

Defined in Cryptol.Utils.Patterns

Methods

fail :: String -> Match a

Alternative Match

Defined in Cryptol.Utils.Patterns

Methods

empty :: Match a

(<|>) :: Match a -> Match a -> Match a

some :: Match a -> Match [a]

many :: Match a -> Match [a]

Applicative Match

Defined in Cryptol.Utils.Patterns

Methods

pure :: a -> Match a

(<*>) :: Match (a -> b) -> Match a -> Match b

liftA2 :: (a -> b -> c) -> Match a -> Match b -> Match c

(*>) :: Match a -> Match b -> Match b

(<*) :: Match a -> Match b -> Match a

Functor Match

Defined in Cryptol.Utils.Patterns

Methods

fmap :: (a -> b) -> Match a -> Match b

(<$) :: a -> Match b -> Match a

Monad Match

Defined in Cryptol.Utils.Patterns

Methods

(>>=) :: Match a -> (a -> Match b) -> Match b

(>>) :: Match a -> Match b -> Match b

return :: a -> Match a

MonadPlus Match

Defined in Cryptol.Utils.Patterns

Methods

mzero :: Match a

mplus :: Match a -> Match a -> Match a

type Pat a b = a -> Match b

(|||) :: Pat a b -> Pat a b -> Pat a b

(&&&) :: Pat a b -> Pat a c -> Pat a (b, c)

Check that a value satisfies multiple patterns. For example, an "as" pattern is (__ &&& p).

(~>) :: Pat a b -> (b -> c) -> Pat a c

Match a value, and modify the result.

(~~>) :: Pat a b -> c -> Pat a c

Match a value, and return the given result

(<~) :: (a -> b) -> Pat b c -> Pat a c

View pattern.

__ :: Pat a a

Variable pattern.

succeed :: a -> Pat x a

Constant pattern.

checkThat :: (a -> Bool) -> Pat a ()

Predicate pattern

lit :: Eq a => a -> Pat a ()

Check for exact value.

matchDefault :: a -> Match a -> a

Match a pattern, using the given default if valure.

match :: Match a -> a

Match an irrefutable pattern. Crashes on faliure.

matchMaybe :: Match a -> Maybe a

list :: [Pat a b] -> Pat [a] [b]

(><) :: Pat a b -> Pat x y -> Pat (a, x) (b, y)

class Matches thing pats res | pats -> thing res where

Methods

matches :: thing -> pats -> Match res

Instances

(f ~ Pat a a1', a1 ~ Pat a1' r1) => Matches a (f, a1) r1

Defined in Cryptol.Utils.Patterns

Methods

matches :: a -> (f, a1) -> Match r1

(op ~ Pat a (a1', a2'), a1 ~ Pat a1' r1, a2 ~ Pat a2' r2) => Matches a (op, a1, a2) (r1, r2)

Defined in Cryptol.Utils.Patterns

Methods

matches :: a -> (op, a1, a2) -> Match (r1, r2)

(op ~ Pat a (a1', a2', a3'), a1 ~ Pat a1' r1, a2 ~ Pat a2' r2, a3 ~ Pat a3' r3) => Matches a (op, a1, a2, a3) (r1, r2, r3)

Defined in Cryptol.Utils.Patterns

Methods

matches :: a -> (op, a1, a2, a3) -> Match (r1, r2, r3)