hic-0.0.0.1: src/Language/Cimple/Analysis/Refined/Lattice.hs

{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE StrictData    #-}

module Language.Cimple.Analysis.Refined.Lattice
    ( SubtypeResult (..)
    , NormalizationState (..)
    ) where

import           Data.Set                               (Set)
import           GHC.Generics                           (Generic)
import           Language.Cimple.Analysis.Refined.State (ProductState)

-- | The result of a subtyping check (A <: B).
-- Conditional results allow for deferred template constraint solving.
data SubtypeResult
    = IsSubtype
    | NotSubtype
    | ConditionalSubtype (Set ProductState) -- ^ Subtype if these pairs are also subtypes
    deriving (Show, Eq, Ord, Generic)

-- | State used during the 'packNode' (normalization) pass.
-- Ensures logically impossible types collapse to SBottom.
data NormalizationState = NormalizationState
    { nsIsContradiction :: Bool
    , nsReason          :: Maybe String
    }
    deriving (Show, Eq, Ord, Generic)