resourcesTypesFromResources.dhall 259 B

1234567891011
  1. let Prelude = ../lib/prelude.dhall
  2. let Types = ../types/package.dhall
  3. let Resource = Types.Resource
  4. let ResourceType = Types.ResourceType
  5. in Prelude.List.map Resource ResourceType (λ(r : Resource) → r.type)
  6. : List Resource → List ResourceType