{-# 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"