{-# LANGUAGE DataKinds #-}

module Grisette.Core.Data.Class.TestValues
  ( conBool,
    symTrue,
    symFalse,
    ssymBool,
    isymBool,
    ssymbolBool,
    isymbolBool,
  )
where

import Grisette
  ( Identifier,
    Solvable (con, isym, ssym),
    SymBool,
    Symbol (IndexedSymbol, SimpleSymbol),
    TypedAnySymbol,
    typedAnySymbol,
  )

conBool :: Bool -> SymBool
conBool = con

symTrue :: SymBool
symTrue = conBool True

symFalse :: SymBool
symFalse = conBool False

ssymBool :: Identifier -> SymBool
ssymBool = ssym

isymBool :: Identifier -> Int -> SymBool
isymBool = isym

ssymbolBool :: Identifier -> TypedAnySymbol Bool
ssymbolBool = typedAnySymbol . SimpleSymbol

isymbolBool :: Identifier -> Int -> TypedAnySymbol Bool
isymbolBool i idx = typedAnySymbol $ IndexedSymbol i idx