| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Data.List.Relation.Binary.Equality.Setoid
Documentation
d_AllPairs_20 :: p -> p -> p -> p -> () #
d__'8779'__58 :: T_Level_18 -> T_Level_18 -> T_Setoid_44 -> [AgdaAny] -> [AgdaAny] -> () #
d_'8779''45'refl_60 :: T_Level_18 -> T_Level_18 -> T_Setoid_44 -> [AgdaAny] -> T_Pointwise_48 #
du_'8779''45'refl_60 :: T_Setoid_44 -> [AgdaAny] -> T_Pointwise_48 #
d_'8779''45'reflexive_62 :: T_Level_18 -> T_Level_18 -> T_Setoid_44 -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 -> T_Pointwise_48 #
du_'8779''45'reflexive_62 :: T_Setoid_44 -> [AgdaAny] -> T_Pointwise_48 #
d_'8779''45'sym_64 :: T_Level_18 -> T_Level_18 -> T_Setoid_44 -> [AgdaAny] -> [AgdaAny] -> T_Pointwise_48 -> T_Pointwise_48 #
du_'8779''45'sym_64 :: T_Setoid_44 -> [AgdaAny] -> [AgdaAny] -> T_Pointwise_48 -> T_Pointwise_48 #
d_'8779''45'trans_66 :: T_Level_18 -> T_Level_18 -> T_Setoid_44 -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] -> T_Pointwise_48 -> T_Pointwise_48 -> T_Pointwise_48 #
du_'8779''45'trans_66 :: T_Setoid_44 -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] -> T_Pointwise_48 -> T_Pointwise_48 -> T_Pointwise_48 #
d_'8779''45'setoid_70 :: T_Level_18 -> T_Level_18 -> T_Setoid_44 -> T_Setoid_44 #
d_Unique'45'resp'45''8779'_72 :: T_Level_18 -> T_Level_18 -> T_Setoid_44 -> [AgdaAny] -> [AgdaAny] -> T_Pointwise_48 -> T_AllPairs_20 -> T_AllPairs_20 #
du_Unique'45'resp'45''8779'_72 :: [AgdaAny] -> [AgdaAny] -> T_Pointwise_48 -> T_AllPairs_20 -> T_AllPairs_20 #
d_'8779''45'length_78 :: T_Level_18 -> T_Level_18 -> T_Setoid_44 -> [AgdaAny] -> [AgdaAny] -> T_Pointwise_48 -> T__'8801'__12 #
d__'8779''8242'__94 :: T_Setoid_44 -> T_Level_18 -> T_Level_18 -> T_Setoid_44 -> [AgdaAny] -> [AgdaAny] -> () #
d_map'8314'_102 :: T_Level_18 -> T_Level_18 -> T_Setoid_44 -> T_Level_18 -> T_Level_18 -> T_Setoid_44 -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny] -> T_Pointwise_48 -> T_Pointwise_48 #
du_map'8314'_102 :: (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny] -> T_Pointwise_48 -> T_Pointwise_48 #
d_foldr'8314'_130 :: T_Level_18 -> T_Level_18 -> T_Setoid_44 -> (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'_130 :: (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny] -> AgdaAny -> AgdaAny -> AgdaAny -> T_Pointwise_48 -> AgdaAny #
d_'43''43''8314'_146 :: T_Level_18 -> T_Level_18 -> T_Setoid_44 -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] -> T_Pointwise_48 -> T_Pointwise_48 -> T_Pointwise_48 #
du_'43''43''8314'_146 :: [AgdaAny] -> [AgdaAny] -> T_Pointwise_48 -> T_Pointwise_48 -> T_Pointwise_48 #
d_'43''43''45'cancel'737'_154 :: T_Level_18 -> T_Level_18 -> T_Setoid_44 -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] -> T_Pointwise_48 -> T_Pointwise_48 #
d_'43''43''45'cancel'691'_164 :: T_Level_18 -> T_Level_18 -> T_Setoid_44 -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] -> T_Pointwise_48 -> T_Pointwise_48 #
du_'43''43''45'cancel'691'_164 :: [AgdaAny] -> [AgdaAny] -> T_Pointwise_48 -> T_Pointwise_48 #
d_concat'8314'_170 :: T_Level_18 -> T_Level_18 -> T_Setoid_44 -> [[AgdaAny]] -> [[AgdaAny]] -> T_Pointwise_48 -> T_Pointwise_48 #
du_concat'8314'_170 :: [[AgdaAny]] -> [[AgdaAny]] -> T_Pointwise_48 -> T_Pointwise_48 #
d_tabulate'8314'_184 :: T_Level_18 -> T_Level_18 -> T_Setoid_44 -> Integer -> (T_Fin_10 -> AgdaAny) -> (T_Fin_10 -> AgdaAny) -> (T_Fin_10 -> AgdaAny) -> T_Pointwise_48 #
du_tabulate'8314'_184 :: Integer -> (T_Fin_10 -> AgdaAny) -> T_Pointwise_48 #
d_tabulate'8315'_188 :: T_Level_18 -> T_Level_18 -> T_Setoid_44 -> Integer -> (T_Fin_10 -> AgdaAny) -> (T_Fin_10 -> AgdaAny) -> T_Pointwise_48 -> T_Fin_10 -> AgdaAny #
du_tabulate'8315'_188 :: T_Pointwise_48 -> T_Fin_10 -> AgdaAny #
d_filter'8314'_206 :: T_Level_18 -> T_Level_18 -> T_Setoid_44 -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_20) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny] -> T_Pointwise_48 -> T_Pointwise_48 #
du_filter'8314'_206 :: (AgdaAny -> T_Dec_20) -> [AgdaAny] -> [AgdaAny] -> T_Pointwise_48 -> T_Pointwise_48 #
d_'691''43''43''8314'_218 :: T_Level_18 -> T_Level_18 -> T_Setoid_44 -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] -> T_Pointwise_48 -> T_Pointwise_48 -> T_Pointwise_48 #
du_'691''43''43''8314'_218 :: [AgdaAny] -> [AgdaAny] -> T_Pointwise_48 -> T_Pointwise_48 -> T_Pointwise_48 #
d_reverse'8314'_224 :: T_Level_18 -> T_Level_18 -> T_Setoid_44 -> [AgdaAny] -> [AgdaAny] -> T_Pointwise_48 -> T_Pointwise_48 #
du_reverse'8314'_224 :: [AgdaAny] -> [AgdaAny] -> T_Pointwise_48 -> T_Pointwise_48 #