/dhall-infra/Server

Exported files:

• Ip.dhall
• Type.dhall
• addSecurityGroups.dhall:

  forall (security-groups : List Text) -> Server.Type -> Server.Type
  

• default.dhall
• getName.dhall:

  Server.Type -> Text
  

• map.dhall:

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

• package.dhall