Idris2Doc
: TyRE.Parser.SMConstruction
Index
Default
Alternative
Black & White
TyRE.Parser.SMConstruction
(
source
)
Definitions
compile
:
TyRE
a
->
SM
a
Compile function creates a state machine from an untyped regex
Visibility
:
export