    {-# LANGUAGE CPP #-}
    {-# LANGUAGE DeriveGeneric #-}

    module GHC.Exts.Heap.ClosureTypes
        ( ClosureType(..)
        , closureTypeHeaderSize
        ) where

    import Prelude -- See note [Why do we import Prelude here?]
    import GHC.Generics

    {- ---------------------------------------------
    -- Enum representing closure types
    -- This is a mirror of:
    -- rts/include/rts/storage/ClosureTypes.h
    -- ---------------------------------------------}

    data ClosureType
        = INVALID_OBJECT
        | CONSTR
        | CONSTR_1_0
        | CONSTR_0_1
        | CONSTR_2_0
        | CONSTR_1_1
        | CONSTR_0_2
        | CONSTR_NOCAF
        | FUN
        | FUN_1_0
        | FUN_0_1
        | FUN_2_0
        | FUN_1_1
        | FUN_0_2
        | FUN_STATIC
        | THUNK
        | THUNK_1_0
        | THUNK_0_1
        | THUNK_2_0
        | THUNK_1_1
        | THUNK_0_2
        | THUNK_STATIC
        | THUNK_SELECTOR
        | BCO
        | AP
        | PAP
        | AP_STACK
        | IND
        | IND_STATIC
        | RET_BCO
        | RET_SMALL
        | RET_BIG
        | RET_FUN
        | UPDATE_FRAME
        | CATCH_FRAME
        | UNDERFLOW_FRAME
        | STOP_FRAME
        | BLOCKING_QUEUE
        | BLACKHOLE
        | MVAR_CLEAN
        | MVAR_DIRTY
        | TVAR
        | ARR_WORDS
        | MUT_ARR_PTRS_CLEAN
        | MUT_ARR_PTRS_DIRTY
        | MUT_ARR_PTRS_FROZEN_DIRTY
        | MUT_ARR_PTRS_FROZEN_CLEAN
        | MUT_VAR_CLEAN
        | MUT_VAR_DIRTY
        | WEAK
        | PRIM
        | MUT_PRIM
        | TSO
        | STACK
        | TREC_CHUNK
        | ATOMICALLY_FRAME
        | CATCH_RETRY_FRAME
        | CATCH_STM_FRAME
        | WHITEHOLE
        | SMALL_MUT_ARR_PTRS_CLEAN
        | SMALL_MUT_ARR_PTRS_DIRTY
        | SMALL_MUT_ARR_PTRS_FROZEN_DIRTY
        | SMALL_MUT_ARR_PTRS_FROZEN_CLEAN
        | COMPACT_NFDATA
        | CONTINUATION
        | N_CLOSURE_TYPES
     deriving (Int -> ClosureType
    ClosureType -> Int
    ClosureType -> [ClosureType]
    ClosureType -> ClosureType
    ClosureType -> ClosureType -> [ClosureType]
    ClosureType -> ClosureType -> ClosureType -> [ClosureType]
    (ClosureType -> ClosureType)
    -> (ClosureType -> ClosureType)
    -> (Int -> ClosureType)
    -> (ClosureType -> Int)
    -> (ClosureType -> [ClosureType])
    -> (ClosureType -> ClosureType -> [ClosureType])
    -> (ClosureType -> ClosureType -> [ClosureType])
    -> (ClosureType -> ClosureType -> ClosureType -> [ClosureType])
    -> Enum ClosureType
    forall a.
    (a -> a)
    -> (a -> a)
    -> (Int -> a)
    -> (a -> Int)
    -> (a -> [a])
    -> (a -> a -> [a])
    -> (a -> a -> [a])
    -> (a -> a -> a -> [a])
    -> Enum a
    $csucc :: ClosureType -> ClosureType
    succ :: ClosureType -> ClosureType
    $cpred :: ClosureType -> ClosureType
    pred :: ClosureType -> ClosureType
    $ctoEnum :: Int -> ClosureType
    toEnum :: Int -> ClosureType
    $cfromEnum :: ClosureType -> Int
    fromEnum :: ClosureType -> Int
    $cenumFrom :: ClosureType -> [ClosureType]
    enumFrom :: ClosureType -> [ClosureType]
    $cenumFromThen :: ClosureType -> ClosureType -> [ClosureType]
    enumFromThen :: ClosureType -> ClosureType -> [ClosureType]
    $cenumFromTo :: ClosureType -> ClosureType -> [ClosureType]
    enumFromTo :: ClosureType -> ClosureType -> [ClosureType]
    $cenumFromThenTo :: ClosureType -> ClosureType -> ClosureType -> [ClosureType]
    enumFromThenTo :: ClosureType -> ClosureType -> ClosureType -> [ClosureType]
    Enum, ClosureType -> ClosureType -> Bool
    (ClosureType -> ClosureType -> Bool)
    -> (ClosureType -> ClosureType -> Bool) -> Eq ClosureType
    forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
    $c== :: ClosureType -> ClosureType -> Bool
    == :: ClosureType -> ClosureType -> Bool
    $c/= :: ClosureType -> ClosureType -> Bool
    /= :: ClosureType -> ClosureType -> Bool
    Eq, Eq ClosureType
    Eq ClosureType =>
    (ClosureType -> ClosureType -> Ordering)
    -> (ClosureType -> ClosureType -> Bool)
    -> (ClosureType -> ClosureType -> Bool)
    -> (ClosureType -> ClosureType -> Bool)
    -> (ClosureType -> ClosureType -> Bool)
    -> (ClosureType -> ClosureType -> ClosureType)
    -> (ClosureType -> ClosureType -> ClosureType)
    -> Ord ClosureType
    ClosureType -> ClosureType -> Bool
    ClosureType -> ClosureType -> Ordering
    ClosureType -> ClosureType -> ClosureType
    forall a.
    Eq a =>
    (a -> a -> Ordering)
    -> (a -> a -> Bool)
    -> (a -> a -> Bool)
    -> (a -> a -> Bool)
    -> (a -> a -> Bool)
    -> (a -> a -> a)
    -> (a -> a -> a)
    -> Ord a
    $ccompare :: ClosureType -> ClosureType -> Ordering
    compare :: ClosureType -> ClosureType -> Ordering
    $c< :: ClosureType -> ClosureType -> Bool
    < :: ClosureType -> ClosureType -> Bool
    $c<= :: ClosureType -> ClosureType -> Bool
    <= :: ClosureType -> ClosureType -> Bool
    $c> :: ClosureType -> ClosureType -> Bool
    > :: ClosureType -> ClosureType -> Bool
    $c>= :: ClosureType -> ClosureType -> Bool
    >= :: ClosureType -> ClosureType -> Bool
    $cmax :: ClosureType -> ClosureType -> ClosureType
    max :: ClosureType -> ClosureType -> ClosureType
    $cmin :: ClosureType -> ClosureType -> ClosureType
    min :: ClosureType -> ClosureType -> ClosureType
    Ord, Int -> ClosureType -> ShowS
    [ClosureType] -> ShowS
    ClosureType -> String
    (Int -> ClosureType -> ShowS)
    -> (ClosureType -> String)
    -> ([ClosureType] -> ShowS)
    -> Show ClosureType
    forall a.
    (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
    $cshowsPrec :: Int -> ClosureType -> ShowS
    showsPrec :: Int -> ClosureType -> ShowS
    $cshow :: ClosureType -> String
    show :: ClosureType -> String
    $cshowList :: [ClosureType] -> ShowS
    showList :: [ClosureType] -> ShowS
    Show, (forall x. ClosureType -> Rep ClosureType x)
    -> (forall x. Rep ClosureType x -> ClosureType)
    -> Generic ClosureType
    forall x. Rep ClosureType x -> ClosureType
    forall x. ClosureType -> Rep ClosureType x
    forall a.
    (forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
    $cfrom :: forall x. ClosureType -> Rep ClosureType x
    from :: forall x. ClosureType -> Rep ClosureType x
    $cto :: forall x. Rep ClosureType x -> ClosureType
    to :: forall x. Rep ClosureType x -> ClosureType
    Generic)

    -- | Return the size of the closures header in words
    closureTypeHeaderSize :: ClosureType -> Int
    closureTypeHeaderSize :: ClosureType -> Int
    closureTypeHeaderSize ClosureType
    closType =
        case ClosureType
    closType of
            ClosureType
    ct | ClosureType
    THUNK ClosureType -> ClosureType -> Bool
    forall a. Ord a => a -> a -> Bool
    <= ClosureType
    ct Bool -> Bool -> Bool
    && ClosureType
    ct ClosureType -> ClosureType -> Bool
    forall a. Ord a => a -> a -> Bool
    <= ClosureType
    THUNK_0_2 -> Int
    thunkHeader
            ClosureType
    ct | ClosureType
    ct ClosureType -> ClosureType -> Bool
    forall a. Eq a => a -> a -> Bool
    == ClosureType
    THUNK_SELECTOR -> Int
    thunkHeader
            ClosureType
    ct | ClosureType
    ct ClosureType -> ClosureType -> Bool
    forall a. Eq a => a -> a -> Bool
    == ClosureType
    AP -> Int
    thunkHeader
            ClosureType
    ct | ClosureType
    ct ClosureType -> ClosureType -> Bool
    forall a. Eq a => a -> a -> Bool
    == ClosureType
    AP_STACK -> Int
    thunkHeader
            ClosureType
    _ -> Int
    header
      where
        header :: Int
    header = Int
    1 Int -> Int -> Int
    forall a. Num a => a -> a -> a
    + Int
    prof
        thunkHeader :: Int
    thunkHeader = Int
    2 Int -> Int -> Int
    forall a. Num a => a -> a -> a
    + Int
    prof
    #if defined(PROFILING)
        prof = 2
    #else
        prof :: Int
    prof = Int
    0
    #endif