| Safe Haskell | None |
|---|
MAlonzo.Code.Algebra.Construct.NaturalChoice.Base
Documentation
d__'8805'__82 :: T_TotalPreorder_204 -> AgdaAny -> AgdaAny -> () Source #
d_MinOperator_84 :: p1 -> p2 -> p3 -> p4 -> () Source #
data T_MinOperator_84 Source #
d__'8851'__100 :: T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_x'8804'y'8658'x'8851'y'8776'x_106 :: T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_x'8805'y'8658'x'8851'y'8776'y_112 :: T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_MaxOperator_114 :: p1 -> p2 -> p3 -> p4 -> () Source #
data T_MaxOperator_114 Source #
d__'8852'__130 :: T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_x'8804'y'8658'x'8852'y'8776'y_136 :: T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_x'8805'y'8658'x'8852'y'8776'x_142 :: T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_MinOp'8658'MaxOp_144 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 Source #
d__'8851'__154 :: T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_x'8804'y'8658'x'8851'y'8776'x_156 :: T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_x'8805'y'8658'x'8851'y'8776'y_158 :: T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_MaxOp'8658'MinOp_160 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MaxOperator_114 -> T_MinOperator_84 Source #
d__'8852'__170 :: T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_x'8804'y'8658'x'8852'y'8776'y_172 :: T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_x'8805'y'8658'x'8852'y'8776'x_174 :: T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #