/dhall-infra/Instance

Exported files:

• External.dhall
• Type.dhall
• default.dhall
• filter.dhall:

  (Instance.Type -> Bool) -> List Instance.Type -> List Instance.Type
  

• generate.dhall:

  forall (f : Natural -> Instance.Type) -> forall (count : Natural) -> List Instance.Type
  

• getName.dhall:

  Instance.Type -> Text
  

• getServer.dhall:

  Instance.Type -> Server.Type
  

• getServers.dhall:

  List Instance.Type -> List Server.Type
  

• isCreated.dhall:

  Instance.Type -> Bool
  

• isReachable.dhall:

  Instance.Type -> Bool
  

• map.dhall:

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

• mapInstance.dhall:

  forall (f : Instance.Type -> Instance.Type) -> List Instance.Type -> List Instance.Type
  

• package.dhall
• setFqdn.dhall:

  Text -> Instance.Type -> Instance.Type
  

• updateServer.dhall:

  forall (update : Server.Type -> Server.Type) -> forall (instance : Instance.Type) -> Instance.Type