{-# LANGUAGE UndecidableInstances #-}

module Utils where

import Relude

-- import Symantic qualified as Sym

-- import Examples.Ex02 qualified as Ex02

-- import Literate.Web

{-
-- | Gather symantics used by the tests
-- to instantiate multiple interpreters
-- on the same quantified 'repr'.
class
  ( Sym.Inferable Ex02.Tag (Sym.Reader Ex02.Model repr)
  , Sym.IsoFunctor repr
  , Sym.Optionable repr
  , Sym.ProductFunctor repr
  , -- , Sym.Repeatable repr
    Sym.SumFunctor repr
  , -- , Endable repr
    Slugable repr
  -- , Capturable repr
    -- , Fileable repr
  ) =>
  Testable model repr

instance
  ( Sym.Inferable Ex02.Tag (Sym.Reader Ex02.Model repr)
  , Sym.IsoFunctor repr
  , Sym.Optionable repr
  , Sym.ProductFunctor repr
  , -- , Sym.Repeatable repr
    Sym.SumFunctor repr
  , --, Endable repr
    Slugable repr
  -- , Capturable repr
    -- , Fileable repr
  ) =>
  Testable model repr
-}

ol :: [a] -> [(Int, a)]
ol = zip [1 ..]