BuildBox.Command.Network

Working with the network.

Documentation

data PropNetwork

Constructors

HostReachable HostName

The given host is reachable with ping.

UrlGettable URL

Use wget to check if a web-page is gettable. The page is deleted after downloading.

Instances

Show PropNetwork

Methods

showsPrec :: Int -> PropNetwork -> ShowS

show :: PropNetwork -> String

showList :: [PropNetwork] -> ShowS

Testable PropNetwork

Methods

test :: PropNetwork -> Build Bool