Idris2Doc : TyRE.Parser.SMConstruction

TyRE.Parser.SMConstruction

(source)

Definitions

compile : TyRE a -> SM a
  Compile function creates a state machine from an untyped regex

Visibility: export