plutus-metatheory-0.1.0.0: Command line tool for running plutus core programs
Safe HaskellSafe-Inferred
LanguageHaskell2010

MAlonzo.Code.Agda.Builtin.String

Documentation

type T_String_6 = Text Source #

d_primStringUncons_10 ∷ Text → Maybe (Char, Text) Source #

d_primStringAppend_16 ∷ Text → Text → Text Source #

d_primStringEquality_18 ∷ Text → Text → Bool Source #

d_primShowString_22 ∷ Text → Text Source #