module DerivationSpec where

import Test.Hspec (Spec, describe, shouldBe)
import Test.Hspec.QuickCheck (xprop)

import System.Nix.Arbitrary ()
import System.Nix.Derivation (parseDerivation, buildDerivation)

import qualified Data.Attoparsec.Text
import qualified Data.Text.Lazy
import qualified Data.Text.Lazy.Builder

-- TODO(srk): this won't roundtrip as Arbitrary Text
-- contains wild stuff like control characters and UTF8 sequences.
-- Either fix in nix-derivation or use wrapper type
-- (but we use Nix.Derivation.textParser so we need Text for now)
spec :: Spec
spec = do
  describe "Derivation" $ do
    xprop "roundtrips via Text" $ \sd drv ->
      Data.Attoparsec.Text.parseOnly (parseDerivation sd)
       ( Data.Text.Lazy.toStrict
       $ Data.Text.Lazy.Builder.toLazyText
       $ buildDerivation sd drv
       )
      `shouldBe` pure drv