Idris2Doc : TyRE.Parser.SMConstruction

TyRE.Parser.SMConstruction

(source)

Definitions

compile : TyREa->SMa
  Compile function creates a state machine from an untyped regex

Visibility: export