Limits.hs

{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE DuplicateRecordFields #-}
-- @generated by keiro-dsl 0.8.0.0 (language keiro-dsl 4) from mapped structural Limits; do not edit.
module Generated.AggregateScalarExpressions.Structural.Shape.Limits (LimitsShape (..)) where

import GHC.Generics (Generic)
import Numeric.Natural (Natural)

data LimitsShape = Limits
  { minimum :: !Integer
  , ceiling :: !Natural
  }
  deriving stock (Eq, Generic, Show)