| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Data.List.Relation.Binary.Pointwise
Documentation
d_isEquivalence_56 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> T_IsEquivalence_26 -> T_IsEquivalence_26 #
d_isDecEquivalence_76 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> T_IsDecEquivalence_44 -> T_IsDecEquivalence_44 #
d_isPreorder_100 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> T_IsPreorder_70 -> T_IsPreorder_70 #
d_isPartialOrder_142 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> T_IsPartialOrder_174 -> T_IsPartialOrder_174 #
d_setoid_188 :: T_Level_18 -> T_Level_18 -> T_Setoid_44 -> T_Setoid_44 #
du_setoid_188 :: T_Setoid_44 -> T_Setoid_44 #
d_decSetoid_192 :: T_Level_18 -> T_Level_18 -> T_DecSetoid_84 -> T_DecSetoid_84 #
d_preorder_196 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_Preorder_132 -> T_Preorder_132 #
d_poset_200 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_Poset_314 -> T_Poset_314 #
du_poset_200 :: T_Poset_314 -> T_Poset_314 #
d_All'45'resp'45'Pointwise_206 :: T_Level_18 -> () -> T_Level_18 -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny] -> T_Pointwise_48 -> T_All_44 -> T_All_44 #
du_All'45'resp'45'Pointwise_206 :: (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny] -> T_Pointwise_48 -> T_All_44 -> T_All_44 #
d_Any'45'resp'45'Pointwise_222 :: T_Level_18 -> () -> T_Level_18 -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny] -> T_Pointwise_48 -> T_Any_34 -> T_Any_34 #
du_Any'45'resp'45'Pointwise_222 :: (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny] -> T_Pointwise_48 -> T_Any_34 -> T_Any_34 #
d_AllPairs'45'resp'45'Pointwise_240 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> T_Σ_14 -> [AgdaAny] -> [AgdaAny] -> T_Pointwise_48 -> T_AllPairs_20 -> T_AllPairs_20 #
du_AllPairs'45'resp'45'Pointwise_240 :: T_Σ_14 -> [AgdaAny] -> [AgdaAny] -> T_Pointwise_48 -> T_AllPairs_20 -> T_AllPairs_20 #
d_Pointwise'45'length_256 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> [AgdaAny] -> [AgdaAny] -> T_Pointwise_48 -> T__'8801'__12 #
d_tabulate'8314'_270 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> Integer -> (T_Fin_10 -> AgdaAny) -> (T_Fin_10 -> AgdaAny) -> (T_Fin_10 -> AgdaAny) -> T_Pointwise_48 #
du_tabulate'8314'_270 :: Integer -> (T_Fin_10 -> AgdaAny) -> T_Pointwise_48 #
d_tabulate'8315'_286 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> Integer -> (T_Fin_10 -> AgdaAny) -> (T_Fin_10 -> AgdaAny) -> T_Pointwise_48 -> T_Fin_10 -> AgdaAny #
du_tabulate'8315'_286 :: T_Pointwise_48 -> T_Fin_10 -> AgdaAny #
d_'43''43''8314'_302 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] -> T_Pointwise_48 -> T_Pointwise_48 -> T_Pointwise_48 #
du_'43''43''8314'_302 :: [AgdaAny] -> [AgdaAny] -> T_Pointwise_48 -> T_Pointwise_48 -> T_Pointwise_48 #
d_'43''43''45'cancel'737'_314 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] -> T_Pointwise_48 -> T_Pointwise_48 #
d_'43''43''45'cancel'691'_328 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] -> T_Pointwise_48 -> T_Pointwise_48 #
du_'43''43''45'cancel'691'_328 :: [AgdaAny] -> [AgdaAny] -> T_Pointwise_48 -> T_Pointwise_48 #
d_concat'8314'_362 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> [[AgdaAny]] -> [[AgdaAny]] -> T_Pointwise_48 -> T_Pointwise_48 #
du_concat'8314'_362 :: [[AgdaAny]] -> [[AgdaAny]] -> T_Pointwise_48 -> T_Pointwise_48 #
d_reverseAcc'8314'_368 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] -> T_Pointwise_48 -> T_Pointwise_48 -> T_Pointwise_48 #
du_reverseAcc'8314'_368 :: [AgdaAny] -> [AgdaAny] -> T_Pointwise_48 -> T_Pointwise_48 -> T_Pointwise_48 #
d_'691''43''43''8314'_378 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] -> T_Pointwise_48 -> T_Pointwise_48 -> T_Pointwise_48 #
du_'691''43''43''8314'_378 :: [AgdaAny] -> [AgdaAny] -> T_Pointwise_48 -> T_Pointwise_48 -> T_Pointwise_48 #
d_reverse'8314'_384 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> [AgdaAny] -> [AgdaAny] -> T_Pointwise_48 -> T_Pointwise_48 #
du_reverse'8314'_384 :: [AgdaAny] -> [AgdaAny] -> T_Pointwise_48 -> T_Pointwise_48 #
d_map'8314'_394 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> [AgdaAny] -> [AgdaAny] -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> T_Pointwise_48 -> T_Pointwise_48 #
du_map'8314'_394 :: [AgdaAny] -> [AgdaAny] -> T_Pointwise_48 -> T_Pointwise_48 #
d_map'8315'_416 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> [AgdaAny] -> [AgdaAny] -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> T_Pointwise_48 -> T_Pointwise_48 #
du_map'8315'_416 :: [AgdaAny] -> [AgdaAny] -> T_Pointwise_48 -> T_Pointwise_48 #
d_foldr'8314'_446 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> [AgdaAny] -> [AgdaAny] -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> T_Pointwise_48 -> AgdaAny #
du_foldr'8314'_446 :: [AgdaAny] -> [AgdaAny] -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> T_Pointwise_48 -> AgdaAny #
d_filter'8314'_492 :: T_Level_18 -> () -> T_Level_18 -> T_Level_18 -> () -> T_Level_18 -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> ()) -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_20) -> (AgdaAny -> T_Dec_20) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny] -> T_Pointwise_48 -> T_Pointwise_48 #
du_filter'8314'_492 :: (AgdaAny -> T_Dec_20) -> (AgdaAny -> T_Dec_20) -> [AgdaAny] -> [AgdaAny] -> T_Pointwise_48 -> T_Pointwise_48 #
d_replicate'8314'_548 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> AgdaAny -> AgdaAny -> AgdaAny -> Integer -> T_Pointwise_48 #
du_replicate'8314'_548 :: AgdaAny -> Integer -> T_Pointwise_48 #
d_lookup'8315'_560 :: T_Level_18 -> () -> [AgdaAny] -> T_Level_18 -> () -> [AgdaAny] -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> T__'8801'__12 -> (T_Fin_10 -> T_Fin_10 -> T__'8801'__12 -> AgdaAny) -> T_Pointwise_48 #
du_lookup'8315'_560 :: [AgdaAny] -> [AgdaAny] -> (T_Fin_10 -> T_Fin_10 -> T__'8801'__12 -> AgdaAny) -> T_Pointwise_48 #
d_lookup'8314'_572 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> [AgdaAny] -> [AgdaAny] -> T_Pointwise_48 -> T_Fin_10 -> AgdaAny #
du_lookup'8314'_572 :: [AgdaAny] -> [AgdaAny] -> T_Pointwise_48 -> T_Fin_10 -> AgdaAny #
d_Pointwise'45''8801''8658''8801'_580 :: T_Level_18 -> () -> [AgdaAny] -> [AgdaAny] -> T_Pointwise_48 -> T__'8801'__12 #
d_'8801''8658'Pointwise'45''8801'_590 :: T_Level_18 -> () -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 -> T_Pointwise_48 #