/dhall-infra/Rule/create.dhall
Copy path to clipboardA Rule constructor
Examples
create "tcp" +8080 "10.0.0.2"
=== Rule::{
, protocol = Some "tcp"
, port = +8080
, remote_ip_prefix = Some "10.0.0.2"
}
Source
--| A Rule constructor
let Rule = { Type = ./Type.dhall, default = ./default.dhall }
let create
: forall (protocol : Text) ->
forall (port : Integer) ->
forall (ip : Text) ->
Rule.Type
= \(proto : Text) ->
\(port : Integer) ->
\(ip : Text) ->
Rule::{ port, protocol = Some proto, remote_ip_prefix = Some ip }
let example0 =
assert
: create "tcp" +8080 "10.0.0.2"
=== Rule::{
, protocol = Some "tcp"
, port = +8080
, remote_ip_prefix = Some "10.0.0.2"
}
in create