Documentation

d_fst_38 :: T_Σ_14 -> AgdaAny Source #

d_snd_40 :: T_Σ_14 -> AgdaAny Source #

d_Σ'45'syntax_44 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> () Source #

d__'215'__50 :: T_Level_14 -> T_Level_14 -> () -> () -> () Source #

d__'44''8242'__58 :: T_Level_14 -> () -> T_Level_14 -> () -> AgdaAny -> AgdaAny -> T_Σ_14 Source #

du__'44''8242'__58 :: AgdaAny -> AgdaAny -> T_Σ_14 Source #

d_'8707'_62 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> () Source #

d_'8708'_66 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> () Source #

d_'8707''8322'_78 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> () Source #

d_'8707''33'_88 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> ()) -> () Source #

d_'8707''45'syntax_100 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> () Source #

d_'8708''45'syntax_104 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> () Source #

d_'45''44'__112 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> AgdaAny -> AgdaAny -> T_Σ_14 Source #

du_'45''44'__112 :: AgdaAny -> AgdaAny -> T_Σ_14 Source #

d_'60'_'44'_'62'_132 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> T_Σ_14 Source #

du_'60'_'44'_'62'_132 :: (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> T_Σ_14 Source #

d_map_148 :: T_Level_14 -> () -> T_Level_14 -> T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_Σ_14 -> T_Σ_14 Source #

du_map_148 :: (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_Σ_14 -> T_Σ_14 Source #

d_map'8321'_158 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> T_Σ_14 -> T_Σ_14 Source #

du_map'8321'_158 :: (AgdaAny -> AgdaAny) -> T_Σ_14 -> T_Σ_14 Source #

d_map'8322'_170 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_Σ_14 -> T_Σ_14 Source #

du_map'8322'_170 :: (AgdaAny -> AgdaAny -> AgdaAny) -> T_Σ_14 -> T_Σ_14 Source #

d_dmap_196 :: T_Level_14 -> () -> T_Level_14 -> T_Level_14 -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_Σ_14 -> T_Σ_14 Source #

du_dmap_196 :: (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_Σ_14 -> T_Σ_14 Source #

d_zip_218 :: T_Level_14 -> () -> T_Level_14 -> T_Level_14 -> () -> T_Level_14 -> T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> ()) -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> T_Σ_14 -> T_Σ_14 -> T_Σ_14 Source #

du_zip_218 :: (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> T_Σ_14 -> T_Σ_14 -> T_Σ_14 Source #

d_curry_244 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (T_Σ_14 -> ()) -> (T_Σ_14 -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_curry_244 :: (T_Σ_14 -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_uncurry_264 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (T_Σ_14 -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_Σ_14 -> AgdaAny Source #

du_uncurry_264 :: (AgdaAny -> AgdaAny -> AgdaAny) -> T_Σ_14 -> AgdaAny Source #

d_assoc'691'_280 :: T_Level_14 -> () -> T_Level_14 -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> T_Σ_14 -> T_Σ_14 Source #

du_assoc'691'_280 :: T_Σ_14 -> T_Σ_14 Source #

d_assoc'737'_296 :: T_Level_14 -> () -> T_Level_14 -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> T_Σ_14 -> T_Σ_14 Source #

du_assoc'737'_296 :: T_Σ_14 -> T_Σ_14 Source #

d_assoc'691''45'curried_310 :: T_Level_14 -> () -> T_Level_14 -> T_Level_14 -> (AgdaAny -> ()) -> (T_Σ_14 -> ()) -> T_Σ_14 -> T_Σ_14 Source #

du_assoc'691''45'curried_310 :: T_Σ_14 -> T_Σ_14 Source #

d_assoc'737''45'curried_324 :: T_Level_14 -> () -> T_Level_14 -> T_Level_14 -> (AgdaAny -> ()) -> (T_Σ_14 -> ()) -> T_Σ_14 -> T_Σ_14 Source #

du_assoc'737''45'curried_324 :: T_Σ_14 -> T_Σ_14 Source #

d_zip'8242'_332 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_Σ_14 -> T_Σ_14 -> T_Σ_14 Source #

du_zip'8242'_332 :: (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_Σ_14 -> T_Σ_14 -> T_Σ_14 Source #

d_curry'8242'_338 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> (T_Σ_14 -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_curry'8242'_338 :: (T_Σ_14 -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_uncurry'8242'_340 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_Σ_14 -> AgdaAny Source #

du_uncurry'8242'_340 :: (AgdaAny -> AgdaAny -> AgdaAny) -> T_Σ_14 -> AgdaAny Source #

d_dmap'8242'_360 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> T_Σ_14 -> T_Σ_14 Source #

du_dmap'8242'_360 :: (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> T_Σ_14 -> T_Σ_14 Source #

d__'60''42''62'__384 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> ()) -> T_Σ_14 -> T_Σ_14 -> T_Σ_14 Source #

du__'60''42''62'__384 :: T_Σ_14 -> T_Σ_14 -> T_Σ_14 Source #

d_swap_386 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Σ_14 -> T_Σ_14 Source #

du_swap_386 :: T_Σ_14 -> T_Σ_14 Source #

d__'45''215''45'__392 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> T_Level_14 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> AgdaAny -> AgdaAny -> () Source #

d__'45''44''45'__398 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> T_Σ_14 Source #

du__'45''44''45'__398 :: (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> T_Σ_14 Source #

d_assoc'691''8242'_404 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> T_Σ_14 -> T_Σ_14 Source #

du_assoc'691''8242'_404 :: T_Σ_14 -> T_Σ_14 Source #

d_assoc'737''8242'_412 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> T_Σ_14 -> T_Σ_14 Source #

du_assoc'737''8242'_412 :: T_Σ_14 -> T_Σ_14 Source #