| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Data.Fin.Base
Documentation
d_Fin'8242'_26 ∷ Integer → T_Fin_6 → () Source #
d_fromℕ_58 ∷ Integer → T_Fin_6 Source #
d_fromℕ'60'_66 ∷ Integer → Integer → T__'8804'__18 → T_Fin_6 Source #
d_reduce'8805'_106 ∷ Integer → Integer → T_Fin_6 → T__'8804'__18 → T_Fin_6 Source #
d_inject'8804'_160 ∷ Integer → Integer → T_Fin_6 → T__'8804'__18 → T_Fin_6 Source #
d_lower'8321'_176 ∷ Integer → T_Fin_6 → (T__'8801'__12 → T_'8869'_4) → T_Fin_6 Source #
d_splitAt_202 ∷ Integer → Integer → T_Fin_6 → T__'8846'__30 Source #
d_join_216 ∷ Integer → Integer → T__'8846'__30 → T_Fin_6 Source #
d_fold_292 ∷ T_Level_18 → (Integer → ()) → Integer → (Integer → AgdaAny → AgdaAny) → (Integer → AgdaAny) → T_Fin_6 → AgdaAny Source #
du_fold_292 ∷ Integer → (Integer → AgdaAny → AgdaAny) → (Integer → AgdaAny) → T_Fin_6 → AgdaAny Source #
d_fold'8242'_318 ∷ Integer → T_Level_18 → (T_Fin_6 → ()) → (T_Fin_6 → AgdaAny → AgdaAny) → AgdaAny → T_Fin_6 → AgdaAny Source #
du_pred_412 ∷ T_Fin_6 → T_Fin_6 Source #
d_punchOut_432 ∷ Integer → T_Fin_6 → T_Fin_6 → (T__'8801'__12 → T_'8869'_4) → T_Fin_6 Source #
d__'8826'__494 ∷ p → p → () Source #
newtype T__'8826'__494 Source #
Constructors
| C__'8827'toℕ__500 T_Fin_6 |
d_Ordering_504 ∷ p → p → p → () Source #
data T_Ordering_504 Source #
Constructors
| C_less_512 T_Fin_6 | |
| C_equal_516 | |
| C_greater_522 T_Fin_6 |
d_compare_530 ∷ Integer → T_Fin_6 → T_Fin_6 → T_Ordering_504 Source #