Idris2Doc : Text.WebIDL.Parser.Util

Text.WebIDL.Parser.Util

Reexports

import public Data.Refined
import public Data.List.Elem
import public Text.Parse.Manual
import public Text.WebIDL.Types
import public Text.WebIDL.Lexer

Definitions

fromChar : Char -> IdlToken: Visibility: export
fromString : (v : String) -> {auto 0 _ : Holds IsKeyword v} -> IdlToken: Visibility: export
0 AccRule : Bool -> Type -> Type: Visibility: public export
0 Rule : Bool -> Type -> Type: Visibility: public export
isOpen : IdlToken -> Bool: Visibility: public export
closes : IdlToken -> IdlToken -> Bool: Visibility: public export
ident : Rule True Identifier: Visibility: public export
inj : Result0 b t ts e a -> Elem a xs => Result0 b t ts e (NS I xs): Visibility: public export