20221222113648-simplescriptlanguage.org

SimpleScriptLanguage

ScriptLanguage

-- ----------------------------------------------------------------------------
-- Value level representation for script languages
--
data ScriptLanguage lang where

     SimpleScriptLanguage :: SimpleScriptVersion lang -> ScriptLanguage lang

     PlutusScriptLanguage :: PlutusScriptVersion lang -> ScriptLanguage lang

deriving instance (Eq   (ScriptLanguage lang))
deriving instance (Show (ScriptLanguage lang))

Constructors

SimpleScriptLanguage ∷ SimpleScriptVersion lang → ScriptLanguage lang PlutusScriptLanguae ∷ PlutusScriptVersion lang → ScriptLanguage lang