Idris2Doc : TyTTP.URL.Simple

TyTTP.URL.Simple

(source)
Reexports
import public Control.Monad.Either
Definitions
SimpleURL : Type
  Visibility: public export
data URLParserError : Type
  Totality: total
  Visibility: public export
  Constructors:
  
EmptyString : URLParserError
  
MissingAuthorityOrPath : URLParserError
parse : String -> Either URLParserError SimpleURL
  Visibility: export
parseUrl : MonadError URLParserError m => (Context me SimpleURL v h1 s h2 a b -> m (Context me' SimpleURL v' h1' s' h2' a' b')) -> Context me String v h1 s h2 a b -> m (Context me' String v' h1' s' h2' a' b')
  Visibility: export
parseUrl' : Monad m => (URLParserError -> Context me String v h1 s h2 a b -> m (Context me' String v' h1' s' h2' a' b')) -> (Context me SimpleURL v h1 s h2 a b -> EitherT URLParserError m (Context me' SimpleURL v' h1' s' h2' a' b')) -> Context me String v h1 s h2 a b -> m (Context me' String v' h1' s' h2' a' b')
  Visibility: export