TyRE.Parser

Definitions

parseFull : TyRE a -> List Char -> Maybe a

Totality: total
Visibility: export

parsePrefix : TyRE a -> List Char -> Bool -> (Maybe a, List Char)

Totality: total
Visibility: export

asDisjointMatches : (re : TyRE a) -> {auto 0 _ : IsConsuming re} -> List Char -> Bool -> DisjointMatches a

Visibility: export

getToken : TyRE a -> Stream Char -> Bool -> (Maybe a, Stream Char)

Visibility: export