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

MAlonzo.Code.Algebra.Construct.NaturalChoice.Base

Documentation

d__'8805'__96 :: T_TotalPreorder_222 -> AgdaAny -> AgdaAny -> () #

d_MinOperator_98 :: p -> p -> p -> p -> () #

data T_MinOperator_98 #

Constructors

C_MinOperator'46'constructor_1121 (AgdaAny -> AgdaAny -> AgdaAny) (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) 

d__'8851'__114 :: T_MinOperator_98 -> AgdaAny -> AgdaAny -> AgdaAny #

d_x'8804'y'8658'x'8851'y'8776'x_120 :: T_MinOperator_98 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #

d_x'8805'y'8658'x'8851'y'8776'y_126 :: T_MinOperator_98 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #

d_MaxOperator_128 :: p -> p -> p -> p -> () #

data T_MaxOperator_128 #

Constructors

C_MaxOperator'46'constructor_1665 (AgdaAny -> AgdaAny -> AgdaAny) (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) 

d__'8852'__144 :: T_MaxOperator_128 -> AgdaAny -> AgdaAny -> AgdaAny #

d_x'8804'y'8658'x'8852'y'8776'y_150 :: T_MaxOperator_128 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #

d_x'8805'y'8658'x'8852'y'8776'x_156 :: T_MaxOperator_128 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #

d_MinOp'8658'MaxOp_158 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalPreorder_222 -> T_MinOperator_98 -> T_MaxOperator_128 #

du_MinOp'8658'MaxOp_158 :: T_MinOperator_98 -> T_MaxOperator_128 #

d__'8851'__168 :: T_MinOperator_98 -> AgdaAny -> AgdaAny -> AgdaAny #

d_x'8804'y'8658'x'8851'y'8776'x_170 :: T_MinOperator_98 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #

d_x'8805'y'8658'x'8851'y'8776'y_172 :: T_MinOperator_98 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #

d_MaxOp'8658'MinOp_174 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalPreorder_222 -> T_MaxOperator_128 -> T_MinOperator_98 #

du_MaxOp'8658'MinOp_174 :: T_MaxOperator_128 -> T_MinOperator_98 #

d__'8852'__184 :: T_MaxOperator_128 -> AgdaAny -> AgdaAny -> AgdaAny #

d_x'8804'y'8658'x'8852'y'8776'y_186 :: T_MaxOperator_128 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #

d_x'8805'y'8658'x'8852'y'8776'x_188 :: T_MaxOperator_128 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #