Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
d_head_56 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → AgdaAny → (T_Any_34 → T_Irrelevant_20) → T_Any_34 → AgdaAny Source #
du_head_56 ∷ T_Any_34 → AgdaAny Source #
d_tail_66 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → AgdaAny → [AgdaAny] → (AgdaAny → T_Irrelevant_20) → T_Any_34 → T_Any_34 Source #
d_map_76 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → T_Level_18 → (AgdaAny → ()) → (AgdaAny → AgdaAny → AgdaAny) → [AgdaAny] → T_Any_34 → T_Any_34 Source #
d_index_86 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Any_34 → T_Fin_10 Source #
d_lookup_94 ∷ T_Level_18 → () → T_Level_18 → [AgdaAny] → (AgdaAny → ()) → T_Any_34 → AgdaAny Source #
d__'8759''61'__102 ∷ T_Level_18 → () → T_Level_18 → [AgdaAny] → (AgdaAny → ()) → T_Any_34 → AgdaAny → [AgdaAny] Source #
d__'9472'__114 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Any_34 → [AgdaAny] Source #
d_satisfied_120 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Any_34 → T_Σ_14 Source #
d_toSum_126 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → AgdaAny → [AgdaAny] → T_Any_34 → T__'8846'__30 Source #
d_fromSum_132 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → AgdaAny → [AgdaAny] → T__'8846'__30 → T_Any_34 Source #
d_any'63'_138 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAny → T_Dec_20) → [AgdaAny] → T_Dec_20 Source #
d_satisfiable_148 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → T_Σ_14 → T_Σ_14 Source #
d_any_154 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAny → T_Dec_20) → [AgdaAny] → T_Dec_20 Source #