quick-process
Safe HaskellNone
LanguageGHC2024

System.Process.Quick.Predicate.Regex

Documentation

data Regex (p :: Symbol) Source #

Constructors

Regex 

Instances

Instances details
KnownSymbol s => Predicate (Regex s :: Type) String Source # 
Instance details

Defined in System.Process.Quick.Predicate.Regex

Methods

validate :: Proxy (Regex s) -> String -> Maybe RefineException #

Generic (Regex p) Source # 
Instance details

Defined in System.Process.Quick.Predicate.Regex

Associated Types

type Rep (Regex p) 
Instance details

Defined in System.Process.Quick.Predicate.Regex

type Rep (Regex p) = D1 ('MetaData "Regex" "System.Process.Quick.Predicate.Regex" "quick-process-0.0.1-inplace" 'False) (C1 ('MetaCons "Regex" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: Regex p -> Rep (Regex p) x #

to :: Rep (Regex p) x -> Regex p #

KnownSymbol p => Arbitrary (Refined (Regex p) String) Source # 
Instance details

Defined in System.Process.Quick.Predicate.Regex

Methods

arbitrary :: Gen (Refined (Regex p) String) #

shrink :: Refined (Regex p) String -> [Refined (Regex p) String] #

type Rep (Regex p) Source # 
Instance details

Defined in System.Process.Quick.Predicate.Regex

type Rep (Regex p) = D1 ('MetaData "Regex" "System.Process.Quick.Predicate.Regex" "quick-process-0.0.1-inplace" 'False) (C1 ('MetaCons "Regex" 'PrefixI 'False) (U1 :: Type -> Type))

type FsPath = Regex "^([/~]|(~[/]|[/])?[^/\NUL-\US]+([/][^/\NUL-\US]+)*[/]?)$" Source #

type FsPath2 = Regex "^([/~]|(~[/]|[/])?[a-zA-Z0-9._ -]+([/][a-zA-Z0-9._ -]+)*[/]?)$" Source #