Idris2Doc : TyTTP.URL.Search

TyTTP.URL.Search

(source)
Definitions
SimpleSearch : Type
  Totality: total
  Visibility: public export
search : Monad m => (Context me (URL auth pth SimpleSearch) v h1 st h2 a b -> m (Context me' (URL auth pth SimpleSearch) v' h1' st' h2' a' b')) -> Context me (URL auth pth String) v h1 st h2 a b -> m (Context me' (URL auth pth String) v' h1' st' h2' a' b')
  Totality: total
  Visibility: export