| Safe Haskell | None |
|---|
MAlonzo.Code.Data.List.Relation.Unary.Unique.Setoid
Documentation
d_Distinct_40 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> AgdaAny -> AgdaAny -> () Source #
d_AllPairs_50 :: p1 -> p2 -> p3 -> p4 -> () Source #
d_head_62 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> AgdaAny -> [AgdaAny] -> T_AllPairs_20 -> T_All_44 Source #
du_head_62 :: AgdaAny -> [AgdaAny] -> T_AllPairs_20 -> T_All_44 Source #
d_tail_64 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> AgdaAny -> [AgdaAny] -> T_AllPairs_20 -> T_AllPairs_20 Source #
du_tail_64 :: AgdaAny -> [AgdaAny] -> T_AllPairs_20 -> T_AllPairs_20 Source #