From 6b4432c5884d7187140d5fde771444f7c8301438 Mon Sep 17 00:00:00 2001 From: FĂ©lix Sipma Date: Tue, 24 May 2016 12:57:44 +0200 Subject: convert Architecture to a sumtype TODO: remove ANDROID (used in GitAnnexBuilder) TODO: add other architectures TODO: rename ARMHF TODO: rename ARMEL (cherry picked from commit 6f36f6cade4e1d8b15c714565e223562c6573099) --- src/Propellor/Types/OS.hs | 17 +++++++++++++++-- 1 file changed, 15 insertions(+), 2 deletions(-) (limited to 'src/Propellor/Types/OS.hs') diff --git a/src/Propellor/Types/OS.hs b/src/Propellor/Types/OS.hs index d7df5490..662983b2 100644 --- a/src/Propellor/Types/OS.hs +++ b/src/Propellor/Types/OS.hs @@ -9,7 +9,8 @@ module Propellor.Types.OS ( FBSDVersion(..), isStable, Release, - Architecture, + Architecture(..), + architectureToDebianArchString, HostName, UserName, User(..), @@ -75,7 +76,19 @@ isStable (Stable _) = True isStable _ = False type Release = String -type Architecture = String +data Architecture = X86_64 | X86_32 | ARMHF | ARMEL | ANDROID + deriving (Show, Eq) +-- TODO: remove ANDROID (used in GitAnnexBuilder) +-- TODO: add other architectures +-- TODO: rename ARMHF +-- TODO: rename ARMEL + +architectureToDebianArchString :: Architecture -> String +architectureToDebianArchString X86_64 = "amd64" +architectureToDebianArchString X86_32 = "i386" +architectureToDebianArchString ARMHF = "armhf" +architectureToDebianArchString ARMEL = "armel" +architectureToDebianArchString ANDROID = "android" type UserName = String -- cgit v1.2.3