Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
d_ScopedTy_14 ∷ p → () Source #
data T_ScopedTy_14 Source #
d_Tel'8902'_36 ∷ Integer → Integer → () Source #
d_Weirdℕ_42 ∷ p → () Source #
d_WeirdFin_56 ∷ p → p → () Source #
d_wtoℕTm_96 ∷ Integer → T_Weirdℕ_42 → Integer Source #
d_wtoℕTy_104 ∷ Integer → T_Weirdℕ_42 → Integer Source #
d_lookupWTm_116 ∷ Integer → Integer → T_Weirdℕ_42 → Maybe Integer Source #
d_lookupWTy_138 ∷ Integer → Integer → T_Weirdℕ_42 → Maybe Integer Source #
d_lookupWTm''_158 ∷ Integer → Integer → T_Weirdℕ_42 → Integer Source #
d_lookupWTy''_176 ∷ Integer → Integer → T_Weirdℕ_42 → Integer Source #
d_shifterTyListList_206 ∷ Integer → T_Weirdℕ_42 → T_List_382 (T_List_382 T_RawTy_2) → T_List_382 (T_List_382 T_RawTy_2) Source #
d_unshifterTyList_366 ∷ Integer → T_Weirdℕ_42 → T_List_382 T_RawTy_2 → T_List_382 T_RawTy_2 Source #
d_unshifterTyListList_372 ∷ Integer → T_Weirdℕ_42 → T_List_382 (T_List_382 T_RawTy_2) → T_List_382 (T_List_382 T_RawTy_2) Source #
d_unshifterList_440 ∷ Integer → T_Weirdℕ_42 → T_List_382 T_RawTm_30 → T_List_382 T_RawTm_30 Source #
d_ScopedTm_522 ∷ p → p → () Source #
data T_ScopedTm_522 Source #
d_ScopeError_576 ∷ () Source #
type T_ScopeError_576 = ScopeError Source #
pattern C_deBError_578 ∷ ScopeError Source #
pattern C_freeVariableError_580 ∷ FreeVariableError → ScopeError Source #
cover_ScopeError_576 ∷ ScopeError → () Source #
d_ℕtoWeirdFin_596 ∷ Integer → T_Weirdℕ_42 → Integer → T_Either_6 T_ScopeError_576 T_WeirdFin_56 Source #
d_scopeCheckTyList_620 ∷ Integer → T_List_382 T_RawTy_2 → T_Either_6 T_ScopeError_576 (T_List_382 T_ScopedTy_14) Source #
d_scopeCheckTyListList_624 ∷ Integer → T_List_382 (T_List_382 T_RawTy_2) → T_Either_6 T_ScopeError_576 (T_List_382 (T_List_382 T_ScopedTy_14)) Source #
d_scopeCheckTm_686 ∷ Integer → T_Weirdℕ_42 → T_RawTm_30 → T_Either_6 T_ScopeError_576 T_ScopedTm_522 Source #
d_scopeCheckTmList_692 ∷ Integer → T_Weirdℕ_42 → T_List_382 T_RawTm_30 → T_Either_6 T_ScopeError_576 (T_List_382 T_ScopedTm_522) Source #
d_extricateScopeTyListList_788 ∷ Integer → T_List_382 (T_List_382 T_ScopedTy_14) → T_List_382 (T_List_382 T_RawTy_2) Source #