{-# language OverloadedStrings #-} module FastDownward.SAS.Version ( Version(..), toSAS ) where import qualified Data.Text.Lazy.Builder data Version = SAS3 deriving ( Int -> Version -> ShowS [Version] -> ShowS Version -> String forall a. (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a showList :: [Version] -> ShowS $cshowList :: [Version] -> ShowS show :: Version -> String $cshow :: Version -> String showsPrec :: Int -> Version -> ShowS $cshowsPrec :: Int -> Version -> ShowS Show ) toSAS :: Version -> Data.Text.Lazy.Builder.Builder toSAS :: Version -> Builder toSAS Version v = Builder "begin_version\n" forall a. Semigroup a => a -> a -> a <> case Version v of Version SAS3 -> Builder "3\n" forall a. Semigroup a => a -> a -> a <> Builder "end_version"