{-# OPTIONS_GHC -fno-warn-orphans #-}

{-# LANGUAGE OverloadedStrings #-}

module PlutusCore.Core.Instance.Pretty.Common () where

import PlutusPrelude

import PlutusCore.Core.Type

instance Pretty (Version ann) where
    pretty :: Version ann -> Doc ann
pretty (Version ann
_ Natural
i Natural
j Natural
k) = Natural -> Doc ann
forall a ann. Pretty a => a -> Doc ann
pretty Natural
i Doc ann -> Doc ann -> Doc ann
forall a. Semigroup a => a -> a -> a
<> Doc ann
"." Doc ann -> Doc ann -> Doc ann
forall a. Semigroup a => a -> a -> a
<> Natural -> Doc ann
forall a ann. Pretty a => a -> Doc ann
pretty Natural
j Doc ann -> Doc ann -> Doc ann
forall a. Semigroup a => a -> a -> a
<> Doc ann
"." Doc ann -> Doc ann -> Doc ann
forall a. Semigroup a => a -> a -> a
<> Natural -> Doc ann
forall a ann. Pretty a => a -> Doc ann
pretty Natural
k