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

MAlonzo.Code.Utils

Documentation

type Pair a b = (a, b) Source #

d_Either_6 ∷ p → p → () Source #

type T_Either_6 a0 a1 = Either a0 a1 Source #

pattern C_inj'8321'_12 ∷ a → Either a b Source #

pattern C_inj'8322'_14 ∷ ∀ {a} {b}. b → Either a b Source #

check_inj'8321'_12 ∷ ∀ xA. ∀ xB. xA → T_Either_6 xA xB Source #

check_inj'8322'_14 ∷ ∀ xA. ∀ xB. xB → T_Either_6 xA xB Source #

cover_Either_6Either a1 a2 → () Source #

d_either_22 ∷ () → () → () → T_Either_6 AgdaAny AgdaAny → (AgdaAnyAgdaAny) → (AgdaAnyAgdaAny) → AgdaAny Source #

d_decIf_56 ∷ () → () → T_Dec_32AgdaAnyAgdaAnyAgdaAny Source #

d_cong'8323'_92 ∷ () → () → () → () → (AgdaAnyAgdaAnyAgdaAnyAgdaAny) → AgdaAnyAgdaAnyT__'8801'__12AgdaAnyAgdaAnyT__'8801'__12AgdaAnyAgdaAnyT__'8801'__12T__'8801'__12 Source #

d__'8724'_'8803'__120 ∷ p → p → p → () Source #

d_Monad_186 ∷ p → () Source #

data T_Monad_186 Source #

Constructors

C_Monad'46'constructor_12503 (() → AgdaAnyAgdaAny) (() → () → AgdaAny → (AgdaAnyAgdaAny) → AgdaAny) 

d__'62''62'__214 ∷ (() → ()) → T_Monad_186 → () → () → AgdaAnyAgdaAnyAgdaAny Source #

d_fmap_224 ∷ (() → ()) → T_Monad_186 → () → () → (AgdaAnyAgdaAny) → AgdaAnyAgdaAny Source #

d__'62''62'__232 ∷ (() → ()) → T_Monad_186 → () → () → AgdaAnyAgdaAnyAgdaAny Source #

d_fmap_236 ∷ (() → ()) → T_Monad_186 → () → () → (AgdaAnyAgdaAny) → AgdaAnyAgdaAny Source #

du_fmap_236T_Monad_186 → () → () → (AgdaAnyAgdaAny) → AgdaAnyAgdaAny Source #

d_sumBind_248 ∷ () → () → () → T__'8846'__30 → (AgdaAnyT__'8846'__30) → T__'8846'__30 Source #

d_Writer_304 ∷ p → p → () Source #

d__'215'__364 ∷ p → p → () Source #

type T__'215'__364 a0 a1 = Pair a0 a1 Source #

pattern C__'44'__378 ∷ a → b → (a, b) Source #

check__'44'__378 ∷ ∀ xA. ∀ xB. xA → xB → T__'215'__364 xA xB Source #

cover__'215'__364Pair a1 a2 → () Source #

d_List_382 ∷ p → () Source #

type T_List_382 a0 = List a0 Source #

pattern C_'91''93'_386 ∷ [a] Source #

pattern C__'8759'__388 ∷ a → [a] → [a] Source #

check__'8759'__388 ∷ ∀ xA. xA → T_List_382 xA → T_List_382 xA Source #

cover_List_382List a1 → () Source #

d_map'45'cong_440 ∷ () → () → [AgdaAny] → (AgdaAnyAgdaAny) → (AgdaAnyAgdaAny) → (AgdaAnyT__'8801'__12) → T__'8801'__12 Source #

pattern C_ConstrDATA_452Integer → [Data] → Data Source #

pattern C_MapDATA_454 ∷ [(Data, Data)] → Data Source #

pattern C_ListDATA_456 ∷ [Data] → Data Source #

pattern C_iDATA_458IntegerData Source #

pattern C_'42'_478KIND Source #

pattern C__'8658'__482KINDKINDKIND Source #