| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Algebra.Construct.NaturalChoice.Base
Documentation
d__'8805'__82 ∷ T_TotalPreorder_204 → AgdaAny → AgdaAny → () Source #
d_MinOperator_84 ∷ p → p → p → p → () Source #
data T_MinOperator_84 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 ∷ p → p → p → p → () Source #
data T_MaxOperator_114 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_18 → T_Level_18 → T_Level_18 → T_TotalPreorder_204 → T_MinOperator_84 → T_MaxOperator_114 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_18 → T_Level_18 → T_Level_18 → T_TotalPreorder_204 → T_MaxOperator_114 → T_MinOperator_84 Source #