| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Algebra.Construct.NaturalChoice.Base
Documentation
d__'8805'__96 ∷ T_TotalPreorder_222 → AgdaAny → AgdaAny → () Source #
d_MinOperator_98 ∷ p → p → p → p → () Source #
data T_MinOperator_98 Source #
d_x'8804'y'8658'x'8851'y'8776'x_120 ∷ T_MinOperator_98 → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_x'8805'y'8658'x'8851'y'8776'y_126 ∷ T_MinOperator_98 → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_MaxOperator_128 ∷ p → p → p → p → () Source #
data T_MaxOperator_128 Source #
d_x'8804'y'8658'x'8852'y'8776'y_150 ∷ T_MaxOperator_128 → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_x'8805'y'8658'x'8852'y'8776'x_156 ∷ T_MaxOperator_128 → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_MinOp'8658'MaxOp_158 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalPreorder_222 → T_MinOperator_98 → T_MaxOperator_128 Source #
d_x'8804'y'8658'x'8851'y'8776'x_170 ∷ T_MinOperator_98 → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_x'8805'y'8658'x'8851'y'8776'y_172 ∷ T_MinOperator_98 → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_MaxOp'8658'MinOp_174 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalPreorder_222 → T_MaxOperator_128 → T_MinOperator_98 Source #