Nero.Match

This module is mostly used for routing Requests based on their Path. It can also be used for matching with any arbitrary Text source.

Pattern

type Pattern = [Pat]

A pattern.

data Pat

One part of Pattern.

Instances

Eq Pat

Show Pat

IsString Pattern

data Value

A monomorphic wrapper for polymorphic results. Makes it easier to deal with lists of matches.

Instances

Eq Value

Show Value

text :: Pattern

A Pattern that captures anything.

text_ :: Text -> Pattern

Creates a Pattern from the given text discarding the match. When writing Patterns directly in source code, you may prefer to use the IsString instance of Pattern.

int :: Pattern

A Pattern that captures any Int.

Match

type Matcher a = Prism' Text a

Represents a Prism' from arbitrary Text to a Target result.

class Target a where

Helper class to support polymorphic target results.

Methods

target :: Prism' [Value] a

Instances

Target Int

Target Text

Target (Text, Int)

Target (Text, Text)

match :: Target a => Pattern -> Matcher a

Creates a Matcher from the given Pattern.