/dhall-infra/Rule

Exported files:

• Type.dhall
• create.dhall:

  forall (protocol : Text) -> forall (port : Integer) -> forall (ip : Text) -> Rule.Type
  

• createTcpHost.dhall:

  forall (ip : Text) -> forall (port : Integer) -> Rule.Type
  

• createTcpPort.dhall:

  forall (port : Integer) -> forall (ip : Text) -> Rule.Type
  

• createUdpHost.dhall:

  forall (ip : Text) -> forall (port : Integer) -> Rule.Type
  

• createUdpPort.dhall:

  forall (port : Integer) -> forall (ip : Text) -> ./Type.dhall
  

• default.dhall
• integerMap.dhall:

  forall (f : Integer -> Rule.Type) -> List Integer -> List Rule.Type
  

• map.dhall:

  forall (type : Type) -> forall (f : Rule.Type -> type) -> List Rule.Type -> List type
  

• package.dhall
• textMap.dhall:

  forall (f : Text -> Rule.Type) -> List Text -> List Rule.Type