[{"display_html":"type family SortSymbols (xs :: [Symbol]) :: [Symbol] where ...","name":"SortSymbols","module":"System.TmpProc.TypeLevel.Sort","link":"System-TmpProc-TypeLevel-Sort.html#t:SortSymbols"},{"display_html":"type family Take (xs :: [k]) (n :: Nat) :: [k] where ...","name":"Take","module":"System.TmpProc.TypeLevel.Sort","link":"System-TmpProc-TypeLevel-Sort.html#t:Take"},{"display_html":"type family Drop (xs :: [k]) (n :: Nat) :: [k] where ...","name":"Drop","module":"System.TmpProc.TypeLevel.Sort","link":"System-TmpProc-TypeLevel-Sort.html#t:Drop"},{"display_html":"type family LengthOf (xs :: [k]) :: Nat where ...","name":"LengthOf","module":"System.TmpProc.TypeLevel.Sort","link":"System-TmpProc-TypeLevel-Sort.html#t:LengthOf"},{"display_html":"type family HalfOf (n :: Nat) :: Nat where ...","name":"HalfOf","module":"System.TmpProc.TypeLevel.Sort","link":"System-TmpProc-TypeLevel-Sort.html#t:HalfOf"},{"display_html":"data HList :: [Type] -> Type where","name":"HList HCons HNil","module":"System.TmpProc.TypeLevel","link":"System-TmpProc-TypeLevel.html#t:HList"},{"display_html":"(&:) :: x -> HList xs -> HList (x ': xs)","name":"&:","module":"System.TmpProc.TypeLevel","link":"System-TmpProc-TypeLevel.html#v:-38-:"},{"display_html":"only :: x -> HList '[x]","name":"only","module":"System.TmpProc.TypeLevel","link":"System-TmpProc-TypeLevel.html#v:only"},{"display_html":"(&:&) :: x -> y -> HList '[x, y]","name":"&:&","module":"System.TmpProc.TypeLevel","link":"System-TmpProc-TypeLevel.html#v:-38-:-38-"},{"display_html":"both :: x -> y -> HList '[x, y]","name":"both","module":"System.TmpProc.TypeLevel","link":"System-TmpProc-TypeLevel.html#v:both"},{"display_html":"hHead :: HList (a ': as) -> a","name":"hHead","module":"System.TmpProc.TypeLevel","link":"System-TmpProc-TypeLevel.html#v:hHead"},{"display_html":"hOf :: forall y xs. IsInProof y xs => Proxy y -> HList xs -> y","name":"hOf","module":"System.TmpProc.TypeLevel","link":"System-TmpProc-TypeLevel.html#v:hOf"},{"display_html":"class ReorderH xs ys where","name":"ReorderH hReorder","module":"System.TmpProc.TypeLevel","link":"System-TmpProc-TypeLevel.html#t:ReorderH"},{"display_html":"data KV :: Symbol -> Type -> Type where","name":"KV V","module":"System.TmpProc.TypeLevel","link":"System-TmpProc-TypeLevel.html#t:KV"},{"display_html":"select :: forall k t xs. MemberKV k t xs => HList xs -> t","name":"select","module":"System.TmpProc.TypeLevel","link":"System-TmpProc-TypeLevel.html#v:select"},{"display_html":"selectMany :: forall ks ts xs. ManyMemberKV ks ts xs => HList xs -> HList ts","name":"selectMany","module":"System.TmpProc.TypeLevel","link":"System-TmpProc-TypeLevel.html#v:selectMany"},{"display_html":"data LookupKV (k :: Symbol) t (xs :: [Type]) where","name":"LookupKV AtHead OtherKeys","module":"System.TmpProc.TypeLevel","link":"System-TmpProc-TypeLevel.html#t:LookupKV"},{"display_html":"class MemberKV (k :: Symbol) (t :: Type) (xs :: [Type]) where","name":"MemberKV lookupProof","module":"System.TmpProc.TypeLevel","link":"System-TmpProc-TypeLevel.html#t:MemberKV"},{"display_html":"class ManyMemberKV (ks :: [Symbol]) (ts :: [Type]) (kvs :: [Type]) where","name":"ManyMemberKV manyProof","module":"System.TmpProc.TypeLevel","link":"System-TmpProc-TypeLevel.html#t:ManyMemberKV"},{"display_html":"type family IsAbsent e r :: Constraint where ...","name":"IsAbsent","module":"System.TmpProc.TypeLevel","link":"System-TmpProc-TypeLevel.html#t:IsAbsent"},{"display_html":"class IsInProof t (tys :: [Type])","name":"IsInProof","module":"System.TmpProc.TypeLevel","link":"System-TmpProc-TypeLevel.html#t:IsInProof"},{"display_html":"module System.TmpProc.TypeLevel.Sort","name":"","module":"System.TmpProc.TypeLevel","link":""},{"display_html":"class (KnownSymbol (Image a), KnownSymbol (Name a)) => Proc a where","name":"Proc Name Image reset runArgs uriOf ping pingCount pingGap","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#t:Proc"},{"display_html":"startup :: ProcPlus a prepared => a -> IO (ProcHandle a)","name":"startup","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#v:startup"},{"display_html":"nameOf :: forall a. Proc a => a -> Text","name":"nameOf","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#v:nameOf"},{"display_html":"uriOf' :: forall a. Proc a => a -> HostIpAddress -> SvcURI","name":"uriOf'","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#v:uriOf-39-"},{"display_html":"runArgs' :: forall a. Proc a => a -> [Text]","name":"runArgs'","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#v:runArgs-39-"},{"display_html":"data Pinged","name":"Pinged OK NotOK PingFailed","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#t:Pinged"},{"display_html":"toPinged :: forall e a. Exception e => Proxy e -> IO a -> IO Pinged","name":"toPinged","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#v:toPinged"},{"display_html":"class AreProcs as","name":"AreProcs","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#t:AreProcs"},{"display_html":"class Preparer a prepared => ToRunCmd a prepared where","name":"ToRunCmd toRunCmd","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#t:ToRunCmd"},{"display_html":"class Preparer a prepared | a -> prepared where","name":"Preparer prepare tidy","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#t:Preparer"},{"display_html":"type ProcPlus a prepared = (Proc a, ToRunCmd a prepared, Preparer a prepared)","name":"ProcPlus","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#t:ProcPlus"},{"display_html":"startupAll :: AreProcs procs => HList procs -> IO (HandlesOf procs)","name":"startupAll","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#v:startupAll"},{"display_html":"terminateAll :: AreProcs procs => HandlesOf procs -> IO ()","name":"terminateAll","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#v:terminateAll"},{"display_html":"withTmpProcs :: AreProcs procs => HList procs -> (HandlesOf procs -> IO b) -> IO b","name":"withTmpProcs","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#v:withTmpProcs"},{"display_html":"startupAll' :: AreProcs procs => Maybe Text -> HList procs -> IO (NetworkHandlesOf procs)","name":"startupAll'","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#v:startupAll-39-"},{"display_html":"netwTerminateAll :: AreProcs procs => NetworkHandlesOf procs -> IO ()","name":"netwTerminateAll","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#v:netwTerminateAll"},{"display_html":"netwStartupAll :: AreProcs procs => HList procs -> IO (NetworkHandlesOf procs)","name":"netwStartupAll","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#v:netwStartupAll"},{"display_html":"data ProcHandle a where","name":"ProcHandle ProcHandle hUri hPid hAddr hProc","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#t:ProcHandle"},{"display_html":"handleOf :: HandleOf a procs b => Proxy a -> HandlesOf procs -> ProcHandle b","name":"handleOf","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#v:handleOf"},{"display_html":"data SlimHandle = SlimHandle {}","name":"SlimHandle SlimHandle shName shIpAddress shPid shUri","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#t:SlimHandle"},{"display_html":"slim :: Proc a => ProcHandle a -> SlimHandle","name":"slim","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#v:slim"},{"display_html":"type family Proc2Handle (as :: [Type]) = (handleTys :: [Type]) | handleTys -> as where ...","name":"Proc2Handle","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#t:Proc2Handle"},{"display_html":"type HasHandle aProc procs = (Proc aProc, AreProcs procs, IsInProof (ProcHandle aProc) (Proc2Handle procs))","name":"HasHandle","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#t:HasHandle"},{"display_html":"type HasNamedHandle name a procs = (name ~ Name a, Proc a, AreProcs procs, MemberKV name (ProcHandle a) (Handle2KV (Proc2Handle procs)))","name":"HasNamedHandle","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#t:HasNamedHandle"},{"display_html":"type HandlesOf procs = HList (Proc2Handle procs)","name":"HandlesOf","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#t:HandlesOf"},{"display_html":"ixReset :: IxReset a procs => Proxy a -> HandlesOf procs -> IO ()","name":"ixReset","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#v:ixReset"},{"display_html":"ixPing :: IxPing a procs => Proxy a -> HandlesOf procs -> IO Pinged","name":"ixPing","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#v:ixPing"},{"display_html":"ixUriOf :: IxUriOf a procs => Proxy a -> HandlesOf procs -> SvcURI","name":"ixUriOf","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#v:ixUriOf"},{"display_html":"manyNamed :: SomeNamedHandles names namedProcs someProcs sortedProcs => Proxy names -> HandlesOf someProcs -> HandlesOf namedProcs","name":"manyNamed","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#v:manyNamed"},{"display_html":"mapSlim :: AreProcs procs => HandlesOf procs -> [SlimHandle]","name":"mapSlim","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#v:mapSlim"},{"display_html":"type SomeNamedHandles names procs someProcs sortedProcs = (names ~ Proc2Name procs, ManyMemberKV (SortSymbols names) (SortHandles (Proc2Handle procs)) (Handle2KV (Proc2Handle sortedProcs)), ReorderH (SortHandles (Proc2Handle procs)) (Proc2Handle procs), ReorderH (Proc2Handle someProcs) (Proc2Handle sortedProcs), AreProcs sortedProcs, SortHandles (Proc2Handle someProcs) ~ Proc2Handle sortedProcs)","name":"SomeNamedHandles","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#t:SomeNamedHandles"},{"display_html":"type NetworkHandlesOf procs = (Text, HandlesOf procs)","name":"NetworkHandlesOf","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#t:NetworkHandlesOf"},{"display_html":"class Proc a => Connectable a where","name":"Connectable Conn openConn closeConn","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#t:Connectable"},{"display_html":"withTmpConn :: Connectable a => ProcHandle a -> (Conn a -> IO b) -> IO b","name":"withTmpConn","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#v:withTmpConn"},{"display_html":"openAll :: Connectables xs => HandlesOf xs -> IO (HList (ConnsOf xs))","name":"openAll","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#v:openAll"},{"display_html":"closeAll :: Connectables procs => HList (ConnsOf procs) -> IO ()","name":"closeAll","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#v:closeAll"},{"display_html":"withConns :: Connectables procs => HandlesOf procs -> (HList (ConnsOf procs) -> IO b) -> IO b","name":"withConns","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#v:withConns"},{"display_html":"withConnOf :: (HandleOf idx procs namedConn, Connectable namedConn) => Proxy idx -> HandlesOf procs -> (Conn namedConn -> IO b) -> IO b","name":"withConnOf","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#v:withConnOf"},{"display_html":"withKnownConns :: (AreProcs someProcs, Connectables conns, ReorderH (Proc2Handle someProcs) (Proc2Handle conns)) => HandlesOf someProcs -> (HList (ConnsOf conns) -> IO b) -> IO b","name":"withKnownConns","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#v:withKnownConns"},{"display_html":"withNamedConns :: (SomeNamedHandles names namedConns someProcs sortedProcs, Connectables namedConns) => Proxy names -> HandlesOf someProcs -> (HList (ConnsOf namedConns) -> IO b) -> IO b","name":"withNamedConns","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#v:withNamedConns"},{"display_html":"class Connectables as","name":"Connectables","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#t:Connectables"},{"display_html":"hasDocker :: IO Bool","name":"hasDocker","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#v:hasDocker"},{"display_html":"genNetworkName :: IO Text","name":"genNetworkName","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#v:genNetworkName"},{"display_html":"type HostIpAddress = Text","name":"HostIpAddress","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#t:HostIpAddress"},{"display_html":"type SvcURI = ByteString","name":"SvcURI","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#t:SvcURI"},{"display_html":"type family SortSymbols (xs :: [Symbol]) :: [Symbol] where ...","name":"SortSymbols","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#t:SortSymbols"},{"display_html":"type family HalfOf (n :: Nat) :: Nat where ...","name":"HalfOf","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#t:HalfOf"},{"display_html":"type family LengthOf (xs :: [k]) :: Nat where ...","name":"LengthOf","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#t:LengthOf"},{"display_html":"type family Drop (xs :: [k]) (n :: Nat) :: [k] where ...","name":"Drop","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#t:Drop"},{"display_html":"type family Take (xs :: [k]) (n :: Nat) :: [k] where ...","name":"Take","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#t:Take"},{"display_html":"class IsInProof t (tys :: [Type])","name":"IsInProof","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#t:IsInProof"},{"display_html":"class ReorderH xs ys where","name":"ReorderH hReorder","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#t:ReorderH"},{"display_html":"class ManyMemberKV (ks :: [Symbol]) (ts :: [Type]) (kvs :: [Type])","name":"ManyMemberKV","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#t:ManyMemberKV"},{"display_html":"class MemberKV (k :: Symbol) (t :: Type) (xs :: [Type])","name":"MemberKV","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#t:MemberKV"},{"display_html":"type family IsAbsent e r :: Constraint where ...","name":"IsAbsent","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#t:IsAbsent"},{"display_html":"data KV :: Symbol -> Type -> Type where","name":"KV V","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#t:KV"},{"display_html":"data HList :: [Type] -> Type where","name":"HList HCons HNil","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#t:HList"},{"display_html":"hHead :: HList (a ': as) -> a","name":"hHead","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#v:hHead"},{"display_html":"hOf :: forall y xs. IsInProof y xs => Proxy y -> HList xs -> y","name":"hOf","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#v:hOf"},{"display_html":"(&:) :: x -> HList xs -> HList (x ': xs)","name":"&:","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#v:-38-:"},{"display_html":"both :: x -> y -> HList '[x, y]","name":"both","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#v:both"},{"display_html":"(&:&) :: x -> y -> HList '[x, y]","name":"&:&","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#v:-38-:-38-"},{"display_html":"only :: x -> HList '[x]","name":"only","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#v:only"},{"display_html":"select :: forall k t xs. MemberKV k t xs => HList xs -> t","name":"select","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#v:select"},{"display_html":"selectMany :: forall ks ts xs. ManyMemberKV ks ts xs => HList xs -> HList ts","name":"selectMany","module":"System.TmpProc.Docker","link":"System-TmpProc-Docker.html#v:selectMany"},{"display_html":"testWithApplication :: AreProcs procs => HList procs -> (HandlesOf procs -> IO Application) -> ((HandlesOf procs, Port) -> IO a) -> IO a","name":"testWithApplication","module":"System.TmpProc.Warp","link":"System-TmpProc-Warp.html#v:testWithApplication"},{"display_html":"testWithReadyApplication :: AreProcs procs => (Port -> IO ()) -> HList procs -> (HandlesOf procs -> IO Application) -> ((HandlesOf procs, Port) -> IO a) -> IO a","name":"testWithReadyApplication","module":"System.TmpProc.Warp","link":"System-TmpProc-Warp.html#v:testWithReadyApplication"},{"display_html":"testWithTLSApplication :: AreProcs procs => TLSSettings -> HList procs -> (HandlesOf procs -> IO Application) -> ((HandlesOf procs, Port) -> IO a) -> IO a","name":"testWithTLSApplication","module":"System.TmpProc.Warp","link":"System-TmpProc-Warp.html#v:testWithTLSApplication"},{"display_html":"testWithReadyTLSApplication :: AreProcs procs => TLSSettings -> (Port -> IO ()) -> HList procs -> (HandlesOf procs -> IO Application) -> ((HandlesOf procs, Port) -> IO a) -> IO a","name":"testWithReadyTLSApplication","module":"System.TmpProc.Warp","link":"System-TmpProc-Warp.html#v:testWithReadyTLSApplication"},{"display_html":"data ServerHandle procs","name":"ServerHandle","module":"System.TmpProc.Warp","link":"System-TmpProc-Warp.html#t:ServerHandle"},{"display_html":"serverPort :: ServerHandle procs -> Port","name":"serverPort","module":"System.TmpProc.Warp","link":"System-TmpProc-Warp.html#v:serverPort"},{"display_html":"handles :: AreProcs procs => ServerHandle procs -> HandlesOf procs","name":"handles","module":"System.TmpProc.Warp","link":"System-TmpProc-Warp.html#v:handles"},{"display_html":"shutdown :: AreProcs procs => ServerHandle procs -> IO ()","name":"shutdown","module":"System.TmpProc.Warp","link":"System-TmpProc-Warp.html#v:shutdown"},{"display_html":"runServer :: AreProcs procs => HList procs -> (HandlesOf procs -> IO Application) -> IO (ServerHandle procs)","name":"runServer","module":"System.TmpProc.Warp","link":"System-TmpProc-Warp.html#v:runServer"},{"display_html":"runReadyServer :: AreProcs procs => (Port -> IO ()) -> HList procs -> (HandlesOf procs -> IO Application) -> IO (ServerHandle procs)","name":"runReadyServer","module":"System.TmpProc.Warp","link":"System-TmpProc-Warp.html#v:runReadyServer"},{"display_html":"runTLSServer :: AreProcs procs => TLSSettings -> HList procs -> (HandlesOf procs -> IO Application) -> IO (ServerHandle procs)","name":"runTLSServer","module":"System.TmpProc.Warp","link":"System-TmpProc-Warp.html#v:runTLSServer"},{"display_html":"runReadyTLSServer :: AreProcs procs => TLSSettings -> (Port -> IO ()) -> HList procs -> (HandlesOf procs -> IO Application) -> IO (ServerHandle procs)","name":"runReadyTLSServer","module":"System.TmpProc.Warp","link":"System-TmpProc-Warp.html#v:runReadyTLSServer"},{"display_html":"checkHealth :: Int -> IO (Either a b) -> IO ()","name":"checkHealth","module":"System.TmpProc.Warp","link":"System-TmpProc-Warp.html#v:checkHealth"},{"display_html":"module System.TmpProc.Docker","name":"","module":"System.TmpProc","link":""},{"display_html":"module System.TmpProc.Warp","name":"","module":"System.TmpProc","link":""}]