| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Algebra.Construct.NaturalChoice.Base
Documentation
d__'8805'__104 ∷ T_TotalPreorder_240 → AgdaAny → AgdaAny → () Source #
d_MinOperator_106 ∷ p → p → p → p → () Source #
data T_MinOperator_106 Source #
d_x'8804'y'8658'x'8851'y'8776'x_128 ∷ T_MinOperator_106 → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_x'8805'y'8658'x'8851'y'8776'y_134 ∷ T_MinOperator_106 → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_MaxOperator_138 ∷ p → p → p → p → () Source #
data T_MaxOperator_138 Source #
d_x'8804'y'8658'x'8852'y'8776'y_160 ∷ T_MaxOperator_138 → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_x'8805'y'8658'x'8852'y'8776'x_166 ∷ T_MaxOperator_138 → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_MinOp'8658'MaxOp_170 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalPreorder_240 → T_MinOperator_106 → T_MaxOperator_138 Source #
d_x'8804'y'8658'x'8851'y'8776'x_182 ∷ T_MinOperator_106 → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_x'8805'y'8658'x'8851'y'8776'y_184 ∷ T_MinOperator_106 → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_MaxOp'8658'MinOp_186 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalPreorder_240 → T_MaxOperator_138 → T_MinOperator_106 Source #