Provide global import for Internet access

propensive · Aug 29, 2024 · 79adb6f · 79adb6f
1 parent 6d1b5e5
commit 79adb6f
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/src/core/nettlesome-core.scala b/src/core/nettlesome-core.scala
@@ -16,6 +16,7 @@
 
 package nettlesome
 
+import contingency.*
 import prepositional.*
 
 export Nettlesome.Ipv6
@@ -45,3 +46,7 @@ def internet[ResultType](online: Boolean)(block: Internet ?=> ResultType): Resul
   block(using Internet(online))
 
 def online(using internet: Internet): Boolean = internet.online
+
+package internetAccess:
+  given Online as enabled = Online()
+  given (using Tactic[OfflineError]) => Online as disabled = abort(OfflineError())
diff --git a/src/core/soundness+nettlesome-core.scala b/src/core/soundness+nettlesome-core.scala
@@ -19,3 +19,6 @@ package soundness
 export nettlesome.{ip, mac, tcp, udp, on, internet, online, EmailAddress, EmailAddressError,
     Endpoint, Hostname, HostnameError, Internet, IpAddressError, LocalPart, MacAddressError,
     OfflineError, Online, Port, PortError, Connectable, serve}
+
+package internetAccess:
+  export nettlesome.internetAccess.{enabled, disabled}