Idris2Doc : Pact.Server

Pact.Server

(source)
Reexports
import public Pact.API
import public Pact.WAI
import public Pact.Server.Core
import public Pact.Server.HTTP
import public Pact.Server.Util