Safe Haskell | Trustworthy |
---|---|
Language | Haskell2010 |
Data.Type.Dict
Documentation
Instances
SuppressUnusedWarnings ((TyFun a6989586621679066034 (TyFun a6989586621679066034 a6989586621679066034 -> Type) -> Type) -> TyFun (Dict' s6989586621679066032 k6989586621679066033 a6989586621679066034) (TyFun (Dict' s6989586621679066032 k6989586621679066033 a6989586621679066034) (Dict' s6989586621679066032 k6989586621679066033 a6989586621679066034) -> Type) -> *) (IntersectionWithSym1 s6989586621679066032 k6989586621679066033 a6989586621679066034) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679066034 (TyFun a6989586621679066034 a6989586621679066034 -> Type) -> Type) -> Dict' s6989586621679066032 k6989586621679066033 a6989586621679066034 -> TyFun (Dict' s6989586621679066032 k6989586621679066033 a6989586621679066034) (Dict' s6989586621679066032 k6989586621679066033 a6989586621679066034) -> *) (IntersectionWithSym2 s6989586621679066032 k6989586621679066033 a6989586621679066034) Source # | |
SuppressUnusedWarnings ((TyFun k6989586621679066030 (TyFun a6989586621679066031 (TyFun a6989586621679066031 a6989586621679066031 -> Type) -> Type) -> Type) -> TyFun (Dict' s6989586621679066029 k6989586621679066030 a6989586621679066031) (TyFun (Dict' s6989586621679066029 k6989586621679066030 a6989586621679066031) (Dict' s6989586621679066029 k6989586621679066030 a6989586621679066031) -> Type) -> *) (IntersectionWithKeySym1 s6989586621679066029 k6989586621679066030 a6989586621679066031) Source # | |
SuppressUnusedWarnings ((TyFun k6989586621679066030 (TyFun a6989586621679066031 (TyFun a6989586621679066031 a6989586621679066031 -> Type) -> Type) -> Type) -> Dict' s6989586621679066029 k6989586621679066030 a6989586621679066031 -> TyFun (Dict' s6989586621679066029 k6989586621679066030 a6989586621679066031) (Dict' s6989586621679066029 k6989586621679066030 a6989586621679066031) -> *) (IntersectionWithKeySym2 s6989586621679066029 k6989586621679066030 a6989586621679066031) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679066052 (TyFun a6989586621679066052 a6989586621679066052 -> Type) -> Type) -> TyFun (Dict' s6989586621679066050 k6989586621679066051 a6989586621679066052) (TyFun (Dict' s6989586621679066050 k6989586621679066051 a6989586621679066052) (Dict' s6989586621679066050 k6989586621679066051 a6989586621679066052) -> Type) -> *) (UnionWithSym1 s6989586621679066050 k6989586621679066051 a6989586621679066052) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679066052 (TyFun a6989586621679066052 a6989586621679066052 -> Type) -> Type) -> Dict' s6989586621679066050 k6989586621679066051 a6989586621679066052 -> TyFun (Dict' s6989586621679066050 k6989586621679066051 a6989586621679066052) (Dict' s6989586621679066050 k6989586621679066051 a6989586621679066052) -> *) (UnionWithSym2 s6989586621679066050 k6989586621679066051 a6989586621679066052) Source # | |
SuppressUnusedWarnings ((TyFun k6989586621679066048 (TyFun a6989586621679066049 (TyFun a6989586621679066049 a6989586621679066049 -> Type) -> Type) -> Type) -> TyFun (Dict' s6989586621679066047 k6989586621679066048 a6989586621679066049) (TyFun (Dict' s6989586621679066047 k6989586621679066048 a6989586621679066049) (Dict' s6989586621679066047 k6989586621679066048 a6989586621679066049) -> Type) -> *) (UnionWithKeySym1 s6989586621679066047 k6989586621679066048 a6989586621679066049) Source # | |
SuppressUnusedWarnings ((TyFun k6989586621679066048 (TyFun a6989586621679066049 (TyFun a6989586621679066049 a6989586621679066049 -> Type) -> Type) -> Type) -> Dict' s6989586621679066047 k6989586621679066048 a6989586621679066049 -> TyFun (Dict' s6989586621679066047 k6989586621679066048 a6989586621679066049) (Dict' s6989586621679066047 k6989586621679066048 a6989586621679066049) -> *) (UnionWithKeySym2 s6989586621679066047 k6989586621679066048 a6989586621679066049) Source # | |
SuppressUnusedWarnings ((TyFun k6989586621679066084 (TyFun a6989586621679066085 (Maybe a6989586621679066085) -> Type) -> Type) -> TyFun k6989586621679066084 (TyFun (Dict' s6989586621679066083 k6989586621679066084 a6989586621679066085) (Maybe a6989586621679066085, Dict' s6989586621679066083 k6989586621679066084 a6989586621679066085) -> Type) -> *) (UpdateLookupWithKeySym1 s6989586621679066083 k6989586621679066084 a6989586621679066085) Source # | |
SuppressUnusedWarnings ((TyFun k6989586621679066084 (TyFun a6989586621679066085 (Maybe a6989586621679066085) -> Type) -> Type) -> k6989586621679066084 -> TyFun (Dict' s6989586621679066083 k6989586621679066084 a6989586621679066085) (Maybe a6989586621679066085, Dict' s6989586621679066083 k6989586621679066084 a6989586621679066085) -> *) (UpdateLookupWithKeySym2 s6989586621679066083 k6989586621679066084 a6989586621679066085) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679066091 (Maybe a6989586621679066091) -> Type) -> TyFun k6989586621679066090 (TyFun (Dict' s6989586621679066089 k6989586621679066090 a6989586621679066091) (Dict' s6989586621679066089 k6989586621679066090 a6989586621679066091) -> Type) -> *) (UpdateSym1 s6989586621679066089 k6989586621679066090 a6989586621679066091) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679066091 (Maybe a6989586621679066091) -> Type) -> k6989586621679066090 -> TyFun (Dict' s6989586621679066089 k6989586621679066090 a6989586621679066091) (Dict' s6989586621679066089 k6989586621679066090 a6989586621679066091) -> *) (UpdateSym2 s6989586621679066089 k6989586621679066090 a6989586621679066091) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679066097 a6989586621679066097 -> Type) -> TyFun k6989586621679066096 (TyFun (Dict' s6989586621679066095 k6989586621679066096 a6989586621679066097) (Dict' s6989586621679066095 k6989586621679066096 a6989586621679066097) -> Type) -> *) (AdjustSym1 s6989586621679066095 k6989586621679066096 a6989586621679066097) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679066097 a6989586621679066097 -> Type) -> k6989586621679066096 -> TyFun (Dict' s6989586621679066095 k6989586621679066096 a6989586621679066097) (Dict' s6989586621679066095 k6989586621679066096 a6989586621679066097) -> *) (AdjustSym2 s6989586621679066095 k6989586621679066096 a6989586621679066097) Source # | |
SuppressUnusedWarnings ((TyFun k6989586621679066093 (TyFun a6989586621679066094 a6989586621679066094 -> Type) -> Type) -> TyFun k6989586621679066093 (TyFun (Dict' s6989586621679066092 k6989586621679066093 a6989586621679066094) (Dict' s6989586621679066092 k6989586621679066093 a6989586621679066094) -> Type) -> *) (AdjustWithKeySym1 s6989586621679066092 k6989586621679066093 a6989586621679066094) Source # | |
SuppressUnusedWarnings ((TyFun k6989586621679066093 (TyFun a6989586621679066094 a6989586621679066094 -> Type) -> Type) -> k6989586621679066093 -> TyFun (Dict' s6989586621679066092 k6989586621679066093 a6989586621679066094) (Dict' s6989586621679066092 k6989586621679066093 a6989586621679066094) -> *) (AdjustWithKeySym2 s6989586621679066092 k6989586621679066093 a6989586621679066094) Source # | |
SuppressUnusedWarnings ((TyFun k6989586621679066087 (TyFun a6989586621679066088 (Maybe a6989586621679066088) -> Type) -> Type) -> TyFun k6989586621679066087 (TyFun (Dict' s6989586621679066086 k6989586621679066087 a6989586621679066088) (Dict' s6989586621679066086 k6989586621679066087 a6989586621679066088) -> Type) -> *) (UpdateWithKeySym1 s6989586621679066086 k6989586621679066087 a6989586621679066088) Source # | |
SuppressUnusedWarnings ((TyFun k6989586621679066087 (TyFun a6989586621679066088 (Maybe a6989586621679066088) -> Type) -> Type) -> k6989586621679066087 -> TyFun (Dict' s6989586621679066086 k6989586621679066087 a6989586621679066088) (Dict' s6989586621679066086 k6989586621679066087 a6989586621679066088) -> *) (UpdateWithKeySym2 s6989586621679066086 k6989586621679066087 a6989586621679066088) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679065948 Bool -> Type) -> TyFun (Dict' s6989586621679065946 k6989586621679065947 a6989586621679065948) (Dict' s6989586621679065946 k6989586621679065947 a6989586621679065948, Dict' s6989586621679065946 k6989586621679065947 a6989586621679065948) -> *) (PartitionSym1 s6989586621679065946 k6989586621679065947 a6989586621679065948) Source # | |
SuppressUnusedWarnings ((TyFun k6989586621679065944 (TyFun a6989586621679065945 Bool -> Type) -> Type) -> TyFun (Dict' s6989586621679065943 k6989586621679065944 a6989586621679065945) (Dict' s6989586621679065943 k6989586621679065944 a6989586621679065945, Dict' s6989586621679065943 k6989586621679065944 a6989586621679065945) -> *) (PartitionWithKeySym1 s6989586621679065943 k6989586621679065944 a6989586621679065945) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679065954 Bool -> Type) -> TyFun (Dict' s6989586621679065952 k6989586621679065953 a6989586621679065954) (Dict' s6989586621679065952 k6989586621679065953 a6989586621679065954) -> *) (DictFilterSym1 s6989586621679065952 k6989586621679065953 a6989586621679065954) Source # | |
SuppressUnusedWarnings ((TyFun k6989586621679065950 (TyFun a6989586621679065951 Bool -> Type) -> Type) -> TyFun (Dict' s6989586621679065949 k6989586621679065950 a6989586621679065951) (Dict' s6989586621679065949 k6989586621679065950 a6989586621679065951) -> *) (FilterWithKeySym1 s6989586621679065949 k6989586621679065950 a6989586621679065951) Source # | |
SuppressUnusedWarnings ((TyFun k6989586621679066072 Ordering -> Type) -> TyFun (Dict' s6989586621679066071 k6989586621679066072 a6989586621679066073) (Dict' s6989586621679066071 k6989586621679066072 a6989586621679066073) -> *) (FilterLtSym1 s6989586621679066071 a6989586621679066073 k6989586621679066072) Source # | |
SuppressUnusedWarnings ((TyFun k6989586621679066075 Ordering -> Type) -> TyFun (Dict' s6989586621679066074 k6989586621679066075 a6989586621679066076) (Dict' s6989586621679066074 k6989586621679066075 a6989586621679066076) -> *) (FilterGtSym1 s6989586621679066074 a6989586621679066076 k6989586621679066075) Source # | |
SuppressUnusedWarnings ((TyFun k6989586621679066123 (TyFun a6989586621679066124 (TyFun a6989586621679066124 a6989586621679066124 -> Type) -> Type) -> Type) -> TyFun k6989586621679066123 (TyFun a6989586621679066124 (TyFun (Dict' s6989586621679066122 k6989586621679066123 a6989586621679066124) (Maybe a6989586621679066124, Dict' s6989586621679066122 k6989586621679066123 a6989586621679066124) -> Type) -> Type) -> *) (InsertLookupWithKeySym1 s6989586621679066122 k6989586621679066123 a6989586621679066124) Source # | |
SuppressUnusedWarnings ((TyFun k6989586621679066123 (TyFun a6989586621679066124 (TyFun a6989586621679066124 a6989586621679066124 -> Type) -> Type) -> Type) -> k6989586621679066123 -> TyFun a6989586621679066124 (TyFun (Dict' s6989586621679066122 k6989586621679066123 a6989586621679066124) (Maybe a6989586621679066124, Dict' s6989586621679066122 k6989586621679066123 a6989586621679066124) -> Type) -> *) (InsertLookupWithKeySym2 s6989586621679066122 k6989586621679066123 a6989586621679066124) Source # | |
SuppressUnusedWarnings ((TyFun k6989586621679066123 (TyFun a6989586621679066124 (TyFun a6989586621679066124 a6989586621679066124 -> Type) -> Type) -> Type) -> k6989586621679066123 -> a6989586621679066124 -> TyFun (Dict' s6989586621679066122 k6989586621679066123 a6989586621679066124) (Maybe a6989586621679066124, Dict' s6989586621679066122 k6989586621679066123 a6989586621679066124) -> *) (InsertLookupWithKeySym3 s6989586621679066122 k6989586621679066123 a6989586621679066124) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679066130 (TyFun a6989586621679066130 a6989586621679066130 -> Type) -> Type) -> TyFun k6989586621679066129 (TyFun a6989586621679066130 (TyFun (Dict' s6989586621679066128 k6989586621679066129 a6989586621679066130) (Dict' s6989586621679066128 k6989586621679066129 a6989586621679066130) -> Type) -> Type) -> *) (InsertWithSym1 s6989586621679066128 k6989586621679066129 a6989586621679066130) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679066130 (TyFun a6989586621679066130 a6989586621679066130 -> Type) -> Type) -> k6989586621679066129 -> TyFun a6989586621679066130 (TyFun (Dict' s6989586621679066128 k6989586621679066129 a6989586621679066130) (Dict' s6989586621679066128 k6989586621679066129 a6989586621679066130) -> Type) -> *) (InsertWithSym2 s6989586621679066128 k6989586621679066129 a6989586621679066130) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679066130 (TyFun a6989586621679066130 a6989586621679066130 -> Type) -> Type) -> k6989586621679066129 -> a6989586621679066130 -> TyFun (Dict' s6989586621679066128 k6989586621679066129 a6989586621679066130) (Dict' s6989586621679066128 k6989586621679066129 a6989586621679066130) -> *) (InsertWithSym3 s6989586621679066128 k6989586621679066129 a6989586621679066130) Source # | |
SuppressUnusedWarnings ((TyFun k6989586621679066080 Ordering -> Type) -> TyFun (TyFun k6989586621679066080 Ordering -> Type) (TyFun (Dict' s6989586621679066081 k6989586621679066080 a6989586621679066082) (Dict' s6989586621679066081 k6989586621679066080 a6989586621679066082) -> Type) -> *) (TrimSym1 s6989586621679066081 a6989586621679066082 k6989586621679066080) Source # | |
SuppressUnusedWarnings ((TyFun k6989586621679066080 Ordering -> Type) -> (TyFun k6989586621679066080 Ordering -> Type) -> TyFun (Dict' s6989586621679066081 k6989586621679066080 a6989586621679066082) (Dict' s6989586621679066081 k6989586621679066080 a6989586621679066082) -> *) (TrimSym2 s6989586621679066081 a6989586621679066082 k6989586621679066080) Source # | |
SuppressUnusedWarnings (Dict' s6989586621679066035 k6989586621679066036 a6989586621679066037 -> TyFun (Dict' s6989586621679066035 k6989586621679066036 a6989586621679066037) (Dict' s6989586621679066035 k6989586621679066036 a6989586621679066037) -> *) (IntersectionSym1 s6989586621679066035 k6989586621679066036 a6989586621679066037) Source # | |
SuppressUnusedWarnings (Dict' s6989586621679066059 k6989586621679066060 a6989586621679066061 -> TyFun (Dict' s6989586621679066059 k6989586621679066060 a6989586621679066061) (Dict' s6989586621679066059 k6989586621679066060 a6989586621679066061) -> *) (UnionSym1 s6989586621679066059 k6989586621679066060 a6989586621679066061) Source # | |
SuppressUnusedWarnings (Dict' s6989586621679066041 k6989586621679066042 a6989586621679066043 -> TyFun (Dict' s6989586621679066041 k6989586621679066042 a6989586621679066043) (Dict' s6989586621679066041 k6989586621679066042 a6989586621679066043) -> *) (DifferenceSym1 s6989586621679066041 k6989586621679066042 a6989586621679066043) Source # | |
SuppressUnusedWarnings (Dict' s6989586621679066167 k6989586621679066166 a6989586621679066168 -> TyFun k6989586621679066166 (Maybe a6989586621679066168) -> *) ((:!?$$) s6989586621679066167 k6989586621679066166 a6989586621679066168) Source # | |
SuppressUnusedWarnings (SizeProxy s6989586621679066062 -> TyFun [Dict' s6989586621679066062 k6989586621679066063 a6989586621679066064] (Dict' s6989586621679066062 k6989586621679066063 a6989586621679066064) -> *) (UnionsSym1 k6989586621679066063 a6989586621679066064 s6989586621679066062) Source # | |
SuppressUnusedWarnings (SizeProxy s6989586621679065995 -> TyFun (TyFun a6989586621679065997 (TyFun a6989586621679065997 a6989586621679065997 -> Type) -> Type) (TyFun [(k6989586621679065996, a6989586621679065997)] (Dict' s6989586621679065995 k6989586621679065996 a6989586621679065997) -> Type) -> *) (FromListWithSym1 k6989586621679065996 a6989586621679065997 s6989586621679065995) Source # | |
SuppressUnusedWarnings (SizeProxy s6989586621679065995 -> (TyFun a6989586621679065997 (TyFun a6989586621679065997 a6989586621679065997 -> Type) -> Type) -> TyFun [(k6989586621679065996, a6989586621679065997)] (Dict' s6989586621679065995 k6989586621679065996 a6989586621679065997) -> *) (FromListWithSym2 k6989586621679065996 a6989586621679065997 s6989586621679065995) Source # | |
SuppressUnusedWarnings (SizeProxy s6989586621679065992 -> TyFun (TyFun k6989586621679065993 (TyFun a6989586621679065994 (TyFun a6989586621679065994 a6989586621679065994 -> Type) -> Type) -> Type) (TyFun [(k6989586621679065993, a6989586621679065994)] (Dict' s6989586621679065992 k6989586621679065993 a6989586621679065994) -> Type) -> *) (FromListWithKeySym1 k6989586621679065993 a6989586621679065994 s6989586621679065992) Source # | |
SuppressUnusedWarnings (SizeProxy s6989586621679065992 -> (TyFun k6989586621679065993 (TyFun a6989586621679065994 (TyFun a6989586621679065994 a6989586621679065994 -> Type) -> Type) -> Type) -> TyFun [(k6989586621679065993, a6989586621679065994)] (Dict' s6989586621679065992 k6989586621679065993 a6989586621679065994) -> *) (FromListWithKeySym2 k6989586621679065993 a6989586621679065994 s6989586621679065992) Source # | |
SuppressUnusedWarnings (SizeProxy s6989586621679065998 -> TyFun [(k6989586621679065999, a6989586621679066000)] (Dict' s6989586621679065998 k6989586621679065999 a6989586621679066000) -> *) (FromListSym1 k6989586621679065999 a6989586621679066000 s6989586621679065998) Source # | |
SuppressUnusedWarnings (k6989586621679066111 -> TyFun (Dict' s6989586621679066110 k6989586621679066111 a6989586621679066112) (Dict' s6989586621679066110 k6989586621679066111 a6989586621679066112) -> *) (DeleteSym1 s6989586621679066110 a6989586621679066112 k6989586621679066111) Source # | |
SuppressUnusedWarnings (k6989586621679066066 -> TyFun (Dict' s6989586621679066065 k6989586621679066066 a6989586621679066067) (Maybe a6989586621679066067, Dict' s6989586621679066065 k6989586621679066066 a6989586621679066067, Dict' s6989586621679066065 k6989586621679066066 a6989586621679066067) -> *) (SplitLookupSym1 s6989586621679066065 a6989586621679066067 k6989586621679066066) Source # | |
SuppressUnusedWarnings (k6989586621679066069 -> TyFun (Dict' s6989586621679066068 k6989586621679066069 a6989586621679066070) (Dict' s6989586621679066068 k6989586621679066069 a6989586621679066070, Dict' s6989586621679066068 k6989586621679066069 a6989586621679066070) -> *) (SplitSym1 s6989586621679066068 a6989586621679066070 k6989586621679066069) Source # | |
SuppressUnusedWarnings (k6989586621679066132 -> TyFun a6989586621679066133 (TyFun (Dict' s6989586621679066131 k6989586621679066132 a6989586621679066133) (Dict' s6989586621679066131 k6989586621679066132 a6989586621679066133) -> Type) -> *) (InsertSym1 s6989586621679066131 a6989586621679066133 k6989586621679066132) Source # | |
SuppressUnusedWarnings (k6989586621679066132 -> a6989586621679066133 -> TyFun (Dict' s6989586621679066131 k6989586621679066132 a6989586621679066133) (Dict' s6989586621679066131 k6989586621679066132 a6989586621679066133) -> *) (InsertSym2 s6989586621679066131 a6989586621679066133 k6989586621679066132) Source # | |
SuppressUnusedWarnings (k6989586621679066078 -> TyFun (TyFun k6989586621679066078 Ordering -> Type) (TyFun (Dict' s6989586621679066077 k6989586621679066078 a6989586621679066079) (Maybe a6989586621679066079, Dict' s6989586621679066077 k6989586621679066078 a6989586621679066079) -> Type) -> *) (TrimLookupLoSym1 s6989586621679066077 a6989586621679066079 k6989586621679066078) Source # | |
SuppressUnusedWarnings (k6989586621679066078 -> (TyFun k6989586621679066078 Ordering -> Type) -> TyFun (Dict' s6989586621679066077 k6989586621679066078 a6989586621679066079) (Maybe a6989586621679066079, Dict' s6989586621679066077 k6989586621679066078 a6989586621679066079) -> *) (TrimLookupLoSym2 s6989586621679066077 a6989586621679066079 k6989586621679066078) Source # | |
SuppressUnusedWarnings (k6989586621679066169 -> TyFun (Dict' s6989586621679066170 k6989586621679066169 a6989586621679066171) (Maybe a6989586621679066171) -> *) (DictLookupSym1 s6989586621679066170 a6989586621679066171 k6989586621679066169) Source # | |
SuppressUnusedWarnings (k6989586621679066161 -> TyFun a6989586621679066162 (Dict' s6989586621679066160 k6989586621679066161 a6989586621679066162) -> *) (SingletonSym1 s6989586621679066160 a6989586621679066162 k6989586621679066161) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679066034 (TyFun a6989586621679066034 a6989586621679066034 -> Type) -> Type) (TyFun (Dict' s6989586621679066032 k6989586621679066033 a6989586621679066034) (TyFun (Dict' s6989586621679066032 k6989586621679066033 a6989586621679066034) (Dict' s6989586621679066032 k6989586621679066033 a6989586621679066034) -> Type) -> Type) -> *) (IntersectionWithSym0 s6989586621679066032 k6989586621679066033 a6989586621679066034) Source # | |
SuppressUnusedWarnings (TyFun (TyFun k6989586621679066030 (TyFun a6989586621679066031 (TyFun a6989586621679066031 a6989586621679066031 -> Type) -> Type) -> Type) (TyFun (Dict' s6989586621679066029 k6989586621679066030 a6989586621679066031) (TyFun (Dict' s6989586621679066029 k6989586621679066030 a6989586621679066031) (Dict' s6989586621679066029 k6989586621679066030 a6989586621679066031) -> Type) -> Type) -> *) (IntersectionWithKeySym0 s6989586621679066029 k6989586621679066030 a6989586621679066031) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679066052 (TyFun a6989586621679066052 a6989586621679066052 -> Type) -> Type) (TyFun (Dict' s6989586621679066050 k6989586621679066051 a6989586621679066052) (TyFun (Dict' s6989586621679066050 k6989586621679066051 a6989586621679066052) (Dict' s6989586621679066050 k6989586621679066051 a6989586621679066052) -> Type) -> Type) -> *) (UnionWithSym0 s6989586621679066050 k6989586621679066051 a6989586621679066052) Source # | |
SuppressUnusedWarnings (TyFun (TyFun k6989586621679066048 (TyFun a6989586621679066049 (TyFun a6989586621679066049 a6989586621679066049 -> Type) -> Type) -> Type) (TyFun (Dict' s6989586621679066047 k6989586621679066048 a6989586621679066049) (TyFun (Dict' s6989586621679066047 k6989586621679066048 a6989586621679066049) (Dict' s6989586621679066047 k6989586621679066048 a6989586621679066049) -> Type) -> Type) -> *) (UnionWithKeySym0 s6989586621679066047 k6989586621679066048 a6989586621679066049) Source # | |
SuppressUnusedWarnings (TyFun (TyFun k6989586621679066084 (TyFun a6989586621679066085 (Maybe a6989586621679066085) -> Type) -> Type) (TyFun k6989586621679066084 (TyFun (Dict' s6989586621679066083 k6989586621679066084 a6989586621679066085) (Maybe a6989586621679066085, Dict' s6989586621679066083 k6989586621679066084 a6989586621679066085) -> Type) -> Type) -> *) (UpdateLookupWithKeySym0 s6989586621679066083 k6989586621679066084 a6989586621679066085) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679066091 (Maybe a6989586621679066091) -> Type) (TyFun k6989586621679066090 (TyFun (Dict' s6989586621679066089 k6989586621679066090 a6989586621679066091) (Dict' s6989586621679066089 k6989586621679066090 a6989586621679066091) -> Type) -> Type) -> *) (UpdateSym0 s6989586621679066089 k6989586621679066090 a6989586621679066091) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679066097 a6989586621679066097 -> Type) (TyFun k6989586621679066096 (TyFun (Dict' s6989586621679066095 k6989586621679066096 a6989586621679066097) (Dict' s6989586621679066095 k6989586621679066096 a6989586621679066097) -> Type) -> Type) -> *) (AdjustSym0 s6989586621679066095 k6989586621679066096 a6989586621679066097) Source # | |
SuppressUnusedWarnings (TyFun (TyFun k6989586621679066093 (TyFun a6989586621679066094 a6989586621679066094 -> Type) -> Type) (TyFun k6989586621679066093 (TyFun (Dict' s6989586621679066092 k6989586621679066093 a6989586621679066094) (Dict' s6989586621679066092 k6989586621679066093 a6989586621679066094) -> Type) -> Type) -> *) (AdjustWithKeySym0 s6989586621679066092 k6989586621679066093 a6989586621679066094) Source # | |
SuppressUnusedWarnings (TyFun (TyFun k6989586621679066087 (TyFun a6989586621679066088 (Maybe a6989586621679066088) -> Type) -> Type) (TyFun k6989586621679066087 (TyFun (Dict' s6989586621679066086 k6989586621679066087 a6989586621679066088) (Dict' s6989586621679066086 k6989586621679066087 a6989586621679066088) -> Type) -> Type) -> *) (UpdateWithKeySym0 s6989586621679066086 k6989586621679066087 a6989586621679066088) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679065948 Bool -> Type) (TyFun (Dict' s6989586621679065946 k6989586621679065947 a6989586621679065948) (Dict' s6989586621679065946 k6989586621679065947 a6989586621679065948, Dict' s6989586621679065946 k6989586621679065947 a6989586621679065948) -> Type) -> *) (PartitionSym0 s6989586621679065946 k6989586621679065947 a6989586621679065948) Source # | |
SuppressUnusedWarnings (TyFun (TyFun k6989586621679065944 (TyFun a6989586621679065945 Bool -> Type) -> Type) (TyFun (Dict' s6989586621679065943 k6989586621679065944 a6989586621679065945) (Dict' s6989586621679065943 k6989586621679065944 a6989586621679065945, Dict' s6989586621679065943 k6989586621679065944 a6989586621679065945) -> Type) -> *) (PartitionWithKeySym0 s6989586621679065943 k6989586621679065944 a6989586621679065945) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679065954 Bool -> Type) (TyFun (Dict' s6989586621679065952 k6989586621679065953 a6989586621679065954) (Dict' s6989586621679065952 k6989586621679065953 a6989586621679065954) -> Type) -> *) (DictFilterSym0 s6989586621679065952 k6989586621679065953 a6989586621679065954) Source # | |
SuppressUnusedWarnings (TyFun (TyFun k6989586621679065950 (TyFun a6989586621679065951 Bool -> Type) -> Type) (TyFun (Dict' s6989586621679065949 k6989586621679065950 a6989586621679065951) (Dict' s6989586621679065949 k6989586621679065950 a6989586621679065951) -> Type) -> *) (FilterWithKeySym0 s6989586621679065949 k6989586621679065950 a6989586621679065951) Source # | |
SuppressUnusedWarnings (TyFun (TyFun k6989586621679066072 Ordering -> Type) (TyFun (Dict' s6989586621679066071 k6989586621679066072 a6989586621679066073) (Dict' s6989586621679066071 k6989586621679066072 a6989586621679066073) -> Type) -> *) (FilterLtSym0 s6989586621679066071 k6989586621679066072 a6989586621679066073) Source # | |
SuppressUnusedWarnings (TyFun (TyFun k6989586621679066075 Ordering -> Type) (TyFun (Dict' s6989586621679066074 k6989586621679066075 a6989586621679066076) (Dict' s6989586621679066074 k6989586621679066075 a6989586621679066076) -> Type) -> *) (FilterGtSym0 s6989586621679066074 k6989586621679066075 a6989586621679066076) Source # | |
SuppressUnusedWarnings (TyFun (TyFun k6989586621679066123 (TyFun a6989586621679066124 (TyFun a6989586621679066124 a6989586621679066124 -> Type) -> Type) -> Type) (TyFun k6989586621679066123 (TyFun a6989586621679066124 (TyFun (Dict' s6989586621679066122 k6989586621679066123 a6989586621679066124) (Maybe a6989586621679066124, Dict' s6989586621679066122 k6989586621679066123 a6989586621679066124) -> Type) -> Type) -> Type) -> *) (InsertLookupWithKeySym0 s6989586621679066122 k6989586621679066123 a6989586621679066124) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679066130 (TyFun a6989586621679066130 a6989586621679066130 -> Type) -> Type) (TyFun k6989586621679066129 (TyFun a6989586621679066130 (TyFun (Dict' s6989586621679066128 k6989586621679066129 a6989586621679066130) (Dict' s6989586621679066128 k6989586621679066129 a6989586621679066130) -> Type) -> Type) -> Type) -> *) (InsertWithSym0 s6989586621679066128 k6989586621679066129 a6989586621679066130) Source # | |
SuppressUnusedWarnings (TyFun (TyFun k6989586621679066080 Ordering -> Type) (TyFun (TyFun k6989586621679066080 Ordering -> Type) (TyFun (Dict' s6989586621679066081 k6989586621679066080 a6989586621679066082) (Dict' s6989586621679066081 k6989586621679066080 a6989586621679066082) -> Type) -> Type) -> *) (TrimSym0 s6989586621679066081 k6989586621679066080 a6989586621679066082) Source # | |
SuppressUnusedWarnings (TyFun (Dict' s6989586621679066175 k6989586621679066176 a6989586621679066177) Bool -> *) (DictNullSym0 s6989586621679066175 k6989586621679066176 a6989586621679066177) Source # | |
SuppressUnusedWarnings (TyFun (Dict' s6989586621679066035 k6989586621679066036 a6989586621679066037) (TyFun (Dict' s6989586621679066035 k6989586621679066036 a6989586621679066037) (Dict' s6989586621679066035 k6989586621679066036 a6989586621679066037) -> Type) -> *) (IntersectionSym0 s6989586621679066035 k6989586621679066036 a6989586621679066037) Source # | |
SuppressUnusedWarnings (TyFun (Dict' s6989586621679066059 k6989586621679066060 a6989586621679066061) (TyFun (Dict' s6989586621679066059 k6989586621679066060 a6989586621679066061) (Dict' s6989586621679066059 k6989586621679066060 a6989586621679066061) -> Type) -> *) (UnionSym0 s6989586621679066059 k6989586621679066060 a6989586621679066061) Source # | |
SuppressUnusedWarnings (TyFun (Dict' s6989586621679066041 k6989586621679066042 a6989586621679066043) (TyFun (Dict' s6989586621679066041 k6989586621679066042 a6989586621679066043) (Dict' s6989586621679066041 k6989586621679066042 a6989586621679066043) -> Type) -> *) (DifferenceSym0 s6989586621679066041 k6989586621679066042 a6989586621679066043) Source # | |
SuppressUnusedWarnings (TyFun (Dict' s6989586621679066116 k6989586621679066117 a6989586621679066118) ((k6989586621679066117, a6989586621679066118), Dict' s6989586621679066116 k6989586621679066117 a6989586621679066118) -> *) (DeleteFindMaxSym0 s6989586621679066116 k6989586621679066117 a6989586621679066118) Source # | |
SuppressUnusedWarnings (TyFun (Dict' s6989586621679066119 k6989586621679066120 a6989586621679066121) ((k6989586621679066120, a6989586621679066121), Dict' s6989586621679066119 k6989586621679066120 a6989586621679066121) -> *) (DeleteFindMinSym0 s6989586621679066119 k6989586621679066120 a6989586621679066121) Source # | |
SuppressUnusedWarnings (TyFun (Dict' s6989586621679066172 k6989586621679066173 a6989586621679066174) s6989586621679066172 -> *) (SizeSym0 k6989586621679066173 a6989586621679066174 s6989586621679066172) Source # | |
SuppressUnusedWarnings (TyFun (Dict' s6989586621679066167 k6989586621679066166 a6989586621679066168) (TyFun k6989586621679066166 (Maybe a6989586621679066168) -> Type) -> *) ((:!?$) s6989586621679066167 k6989586621679066166 a6989586621679066168) Source # | |
SuppressUnusedWarnings (TyFun (Dict' s6989586621679066001 k6989586621679066002 a6989586621679066003) [k6989586621679066002] -> *) (KeysSym0 s6989586621679066001 a6989586621679066003 k6989586621679066002) Source # | |
SuppressUnusedWarnings (TyFun (Dict' s6989586621679066004 k6989586621679066005 a6989586621679066006) [a6989586621679066006] -> *) (ElemsSym0 s6989586621679066004 k6989586621679066005 a6989586621679066006) Source # | |
SuppressUnusedWarnings (TyFun (Dict' s6989586621679066007 k6989586621679066008 a6989586621679066009) [(k6989586621679066008, a6989586621679066009)] -> *) (AssocsSym0 s6989586621679066007 k6989586621679066008 a6989586621679066009) Source # | |
SuppressUnusedWarnings (TyFun (Dict' s6989586621679065989 k6989586621679065990 a6989586621679065991) [(k6989586621679065990, a6989586621679065991)] -> *) (ToListSym0 s6989586621679065989 k6989586621679065990 a6989586621679065991) Source # | |
SuppressUnusedWarnings (TyFun (Dict' s6989586621679065986 k6989586621679065987 a6989586621679065988) [(k6989586621679065987, a6989586621679065988)] -> *) (ToAscListSym0 s6989586621679065986 k6989586621679065987 a6989586621679065988) Source # | |
SuppressUnusedWarnings (TyFun (Dict' s6989586621679065983 k6989586621679065984 a6989586621679065985) [(k6989586621679065984, a6989586621679065985)] -> *) (ToDescListSym0 s6989586621679065983 k6989586621679065984 a6989586621679065985) Source # | |
SuppressUnusedWarnings (TyFun (SizeProxy s6989586621679066062) (TyFun [Dict' s6989586621679066062 k6989586621679066063 a6989586621679066064] (Dict' s6989586621679066062 k6989586621679066063 a6989586621679066064) -> Type) -> *) (UnionsSym0 s6989586621679066062 k6989586621679066063 a6989586621679066064) Source # | |
SuppressUnusedWarnings (TyFun (SizeProxy s6989586621679065995) (TyFun (TyFun a6989586621679065997 (TyFun a6989586621679065997 a6989586621679065997 -> Type) -> Type) (TyFun [(k6989586621679065996, a6989586621679065997)] (Dict' s6989586621679065995 k6989586621679065996 a6989586621679065997) -> Type) -> Type) -> *) (FromListWithSym0 s6989586621679065995 k6989586621679065996 a6989586621679065997) Source # | |
SuppressUnusedWarnings (TyFun (SizeProxy s6989586621679065992) (TyFun (TyFun k6989586621679065993 (TyFun a6989586621679065994 (TyFun a6989586621679065994 a6989586621679065994 -> Type) -> Type) -> Type) (TyFun [(k6989586621679065993, a6989586621679065994)] (Dict' s6989586621679065992 k6989586621679065993 a6989586621679065994) -> Type) -> Type) -> *) (FromListWithKeySym0 s6989586621679065992 k6989586621679065993 a6989586621679065994) Source # | |
SuppressUnusedWarnings (TyFun (SizeProxy s6989586621679065998) (TyFun [(k6989586621679065999, a6989586621679066000)] (Dict' s6989586621679065998 k6989586621679065999 a6989586621679066000) -> Type) -> *) (FromListSym0 s6989586621679065998 k6989586621679065999 a6989586621679066000) Source # | |
SuppressUnusedWarnings (TyFun (SizeProxy s6989586621679066163) (Dict' s6989586621679066163 k6989586621679066164 a6989586621679066165) -> *) (EmptySym0 s6989586621679066163 k6989586621679066164 a6989586621679066165) Source # | |
SuppressUnusedWarnings (TyFun k6989586621679066111 (TyFun (Dict' s6989586621679066110 k6989586621679066111 a6989586621679066112) (Dict' s6989586621679066110 k6989586621679066111 a6989586621679066112) -> Type) -> *) (DeleteSym0 s6989586621679066110 k6989586621679066111 a6989586621679066112) Source # | |
SuppressUnusedWarnings (TyFun k6989586621679066066 (TyFun (Dict' s6989586621679066065 k6989586621679066066 a6989586621679066067) (Maybe a6989586621679066067, Dict' s6989586621679066065 k6989586621679066066 a6989586621679066067, Dict' s6989586621679066065 k6989586621679066066 a6989586621679066067) -> Type) -> *) (SplitLookupSym0 s6989586621679066065 k6989586621679066066 a6989586621679066067) Source # | |
SuppressUnusedWarnings (TyFun k6989586621679066069 (TyFun (Dict' s6989586621679066068 k6989586621679066069 a6989586621679066070) (Dict' s6989586621679066068 k6989586621679066069 a6989586621679066070, Dict' s6989586621679066068 k6989586621679066069 a6989586621679066070) -> Type) -> *) (SplitSym0 s6989586621679066068 k6989586621679066069 a6989586621679066070) Source # | |
SuppressUnusedWarnings (TyFun k6989586621679066132 (TyFun a6989586621679066133 (TyFun (Dict' s6989586621679066131 k6989586621679066132 a6989586621679066133) (Dict' s6989586621679066131 k6989586621679066132 a6989586621679066133) -> Type) -> Type) -> *) (InsertSym0 s6989586621679066131 k6989586621679066132 a6989586621679066133) Source # | |
SuppressUnusedWarnings (TyFun k6989586621679066078 (TyFun (TyFun k6989586621679066078 Ordering -> Type) (TyFun (Dict' s6989586621679066077 k6989586621679066078 a6989586621679066079) (Maybe a6989586621679066079, Dict' s6989586621679066077 k6989586621679066078 a6989586621679066079) -> Type) -> Type) -> *) (TrimLookupLoSym0 s6989586621679066077 k6989586621679066078 a6989586621679066079) Source # | |
SuppressUnusedWarnings (TyFun k6989586621679066169 (TyFun (Dict' s6989586621679066170 k6989586621679066169 a6989586621679066171) (Maybe a6989586621679066171) -> Type) -> *) (DictLookupSym0 s6989586621679066170 k6989586621679066169 a6989586621679066171) Source # | |
SuppressUnusedWarnings (TyFun k6989586621679066161 (TyFun a6989586621679066162 (Dict' s6989586621679066160 k6989586621679066161 a6989586621679066162) -> Type) -> *) (SingletonSym0 s6989586621679066160 k6989586621679066161 a6989586621679066162) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679066022 (TyFun b6989586621679066023 b6989586621679066023 -> Type) -> Type) -> TyFun b6989586621679066023 (TyFun (Dict' s6989586621679066024 k6989586621679066025 a6989586621679066022) b6989586621679066023 -> Type) -> *) (FoldSym1 s6989586621679066024 k6989586621679066025 a6989586621679066022 b6989586621679066023) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679066022 (TyFun b6989586621679066023 b6989586621679066023 -> Type) -> Type) -> b6989586621679066023 -> TyFun (Dict' s6989586621679066024 k6989586621679066025 a6989586621679066022) b6989586621679066023 -> *) (FoldSym2 s6989586621679066024 k6989586621679066025 a6989586621679066022 b6989586621679066023) Source # | |
SuppressUnusedWarnings ((TyFun k6989586621679066018 (TyFun a6989586621679066019 (TyFun b6989586621679066020 b6989586621679066020 -> Type) -> Type) -> Type) -> TyFun b6989586621679066020 (TyFun (Dict' s6989586621679066021 k6989586621679066018 a6989586621679066019) b6989586621679066020 -> Type) -> *) (FoldWithKeySym1 s6989586621679066021 k6989586621679066018 a6989586621679066019 b6989586621679066020) Source # | |
SuppressUnusedWarnings ((TyFun k6989586621679066018 (TyFun a6989586621679066019 (TyFun b6989586621679066020 b6989586621679066020 -> Type) -> Type) -> Type) -> b6989586621679066020 -> TyFun (Dict' s6989586621679066021 k6989586621679066018 a6989586621679066019) b6989586621679066020 -> *) (FoldWithKeySym2 s6989586621679066021 k6989586621679066018 a6989586621679066019 b6989586621679066020) Source # | |
SuppressUnusedWarnings ((TyFun k6989586621679066014 (TyFun a6989586621679066015 (TyFun b6989586621679066016 b6989586621679066016 -> Type) -> Type) -> Type) -> TyFun b6989586621679066016 (TyFun (Dict' s6989586621679066017 k6989586621679066014 a6989586621679066015) b6989586621679066016 -> Type) -> *) (FoldRSym1 s6989586621679066017 k6989586621679066014 a6989586621679066015 b6989586621679066016) Source # | |
SuppressUnusedWarnings ((TyFun k6989586621679066014 (TyFun a6989586621679066015 (TyFun b6989586621679066016 b6989586621679066016 -> Type) -> Type) -> Type) -> b6989586621679066016 -> TyFun (Dict' s6989586621679066017 k6989586621679066014 a6989586621679066015) b6989586621679066016 -> *) (FoldRSym2 s6989586621679066017 k6989586621679066014 a6989586621679066015 b6989586621679066016) Source # | |
SuppressUnusedWarnings ((TyFun b6989586621679066010 (TyFun k6989586621679066011 (TyFun a6989586621679066012 b6989586621679066010 -> Type) -> Type) -> Type) -> TyFun b6989586621679066010 (TyFun (Dict' s6989586621679066013 k6989586621679066011 a6989586621679066012) b6989586621679066010 -> Type) -> *) (FoldLSym1 s6989586621679066013 k6989586621679066011 a6989586621679066012 b6989586621679066010) Source # | |
SuppressUnusedWarnings ((TyFun b6989586621679066010 (TyFun k6989586621679066011 (TyFun a6989586621679066012 b6989586621679066010 -> Type) -> Type) -> Type) -> b6989586621679066010 -> TyFun (Dict' s6989586621679066013 k6989586621679066011 a6989586621679066012) b6989586621679066010 -> *) (FoldLSym2 s6989586621679066013 k6989586621679066011 a6989586621679066012 b6989586621679066010) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679065979 b6989586621679065980 -> Type) -> TyFun (Dict' s6989586621679065981 k6989586621679065982 a6989586621679065979) (Dict' s6989586621679065981 k6989586621679065982 b6989586621679065980) -> *) (DictMapSym1 s6989586621679065981 k6989586621679065982 a6989586621679065979 b6989586621679065980) Source # | |
SuppressUnusedWarnings ((TyFun k6989586621679065975 (TyFun a6989586621679065976 b6989586621679065977 -> Type) -> Type) -> TyFun (Dict' s6989586621679065978 k6989586621679065975 a6989586621679065976) (Dict' s6989586621679065978 k6989586621679065975 b6989586621679065977) -> *) (MapWithKeySym1 s6989586621679065978 k6989586621679065975 a6989586621679065976 b6989586621679065977) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679066022 (TyFun b6989586621679066023 b6989586621679066023 -> Type) -> Type) (TyFun b6989586621679066023 (TyFun (Dict' s6989586621679066024 k6989586621679066025 a6989586621679066022) b6989586621679066023 -> Type) -> Type) -> *) (FoldSym0 s6989586621679066024 k6989586621679066025 a6989586621679066022 b6989586621679066023) Source # | |
SuppressUnusedWarnings (TyFun (TyFun k6989586621679066018 (TyFun a6989586621679066019 (TyFun b6989586621679066020 b6989586621679066020 -> Type) -> Type) -> Type) (TyFun b6989586621679066020 (TyFun (Dict' s6989586621679066021 k6989586621679066018 a6989586621679066019) b6989586621679066020 -> Type) -> Type) -> *) (FoldWithKeySym0 s6989586621679066021 k6989586621679066018 a6989586621679066019 b6989586621679066020) Source # | |
SuppressUnusedWarnings (TyFun (TyFun k6989586621679066014 (TyFun a6989586621679066015 (TyFun b6989586621679066016 b6989586621679066016 -> Type) -> Type) -> Type) (TyFun b6989586621679066016 (TyFun (Dict' s6989586621679066017 k6989586621679066014 a6989586621679066015) b6989586621679066016 -> Type) -> Type) -> *) (FoldRSym0 s6989586621679066017 k6989586621679066014 a6989586621679066015 b6989586621679066016) Source # | |
SuppressUnusedWarnings (TyFun (TyFun b6989586621679066010 (TyFun k6989586621679066011 (TyFun a6989586621679066012 b6989586621679066010 -> Type) -> Type) -> Type) (TyFun b6989586621679066010 (TyFun (Dict' s6989586621679066013 k6989586621679066011 a6989586621679066012) b6989586621679066010 -> Type) -> Type) -> *) (FoldLSym0 s6989586621679066013 k6989586621679066011 a6989586621679066012 b6989586621679066010) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679065979 b6989586621679065980 -> Type) (TyFun (Dict' s6989586621679065981 k6989586621679065982 a6989586621679065979) (Dict' s6989586621679065981 k6989586621679065982 b6989586621679065980) -> Type) -> *) (DictMapSym0 a6989586621679065979 s6989586621679065981 k6989586621679065982 b6989586621679065980) Source # | |
SuppressUnusedWarnings (TyFun (TyFun k6989586621679065975 (TyFun a6989586621679065976 b6989586621679065977 -> Type) -> Type) (TyFun (Dict' s6989586621679065978 k6989586621679065975 a6989586621679065976) (Dict' s6989586621679065978 k6989586621679065975 b6989586621679065977) -> Type) -> *) (MapWithKeySym0 a6989586621679065976 s6989586621679065978 k6989586621679065975 b6989586621679065977) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679065970 (TyFun b6989586621679065971 (a6989586621679065970, c6989586621679065972) -> Type) -> Type) -> TyFun a6989586621679065970 (TyFun (Dict' s6989586621679065973 k6989586621679065974 b6989586621679065971) (a6989586621679065970, Dict' s6989586621679065973 k6989586621679065974 c6989586621679065972) -> Type) -> *) (MapAccumSym1 s6989586621679065973 k6989586621679065974 b6989586621679065971 a6989586621679065970 c6989586621679065972) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679065970 (TyFun b6989586621679065971 (a6989586621679065970, c6989586621679065972) -> Type) -> Type) -> a6989586621679065970 -> TyFun (Dict' s6989586621679065973 k6989586621679065974 b6989586621679065971) (a6989586621679065970, Dict' s6989586621679065973 k6989586621679065974 c6989586621679065972) -> *) (MapAccumSym2 s6989586621679065973 k6989586621679065974 b6989586621679065971 a6989586621679065970 c6989586621679065972) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679065965 (TyFun k6989586621679065966 (TyFun b6989586621679065967 (a6989586621679065965, c6989586621679065968) -> Type) -> Type) -> Type) -> TyFun a6989586621679065965 (TyFun (Dict' s6989586621679065969 k6989586621679065966 b6989586621679065967) (a6989586621679065965, Dict' s6989586621679065969 k6989586621679065966 c6989586621679065968) -> Type) -> *) (MapAccumWithKeySym1 s6989586621679065969 k6989586621679065966 b6989586621679065967 a6989586621679065965 c6989586621679065968) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679065965 (TyFun k6989586621679065966 (TyFun b6989586621679065967 (a6989586621679065965, c6989586621679065968) -> Type) -> Type) -> Type) -> a6989586621679065965 -> TyFun (Dict' s6989586621679065969 k6989586621679065966 b6989586621679065967) (a6989586621679065965, Dict' s6989586621679065969 k6989586621679065966 c6989586621679065968) -> *) (MapAccumWithKeySym2 s6989586621679065969 k6989586621679065966 b6989586621679065967 a6989586621679065965 c6989586621679065968) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679065960 (TyFun k6989586621679065961 (TyFun b6989586621679065962 (a6989586621679065960, c6989586621679065963) -> Type) -> Type) -> Type) -> TyFun a6989586621679065960 (TyFun (Dict' s6989586621679065964 k6989586621679065961 b6989586621679065962) (a6989586621679065960, Dict' s6989586621679065964 k6989586621679065961 c6989586621679065963) -> Type) -> *) (MapAccumLSym1 s6989586621679065964 k6989586621679065961 b6989586621679065962 a6989586621679065960 c6989586621679065963) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679065960 (TyFun k6989586621679065961 (TyFun b6989586621679065962 (a6989586621679065960, c6989586621679065963) -> Type) -> Type) -> Type) -> a6989586621679065960 -> TyFun (Dict' s6989586621679065964 k6989586621679065961 b6989586621679065962) (a6989586621679065960, Dict' s6989586621679065964 k6989586621679065961 c6989586621679065963) -> *) (MapAccumLSym2 s6989586621679065964 k6989586621679065961 b6989586621679065962 a6989586621679065960 c6989586621679065963) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679065955 (TyFun k6989586621679065956 (TyFun b6989586621679065957 (a6989586621679065955, c6989586621679065958) -> Type) -> Type) -> Type) -> TyFun a6989586621679065955 (TyFun (Dict' s6989586621679065959 k6989586621679065956 b6989586621679065957) (a6989586621679065955, Dict' s6989586621679065959 k6989586621679065956 c6989586621679065958) -> Type) -> *) (MapAccumRSym1 s6989586621679065959 k6989586621679065956 b6989586621679065957 a6989586621679065955 c6989586621679065958) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679065955 (TyFun k6989586621679065956 (TyFun b6989586621679065957 (a6989586621679065955, c6989586621679065958) -> Type) -> Type) -> Type) -> a6989586621679065955 -> TyFun (Dict' s6989586621679065959 k6989586621679065956 b6989586621679065957) (a6989586621679065955, Dict' s6989586621679065959 k6989586621679065956 c6989586621679065958) -> *) (MapAccumRSym2 s6989586621679065959 k6989586621679065956 b6989586621679065957 a6989586621679065955 c6989586621679065958) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679065970 (TyFun b6989586621679065971 (a6989586621679065970, c6989586621679065972) -> Type) -> Type) (TyFun a6989586621679065970 (TyFun (Dict' s6989586621679065973 k6989586621679065974 b6989586621679065971) (a6989586621679065970, Dict' s6989586621679065973 k6989586621679065974 c6989586621679065972) -> Type) -> Type) -> *) (MapAccumSym0 b6989586621679065971 a6989586621679065970 s6989586621679065973 k6989586621679065974 c6989586621679065972) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679065965 (TyFun k6989586621679065966 (TyFun b6989586621679065967 (a6989586621679065965, c6989586621679065968) -> Type) -> Type) -> Type) (TyFun a6989586621679065965 (TyFun (Dict' s6989586621679065969 k6989586621679065966 b6989586621679065967) (a6989586621679065965, Dict' s6989586621679065969 k6989586621679065966 c6989586621679065968) -> Type) -> Type) -> *) (MapAccumWithKeySym0 b6989586621679065967 a6989586621679065965 s6989586621679065969 k6989586621679065966 c6989586621679065968) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679065960 (TyFun k6989586621679065961 (TyFun b6989586621679065962 (a6989586621679065960, c6989586621679065963) -> Type) -> Type) -> Type) (TyFun a6989586621679065960 (TyFun (Dict' s6989586621679065964 k6989586621679065961 b6989586621679065962) (a6989586621679065960, Dict' s6989586621679065964 k6989586621679065961 c6989586621679065963) -> Type) -> Type) -> *) (MapAccumLSym0 b6989586621679065962 a6989586621679065960 s6989586621679065964 k6989586621679065961 c6989586621679065963) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679065955 (TyFun k6989586621679065956 (TyFun b6989586621679065957 (a6989586621679065955, c6989586621679065958) -> Type) -> Type) -> Type) (TyFun a6989586621679065955 (TyFun (Dict' s6989586621679065959 k6989586621679065956 b6989586621679065957) (a6989586621679065955, Dict' s6989586621679065959 k6989586621679065956 c6989586621679065958) -> Type) -> Type) -> *) (MapAccumRSym0 b6989586621679065957 a6989586621679065955 s6989586621679065959 k6989586621679065956 c6989586621679065958) Source # | |
(SingKind s0, SingKind k0, SingKind a0) => SingKind (Dict' s0 k0 a0) Source # | |
SingI (Dict' s k a) (Tip s k a) Source # | |
(SingI s0 n0, SingI k0 n1, SingI a0 n2, SingI (Dict' s0 k0 a0) n3, SingI (Dict' s0 k0 a0) n4) => SingI (Dict' s0 k0 a0) (Bin s0 k0 a0 n0 n1 n2 n3 n4) Source # | |
type Apply k6989586621679066111 (TyFun (Dict' s6989586621679066110 k6989586621679066111 a6989586621679066112) (Dict' s6989586621679066110 k6989586621679066111 a6989586621679066112) -> Type) (DeleteSym0 s6989586621679066110 k6989586621679066111 a6989586621679066112) l0 Source # | |
type Apply k6989586621679066066 (TyFun (Dict' s6989586621679066065 k6989586621679066066 a6989586621679066067) (Maybe a6989586621679066067, Dict' s6989586621679066065 k6989586621679066066 a6989586621679066067, Dict' s6989586621679066065 k6989586621679066066 a6989586621679066067) -> Type) (SplitLookupSym0 s6989586621679066065 k6989586621679066066 a6989586621679066067) l0 Source # | |
type Apply k6989586621679066069 (TyFun (Dict' s6989586621679066068 k6989586621679066069 a6989586621679066070) (Dict' s6989586621679066068 k6989586621679066069 a6989586621679066070, Dict' s6989586621679066068 k6989586621679066069 a6989586621679066070) -> Type) (SplitSym0 s6989586621679066068 k6989586621679066069 a6989586621679066070) l0 Source # | |
type Apply k6989586621679066132 (TyFun a6989586621679066133 (TyFun (Dict' s6989586621679066131 k6989586621679066132 a6989586621679066133) (Dict' s6989586621679066131 k6989586621679066132 a6989586621679066133) -> Type) -> Type) (InsertSym0 s6989586621679066131 k6989586621679066132 a6989586621679066133) l0 Source # | |
type Apply k6989586621679066078 (TyFun (TyFun k6989586621679066078 Ordering -> Type) (TyFun (Dict' s6989586621679066077 k6989586621679066078 a6989586621679066079) (Maybe a6989586621679066079, Dict' s6989586621679066077 k6989586621679066078 a6989586621679066079) -> Type) -> Type) (TrimLookupLoSym0 s6989586621679066077 k6989586621679066078 a6989586621679066079) l0 Source # | |
type Apply k6989586621679066169 (TyFun (Dict' s6989586621679066170 k6989586621679066169 a6989586621679066171) (Maybe a6989586621679066171) -> Type) (DictLookupSym0 s6989586621679066170 k6989586621679066169 a6989586621679066171) l0 Source # | |
type Apply k6989586621679066161 (TyFun a6989586621679066162 (Dict' s6989586621679066160 k6989586621679066161 a6989586621679066162) -> Type) (SingletonSym0 s6989586621679066160 k6989586621679066161 a6989586621679066162) l0 Source # | |
type Apply k6989586621679066084 (TyFun (Dict' s6989586621679066083 k6989586621679066084 a6989586621679066085) (Maybe a6989586621679066085, Dict' s6989586621679066083 k6989586621679066084 a6989586621679066085) -> Type) (UpdateLookupWithKeySym1 s6989586621679066083 k6989586621679066084 a6989586621679066085 l0) l1 Source # | |
type Apply k6989586621679066090 (TyFun (Dict' s6989586621679066089 k6989586621679066090 a6989586621679066091) (Dict' s6989586621679066089 k6989586621679066090 a6989586621679066091) -> Type) (UpdateSym1 s6989586621679066089 k6989586621679066090 a6989586621679066091 l0) l1 Source # | |
type Apply k6989586621679066096 (TyFun (Dict' s6989586621679066095 k6989586621679066096 a6989586621679066097) (Dict' s6989586621679066095 k6989586621679066096 a6989586621679066097) -> Type) (AdjustSym1 s6989586621679066095 k6989586621679066096 a6989586621679066097 l0) l1 Source # | |
type Apply k6989586621679066093 (TyFun (Dict' s6989586621679066092 k6989586621679066093 a6989586621679066094) (Dict' s6989586621679066092 k6989586621679066093 a6989586621679066094) -> Type) (AdjustWithKeySym1 s6989586621679066092 k6989586621679066093 a6989586621679066094 l0) l1 Source # | |
type Apply k6989586621679066087 (TyFun (Dict' s6989586621679066086 k6989586621679066087 a6989586621679066088) (Dict' s6989586621679066086 k6989586621679066087 a6989586621679066088) -> Type) (UpdateWithKeySym1 s6989586621679066086 k6989586621679066087 a6989586621679066088 l0) l1 Source # | |
type Apply k6989586621679066123 (TyFun a6989586621679066124 (TyFun (Dict' s6989586621679066122 k6989586621679066123 a6989586621679066124) (Maybe a6989586621679066124, Dict' s6989586621679066122 k6989586621679066123 a6989586621679066124) -> Type) -> Type) (InsertLookupWithKeySym1 s6989586621679066122 k6989586621679066123 a6989586621679066124 l0) l1 Source # | |
type Apply k6989586621679066129 (TyFun a6989586621679066130 (TyFun (Dict' s6989586621679066128 k6989586621679066129 a6989586621679066130) (Dict' s6989586621679066128 k6989586621679066129 a6989586621679066130) -> Type) -> Type) (InsertWithSym1 s6989586621679066128 k6989586621679066129 a6989586621679066130 l0) l1 Source # | |
type Apply a6989586621679066133 (TyFun (Dict' s6989586621679066131 k6989586621679066132 a6989586621679066133) (Dict' s6989586621679066131 k6989586621679066132 a6989586621679066133) -> Type) (InsertSym1 s6989586621679066131 a6989586621679066133 k6989586621679066132 l0) l1 Source # | |
type Apply a6989586621679066124 (TyFun (Dict' s6989586621679066122 k6989586621679066123 a6989586621679066124) (Maybe a6989586621679066124, Dict' s6989586621679066122 k6989586621679066123 a6989586621679066124) -> Type) (InsertLookupWithKeySym2 s6989586621679066122 k6989586621679066123 a6989586621679066124 l1 l0) l2 Source # | |
type Apply a6989586621679066130 (TyFun (Dict' s6989586621679066128 k6989586621679066129 a6989586621679066130) (Dict' s6989586621679066128 k6989586621679066129 a6989586621679066130) -> Type) (InsertWithSym2 s6989586621679066128 k6989586621679066129 a6989586621679066130 l1 l0) l2 Source # | |
type Apply b6989586621679066023 (TyFun (Dict' s6989586621679066024 k6989586621679066025 a6989586621679066022) b6989586621679066023 -> Type) (FoldSym1 s6989586621679066024 k6989586621679066025 a6989586621679066022 b6989586621679066023 l0) l1 Source # | |
type Apply b6989586621679066020 (TyFun (Dict' s6989586621679066021 k6989586621679066018 a6989586621679066019) b6989586621679066020 -> Type) (FoldWithKeySym1 s6989586621679066021 k6989586621679066018 a6989586621679066019 b6989586621679066020 l0) l1 Source # | |
type Apply b6989586621679066016 (TyFun (Dict' s6989586621679066017 k6989586621679066014 a6989586621679066015) b6989586621679066016 -> Type) (FoldRSym1 s6989586621679066017 k6989586621679066014 a6989586621679066015 b6989586621679066016 l0) l1 Source # | |
type Apply b6989586621679066010 (TyFun (Dict' s6989586621679066013 k6989586621679066011 a6989586621679066012) b6989586621679066010 -> Type) (FoldLSym1 s6989586621679066013 k6989586621679066011 a6989586621679066012 b6989586621679066010 l0) l1 Source # | |
type Apply a6989586621679065970 (TyFun (Dict' s6989586621679065973 k6989586621679065974 b6989586621679065971) (a6989586621679065970, Dict' s6989586621679065973 k6989586621679065974 c6989586621679065972) -> Type) (MapAccumSym1 s6989586621679065973 k6989586621679065974 b6989586621679065971 a6989586621679065970 c6989586621679065972 l0) l1 Source # | |
type Apply a6989586621679065965 (TyFun (Dict' s6989586621679065969 k6989586621679065966 b6989586621679065967) (a6989586621679065965, Dict' s6989586621679065969 k6989586621679065966 c6989586621679065968) -> Type) (MapAccumWithKeySym1 s6989586621679065969 k6989586621679065966 b6989586621679065967 a6989586621679065965 c6989586621679065968 l0) l1 Source # | |
type Apply a6989586621679065960 (TyFun (Dict' s6989586621679065964 k6989586621679065961 b6989586621679065962) (a6989586621679065960, Dict' s6989586621679065964 k6989586621679065961 c6989586621679065963) -> Type) (MapAccumLSym1 s6989586621679065964 k6989586621679065961 b6989586621679065962 a6989586621679065960 c6989586621679065963 l0) l1 Source # | |
type Apply a6989586621679065955 (TyFun (Dict' s6989586621679065959 k6989586621679065956 b6989586621679065957) (a6989586621679065955, Dict' s6989586621679065959 k6989586621679065956 c6989586621679065958) -> Type) (MapAccumRSym1 s6989586621679065959 k6989586621679065956 b6989586621679065957 a6989586621679065955 c6989586621679065958 l0) l1 Source # | |
type Apply a6989586621679066162 (Dict' s6989586621679066160 k6989586621679066161 a6989586621679066162) (SingletonSym1 s6989586621679066160 a6989586621679066162 k6989586621679066161 l0) l1 Source # | |
type Apply (SizeProxy s6989586621679066062) (TyFun [Dict' s6989586621679066062 k6989586621679066063 a6989586621679066064] (Dict' s6989586621679066062 k6989586621679066063 a6989586621679066064) -> Type) (UnionsSym0 s6989586621679066062 k6989586621679066063 a6989586621679066064) l0 Source # | |
type Apply (SizeProxy s6989586621679065995) (TyFun (TyFun a6989586621679065997 (TyFun a6989586621679065997 a6989586621679065997 -> Type) -> Type) (TyFun [(k6989586621679065996, a6989586621679065997)] (Dict' s6989586621679065995 k6989586621679065996 a6989586621679065997) -> Type) -> Type) (FromListWithSym0 s6989586621679065995 k6989586621679065996 a6989586621679065997) l0 Source # | |
type Apply (SizeProxy s6989586621679065992) (TyFun (TyFun k6989586621679065993 (TyFun a6989586621679065994 (TyFun a6989586621679065994 a6989586621679065994 -> Type) -> Type) -> Type) (TyFun [(k6989586621679065993, a6989586621679065994)] (Dict' s6989586621679065992 k6989586621679065993 a6989586621679065994) -> Type) -> Type) (FromListWithKeySym0 s6989586621679065992 k6989586621679065993 a6989586621679065994) l0 Source # | |
type Apply (SizeProxy s6989586621679065998) (TyFun [(k6989586621679065999, a6989586621679066000)] (Dict' s6989586621679065998 k6989586621679065999 a6989586621679066000) -> Type) (FromListSym0 s6989586621679065998 k6989586621679065999 a6989586621679066000) l0 Source # | |
type Apply (SizeProxy s6989586621679066163) (Dict' s6989586621679066163 k6989586621679066164 a6989586621679066165) (EmptySym0 s6989586621679066163 k6989586621679066164 a6989586621679066165) l0 Source # | |
type Apply [(k6989586621679065999, a6989586621679066000)] (Dict' s6989586621679065998 k6989586621679065999 a6989586621679066000) (FromListSym1 k6989586621679065999 a6989586621679066000 s6989586621679065998 l0) l1 Source # | |
type Apply [Dict' s6989586621679066062 k6989586621679066063 a6989586621679066064] (Dict' s6989586621679066062 k6989586621679066063 a6989586621679066064) (UnionsSym1 k6989586621679066063 a6989586621679066064 s6989586621679066062 l0) l1 Source # | |
type Apply [(k6989586621679065996, a6989586621679065997)] (Dict' s6989586621679065995 k6989586621679065996 a6989586621679065997) (FromListWithSym2 k6989586621679065996 a6989586621679065997 s6989586621679065995 l1 l0) l2 Source # | |
type Apply [(k6989586621679065993, a6989586621679065994)] (Dict' s6989586621679065992 k6989586621679065993 a6989586621679065994) (FromListWithKeySym2 k6989586621679065993 a6989586621679065994 s6989586621679065992 l1 l0) l2 Source # | |
type Apply (TyFun a6989586621679066034 (TyFun a6989586621679066034 a6989586621679066034 -> Type) -> Type) (TyFun (Dict' s6989586621679066032 k6989586621679066033 a6989586621679066034) (TyFun (Dict' s6989586621679066032 k6989586621679066033 a6989586621679066034) (Dict' s6989586621679066032 k6989586621679066033 a6989586621679066034) -> Type) -> Type) (IntersectionWithSym0 s6989586621679066032 k6989586621679066033 a6989586621679066034) l0 Source # | |
type Apply (TyFun k6989586621679066030 (TyFun a6989586621679066031 (TyFun a6989586621679066031 a6989586621679066031 -> Type) -> Type) -> Type) (TyFun (Dict' s6989586621679066029 k6989586621679066030 a6989586621679066031) (TyFun (Dict' s6989586621679066029 k6989586621679066030 a6989586621679066031) (Dict' s6989586621679066029 k6989586621679066030 a6989586621679066031) -> Type) -> Type) (IntersectionWithKeySym0 s6989586621679066029 k6989586621679066030 a6989586621679066031) l0 Source # | |
type Apply (TyFun a6989586621679066052 (TyFun a6989586621679066052 a6989586621679066052 -> Type) -> Type) (TyFun (Dict' s6989586621679066050 k6989586621679066051 a6989586621679066052) (TyFun (Dict' s6989586621679066050 k6989586621679066051 a6989586621679066052) (Dict' s6989586621679066050 k6989586621679066051 a6989586621679066052) -> Type) -> Type) (UnionWithSym0 s6989586621679066050 k6989586621679066051 a6989586621679066052) l0 Source # | |
type Apply (TyFun k6989586621679066048 (TyFun a6989586621679066049 (TyFun a6989586621679066049 a6989586621679066049 -> Type) -> Type) -> Type) (TyFun (Dict' s6989586621679066047 k6989586621679066048 a6989586621679066049) (TyFun (Dict' s6989586621679066047 k6989586621679066048 a6989586621679066049) (Dict' s6989586621679066047 k6989586621679066048 a6989586621679066049) -> Type) -> Type) (UnionWithKeySym0 s6989586621679066047 k6989586621679066048 a6989586621679066049) l0 Source # | |
type Apply (TyFun k6989586621679066084 (TyFun a6989586621679066085 (Maybe a6989586621679066085) -> Type) -> Type) (TyFun k6989586621679066084 (TyFun (Dict' s6989586621679066083 k6989586621679066084 a6989586621679066085) (Maybe a6989586621679066085, Dict' s6989586621679066083 k6989586621679066084 a6989586621679066085) -> Type) -> Type) (UpdateLookupWithKeySym0 s6989586621679066083 k6989586621679066084 a6989586621679066085) l0 Source # | |
type Apply (TyFun a6989586621679066091 (Maybe a6989586621679066091) -> Type) (TyFun k6989586621679066090 (TyFun (Dict' s6989586621679066089 k6989586621679066090 a6989586621679066091) (Dict' s6989586621679066089 k6989586621679066090 a6989586621679066091) -> Type) -> Type) (UpdateSym0 s6989586621679066089 k6989586621679066090 a6989586621679066091) l0 Source # | |
type Apply (TyFun a6989586621679066097 a6989586621679066097 -> Type) (TyFun k6989586621679066096 (TyFun (Dict' s6989586621679066095 k6989586621679066096 a6989586621679066097) (Dict' s6989586621679066095 k6989586621679066096 a6989586621679066097) -> Type) -> Type) (AdjustSym0 s6989586621679066095 k6989586621679066096 a6989586621679066097) l0 Source # | |
type Apply (TyFun k6989586621679066093 (TyFun a6989586621679066094 a6989586621679066094 -> Type) -> Type) (TyFun k6989586621679066093 (TyFun (Dict' s6989586621679066092 k6989586621679066093 a6989586621679066094) (Dict' s6989586621679066092 k6989586621679066093 a6989586621679066094) -> Type) -> Type) (AdjustWithKeySym0 s6989586621679066092 k6989586621679066093 a6989586621679066094) l0 Source # | |
type Apply (TyFun k6989586621679066087 (TyFun a6989586621679066088 (Maybe a6989586621679066088) -> Type) -> Type) (TyFun k6989586621679066087 (TyFun (Dict' s6989586621679066086 k6989586621679066087 a6989586621679066088) (Dict' s6989586621679066086 k6989586621679066087 a6989586621679066088) -> Type) -> Type) (UpdateWithKeySym0 s6989586621679066086 k6989586621679066087 a6989586621679066088) l0 Source # | |
type Apply (TyFun a6989586621679065948 Bool -> Type) (TyFun (Dict' s6989586621679065946 k6989586621679065947 a6989586621679065948) (Dict' s6989586621679065946 k6989586621679065947 a6989586621679065948, Dict' s6989586621679065946 k6989586621679065947 a6989586621679065948) -> Type) (PartitionSym0 s6989586621679065946 k6989586621679065947 a6989586621679065948) l0 Source # | |
type Apply (TyFun k6989586621679065944 (TyFun a6989586621679065945 Bool -> Type) -> Type) (TyFun (Dict' s6989586621679065943 k6989586621679065944 a6989586621679065945) (Dict' s6989586621679065943 k6989586621679065944 a6989586621679065945, Dict' s6989586621679065943 k6989586621679065944 a6989586621679065945) -> Type) (PartitionWithKeySym0 s6989586621679065943 k6989586621679065944 a6989586621679065945) l0 Source # | |
type Apply (TyFun a6989586621679065954 Bool -> Type) (TyFun (Dict' s6989586621679065952 k6989586621679065953 a6989586621679065954) (Dict' s6989586621679065952 k6989586621679065953 a6989586621679065954) -> Type) (DictFilterSym0 s6989586621679065952 k6989586621679065953 a6989586621679065954) l0 Source # | |
type Apply (TyFun k6989586621679065950 (TyFun a6989586621679065951 Bool -> Type) -> Type) (TyFun (Dict' s6989586621679065949 k6989586621679065950 a6989586621679065951) (Dict' s6989586621679065949 k6989586621679065950 a6989586621679065951) -> Type) (FilterWithKeySym0 s6989586621679065949 k6989586621679065950 a6989586621679065951) l0 Source # | |
type Apply (TyFun k6989586621679066072 Ordering -> Type) (TyFun (Dict' s6989586621679066071 k6989586621679066072 a6989586621679066073) (Dict' s6989586621679066071 k6989586621679066072 a6989586621679066073) -> Type) (FilterLtSym0 s6989586621679066071 k6989586621679066072 a6989586621679066073) l0 Source # | |
type Apply (TyFun k6989586621679066075 Ordering -> Type) (TyFun (Dict' s6989586621679066074 k6989586621679066075 a6989586621679066076) (Dict' s6989586621679066074 k6989586621679066075 a6989586621679066076) -> Type) (FilterGtSym0 s6989586621679066074 k6989586621679066075 a6989586621679066076) l0 Source # | |
type Apply (TyFun k6989586621679066123 (TyFun a6989586621679066124 (TyFun a6989586621679066124 a6989586621679066124 -> Type) -> Type) -> Type) (TyFun k6989586621679066123 (TyFun a6989586621679066124 (TyFun (Dict' s6989586621679066122 k6989586621679066123 a6989586621679066124) (Maybe a6989586621679066124, Dict' s6989586621679066122 k6989586621679066123 a6989586621679066124) -> Type) -> Type) -> Type) (InsertLookupWithKeySym0 s6989586621679066122 k6989586621679066123 a6989586621679066124) l0 Source # | |
type Apply (TyFun a6989586621679066130 (TyFun a6989586621679066130 a6989586621679066130 -> Type) -> Type) (TyFun k6989586621679066129 (TyFun a6989586621679066130 (TyFun (Dict' s6989586621679066128 k6989586621679066129 a6989586621679066130) (Dict' s6989586621679066128 k6989586621679066129 a6989586621679066130) -> Type) -> Type) -> Type) (InsertWithSym0 s6989586621679066128 k6989586621679066129 a6989586621679066130) l0 Source # | |
type Apply (TyFun k6989586621679066080 Ordering -> Type) (TyFun (TyFun k6989586621679066080 Ordering -> Type) (TyFun (Dict' s6989586621679066081 k6989586621679066080 a6989586621679066082) (Dict' s6989586621679066081 k6989586621679066080 a6989586621679066082) -> Type) -> Type) (TrimSym0 s6989586621679066081 k6989586621679066080 a6989586621679066082) l0 Source # | |
type Apply (TyFun a6989586621679065997 (TyFun a6989586621679065997 a6989586621679065997 -> Type) -> Type) (TyFun [(k6989586621679065996, a6989586621679065997)] (Dict' s6989586621679065995 k6989586621679065996 a6989586621679065997) -> Type) (FromListWithSym1 k6989586621679065996 a6989586621679065997 s6989586621679065995 l0) l1 Source # | |
type Apply (TyFun k6989586621679065993 (TyFun a6989586621679065994 (TyFun a6989586621679065994 a6989586621679065994 -> Type) -> Type) -> Type) (TyFun [(k6989586621679065993, a6989586621679065994)] (Dict' s6989586621679065992 k6989586621679065993 a6989586621679065994) -> Type) (FromListWithKeySym1 k6989586621679065993 a6989586621679065994 s6989586621679065992 l0) l1 Source # | |
type Apply (TyFun k6989586621679066078 Ordering -> Type) (TyFun (Dict' s6989586621679066077 k6989586621679066078 a6989586621679066079) (Maybe a6989586621679066079, Dict' s6989586621679066077 k6989586621679066078 a6989586621679066079) -> Type) (TrimLookupLoSym1 s6989586621679066077 a6989586621679066079 k6989586621679066078 l0) l1 Source # | |
type Apply (TyFun k6989586621679066080 Ordering -> Type) (TyFun (Dict' s6989586621679066081 k6989586621679066080 a6989586621679066082) (Dict' s6989586621679066081 k6989586621679066080 a6989586621679066082) -> Type) (TrimSym1 s6989586621679066081 a6989586621679066082 k6989586621679066080 l0) l1 Source # | |
type Apply (TyFun a6989586621679066022 (TyFun b6989586621679066023 b6989586621679066023 -> Type) -> Type) (TyFun b6989586621679066023 (TyFun (Dict' s6989586621679066024 k6989586621679066025 a6989586621679066022) b6989586621679066023 -> Type) -> Type) (FoldSym0 s6989586621679066024 k6989586621679066025 a6989586621679066022 b6989586621679066023) l0 Source # | |
type Apply (TyFun k6989586621679066018 (TyFun a6989586621679066019 (TyFun b6989586621679066020 b6989586621679066020 -> Type) -> Type) -> Type) (TyFun b6989586621679066020 (TyFun (Dict' s6989586621679066021 k6989586621679066018 a6989586621679066019) b6989586621679066020 -> Type) -> Type) (FoldWithKeySym0 s6989586621679066021 k6989586621679066018 a6989586621679066019 b6989586621679066020) l0 Source # | |
type Apply (TyFun k6989586621679066014 (TyFun a6989586621679066015 (TyFun b6989586621679066016 b6989586621679066016 -> Type) -> Type) -> Type) (TyFun b6989586621679066016 (TyFun (Dict' s6989586621679066017 k6989586621679066014 a6989586621679066015) b6989586621679066016 -> Type) -> Type) (FoldRSym0 s6989586621679066017 k6989586621679066014 a6989586621679066015 b6989586621679066016) l0 Source # | |
type Apply (TyFun b6989586621679066010 (TyFun k6989586621679066011 (TyFun a6989586621679066012 b6989586621679066010 -> Type) -> Type) -> Type) (TyFun b6989586621679066010 (TyFun (Dict' s6989586621679066013 k6989586621679066011 a6989586621679066012) b6989586621679066010 -> Type) -> Type) (FoldLSym0 s6989586621679066013 k6989586621679066011 a6989586621679066012 b6989586621679066010) l0 Source # | |
type Apply (TyFun a6989586621679065979 b6989586621679065980 -> Type) (TyFun (Dict' s6989586621679065981 k6989586621679065982 a6989586621679065979) (Dict' s6989586621679065981 k6989586621679065982 b6989586621679065980) -> Type) (DictMapSym0 a6989586621679065979 s6989586621679065981 k6989586621679065982 b6989586621679065980) l0 Source # | |
type Apply (TyFun k6989586621679065975 (TyFun a6989586621679065976 b6989586621679065977 -> Type) -> Type) (TyFun (Dict' s6989586621679065978 k6989586621679065975 a6989586621679065976) (Dict' s6989586621679065978 k6989586621679065975 b6989586621679065977) -> Type) (MapWithKeySym0 a6989586621679065976 s6989586621679065978 k6989586621679065975 b6989586621679065977) l0 Source # | |
type Apply (TyFun a6989586621679065970 (TyFun b6989586621679065971 (a6989586621679065970, c6989586621679065972) -> Type) -> Type) (TyFun a6989586621679065970 (TyFun (Dict' s6989586621679065973 k6989586621679065974 b6989586621679065971) (a6989586621679065970, Dict' s6989586621679065973 k6989586621679065974 c6989586621679065972) -> Type) -> Type) (MapAccumSym0 b6989586621679065971 a6989586621679065970 s6989586621679065973 k6989586621679065974 c6989586621679065972) l0 Source # | |
type Apply (TyFun a6989586621679065965 (TyFun k6989586621679065966 (TyFun b6989586621679065967 (a6989586621679065965, c6989586621679065968) -> Type) -> Type) -> Type) (TyFun a6989586621679065965 (TyFun (Dict' s6989586621679065969 k6989586621679065966 b6989586621679065967) (a6989586621679065965, Dict' s6989586621679065969 k6989586621679065966 c6989586621679065968) -> Type) -> Type) (MapAccumWithKeySym0 b6989586621679065967 a6989586621679065965 s6989586621679065969 k6989586621679065966 c6989586621679065968) l0 Source # | |
type Apply (TyFun a6989586621679065960 (TyFun k6989586621679065961 (TyFun b6989586621679065962 (a6989586621679065960, c6989586621679065963) -> Type) -> Type) -> Type) (TyFun a6989586621679065960 (TyFun (Dict' s6989586621679065964 k6989586621679065961 b6989586621679065962) (a6989586621679065960, Dict' s6989586621679065964 k6989586621679065961 c6989586621679065963) -> Type) -> Type) (MapAccumLSym0 b6989586621679065962 a6989586621679065960 s6989586621679065964 k6989586621679065961 c6989586621679065963) l0 Source # | |
type Apply (TyFun a6989586621679065955 (TyFun k6989586621679065956 (TyFun b6989586621679065957 (a6989586621679065955, c6989586621679065958) -> Type) -> Type) -> Type) (TyFun a6989586621679065955 (TyFun (Dict' s6989586621679065959 k6989586621679065956 b6989586621679065957) (a6989586621679065955, Dict' s6989586621679065959 k6989586621679065956 c6989586621679065958) -> Type) -> Type) (MapAccumRSym0 b6989586621679065957 a6989586621679065955 s6989586621679065959 k6989586621679065956 c6989586621679065958) l0 Source # | |
data Sing (Dict' s0 k0 a0) Source # | |
type DemoteRep (Dict' s0 k0 a0) Source # | |
type Apply (Dict' s6989586621679066175 k6989586621679066176 a6989586621679066177) Bool (DictNullSym0 s6989586621679066175 k6989586621679066176 a6989586621679066177) l0 Source # | |
type Apply (Dict' s6989586621679066172 k6989586621679066173 a6989586621679066174) s6989586621679066172 (SizeSym0 k6989586621679066173 a6989586621679066174 s6989586621679066172) l0 Source # | |
type Apply (Dict' s6989586621679066024 k6989586621679066025 a6989586621679066022) b6989586621679066023 (FoldSym2 s6989586621679066024 k6989586621679066025 a6989586621679066022 b6989586621679066023 l1 l0) l2 Source # | |
type Apply (Dict' s6989586621679066021 k6989586621679066018 a6989586621679066019) b6989586621679066020 (FoldWithKeySym2 s6989586621679066021 k6989586621679066018 a6989586621679066019 b6989586621679066020 l1 l0) l2 Source # | |
type Apply (Dict' s6989586621679066017 k6989586621679066014 a6989586621679066015) b6989586621679066016 (FoldRSym2 s6989586621679066017 k6989586621679066014 a6989586621679066015 b6989586621679066016 l1 l0) l2 Source # | |
type Apply (Dict' s6989586621679066013 k6989586621679066011 a6989586621679066012) b6989586621679066010 (FoldLSym2 s6989586621679066013 k6989586621679066011 a6989586621679066012 b6989586621679066010 l1 l0) l2 Source # | |
type Apply (Dict' s6989586621679066001 k6989586621679066002 a6989586621679066003) [k6989586621679066002] (KeysSym0 s6989586621679066001 a6989586621679066003 k6989586621679066002) l0 Source # | |
type Apply (Dict' s6989586621679066004 k6989586621679066005 a6989586621679066006) [a6989586621679066006] (ElemsSym0 s6989586621679066004 k6989586621679066005 a6989586621679066006) l0 Source # | |
type Apply (Dict' s6989586621679066007 k6989586621679066008 a6989586621679066009) [(k6989586621679066008, a6989586621679066009)] (AssocsSym0 s6989586621679066007 k6989586621679066008 a6989586621679066009) l0 Source # | |
type Apply (Dict' s6989586621679065989 k6989586621679065990 a6989586621679065991) [(k6989586621679065990, a6989586621679065991)] (ToListSym0 s6989586621679065989 k6989586621679065990 a6989586621679065991) l0 Source # | |
type Apply (Dict' s6989586621679065986 k6989586621679065987 a6989586621679065988) [(k6989586621679065987, a6989586621679065988)] (ToAscListSym0 s6989586621679065986 k6989586621679065987 a6989586621679065988) l0 Source # | |
type Apply (Dict' s6989586621679065983 k6989586621679065984 a6989586621679065985) [(k6989586621679065984, a6989586621679065985)] (ToDescListSym0 s6989586621679065983 k6989586621679065984 a6989586621679065985) l0 Source # | |
type Apply (Dict' s6989586621679066170 k6989586621679066169 a6989586621679066171) (Maybe a6989586621679066171) (DictLookupSym1 s6989586621679066170 a6989586621679066171 k6989586621679066169 l0) l1 Source # | |
type Apply (Dict' s6989586621679066035 k6989586621679066036 a6989586621679066037) (TyFun (Dict' s6989586621679066035 k6989586621679066036 a6989586621679066037) (Dict' s6989586621679066035 k6989586621679066036 a6989586621679066037) -> Type) (IntersectionSym0 s6989586621679066035 k6989586621679066036 a6989586621679066037) l0 Source # | |
type Apply (Dict' s6989586621679066059 k6989586621679066060 a6989586621679066061) (TyFun (Dict' s6989586621679066059 k6989586621679066060 a6989586621679066061) (Dict' s6989586621679066059 k6989586621679066060 a6989586621679066061) -> Type) (UnionSym0 s6989586621679066059 k6989586621679066060 a6989586621679066061) l0 Source # | |
type Apply (Dict' s6989586621679066041 k6989586621679066042 a6989586621679066043) (TyFun (Dict' s6989586621679066041 k6989586621679066042 a6989586621679066043) (Dict' s6989586621679066041 k6989586621679066042 a6989586621679066043) -> Type) (DifferenceSym0 s6989586621679066041 k6989586621679066042 a6989586621679066043) l0 Source # | |
type Apply (Dict' s6989586621679066116 k6989586621679066117 a6989586621679066118) ((k6989586621679066117, a6989586621679066118), Dict' s6989586621679066116 k6989586621679066117 a6989586621679066118) (DeleteFindMaxSym0 s6989586621679066116 k6989586621679066117 a6989586621679066118) l0 Source # | |
type Apply (Dict' s6989586621679066119 k6989586621679066120 a6989586621679066121) ((k6989586621679066120, a6989586621679066121), Dict' s6989586621679066119 k6989586621679066120 a6989586621679066121) (DeleteFindMinSym0 s6989586621679066119 k6989586621679066120 a6989586621679066121) l0 Source # | |
type Apply (Dict' s6989586621679066167 k6989586621679066166 a6989586621679066168) (TyFun k6989586621679066166 (Maybe a6989586621679066168) -> Type) ((:!?$) s6989586621679066167 k6989586621679066166 a6989586621679066168) l0 Source # | |
type Apply (Dict' s6989586621679066032 k6989586621679066033 a6989586621679066034) (TyFun (Dict' s6989586621679066032 k6989586621679066033 a6989586621679066034) (Dict' s6989586621679066032 k6989586621679066033 a6989586621679066034) -> Type) (IntersectionWithSym1 s6989586621679066032 k6989586621679066033 a6989586621679066034 l0) l1 Source # | |
type Apply (Dict' s6989586621679066029 k6989586621679066030 a6989586621679066031) (TyFun (Dict' s6989586621679066029 k6989586621679066030 a6989586621679066031) (Dict' s6989586621679066029 k6989586621679066030 a6989586621679066031) -> Type) (IntersectionWithKeySym1 s6989586621679066029 k6989586621679066030 a6989586621679066031 l0) l1 Source # | |
type Apply (Dict' s6989586621679066050 k6989586621679066051 a6989586621679066052) (TyFun (Dict' s6989586621679066050 k6989586621679066051 a6989586621679066052) (Dict' s6989586621679066050 k6989586621679066051 a6989586621679066052) -> Type) (UnionWithSym1 s6989586621679066050 k6989586621679066051 a6989586621679066052 l0) l1 Source # | |
type Apply (Dict' s6989586621679066047 k6989586621679066048 a6989586621679066049) (TyFun (Dict' s6989586621679066047 k6989586621679066048 a6989586621679066049) (Dict' s6989586621679066047 k6989586621679066048 a6989586621679066049) -> Type) (UnionWithKeySym1 s6989586621679066047 k6989586621679066048 a6989586621679066049 l0) l1 Source # | |
type Apply (Dict' s6989586621679065946 k6989586621679065947 a6989586621679065948) (Dict' s6989586621679065946 k6989586621679065947 a6989586621679065948, Dict' s6989586621679065946 k6989586621679065947 a6989586621679065948) (PartitionSym1 s6989586621679065946 k6989586621679065947 a6989586621679065948 l0) l1 Source # | |
type Apply (Dict' s6989586621679065943 k6989586621679065944 a6989586621679065945) (Dict' s6989586621679065943 k6989586621679065944 a6989586621679065945, Dict' s6989586621679065943 k6989586621679065944 a6989586621679065945) (PartitionWithKeySym1 s6989586621679065943 k6989586621679065944 a6989586621679065945 l0) l1 Source # | |
type Apply (Dict' s6989586621679066068 k6989586621679066069 a6989586621679066070) (Dict' s6989586621679066068 k6989586621679066069 a6989586621679066070, Dict' s6989586621679066068 k6989586621679066069 a6989586621679066070) (SplitSym1 s6989586621679066068 a6989586621679066070 k6989586621679066069 l0) l1 Source # | |
type Apply (Dict' s6989586621679066083 k6989586621679066084 a6989586621679066085) (Maybe a6989586621679066085, Dict' s6989586621679066083 k6989586621679066084 a6989586621679066085) (UpdateLookupWithKeySym2 s6989586621679066083 k6989586621679066084 a6989586621679066085 l1 l0) l2 Source # | |
type Apply (Dict' s6989586621679066077 k6989586621679066078 a6989586621679066079) (Maybe a6989586621679066079, Dict' s6989586621679066077 k6989586621679066078 a6989586621679066079) (TrimLookupLoSym2 s6989586621679066077 a6989586621679066079 k6989586621679066078 l1 l0) l2 Source # | |
type Apply (Dict' s6989586621679066122 k6989586621679066123 a6989586621679066124) (Maybe a6989586621679066124, Dict' s6989586621679066122 k6989586621679066123 a6989586621679066124) (InsertLookupWithKeySym3 s6989586621679066122 k6989586621679066123 a6989586621679066124 l2 l1 l0) l3 Source # | |
type Apply (Dict' s6989586621679065973 k6989586621679065974 b6989586621679065971) (a6989586621679065970, Dict' s6989586621679065973 k6989586621679065974 c6989586621679065972) (MapAccumSym2 s6989586621679065973 k6989586621679065974 b6989586621679065971 a6989586621679065970 c6989586621679065972 l1 l0) l2 Source # | |
type Apply (Dict' s6989586621679065969 k6989586621679065966 b6989586621679065967) (a6989586621679065965, Dict' s6989586621679065969 k6989586621679065966 c6989586621679065968) (MapAccumWithKeySym2 s6989586621679065969 k6989586621679065966 b6989586621679065967 a6989586621679065965 c6989586621679065968 l1 l0) l2 Source # | |
type Apply (Dict' s6989586621679065964 k6989586621679065961 b6989586621679065962) (a6989586621679065960, Dict' s6989586621679065964 k6989586621679065961 c6989586621679065963) (MapAccumLSym2 s6989586621679065964 k6989586621679065961 b6989586621679065962 a6989586621679065960 c6989586621679065963 l1 l0) l2 Source # | |
type Apply (Dict' s6989586621679065959 k6989586621679065956 b6989586621679065957) (a6989586621679065955, Dict' s6989586621679065959 k6989586621679065956 c6989586621679065958) (MapAccumRSym2 s6989586621679065959 k6989586621679065956 b6989586621679065957 a6989586621679065955 c6989586621679065958 l1 l0) l2 Source # | |
type Apply (Dict' s6989586621679066035 k6989586621679066036 a6989586621679066037) (Dict' s6989586621679066035 k6989586621679066036 a6989586621679066037) (IntersectionSym1 s6989586621679066035 k6989586621679066036 a6989586621679066037 l0) l1 Source # | |
type Apply (Dict' s6989586621679066059 k6989586621679066060 a6989586621679066061) (Dict' s6989586621679066059 k6989586621679066060 a6989586621679066061) (UnionSym1 s6989586621679066059 k6989586621679066060 a6989586621679066061 l0) l1 Source # | |
type Apply (Dict' s6989586621679065952 k6989586621679065953 a6989586621679065954) (Dict' s6989586621679065952 k6989586621679065953 a6989586621679065954) (DictFilterSym1 s6989586621679065952 k6989586621679065953 a6989586621679065954 l0) l1 Source # | |
type Apply (Dict' s6989586621679065949 k6989586621679065950 a6989586621679065951) (Dict' s6989586621679065949 k6989586621679065950 a6989586621679065951) (FilterWithKeySym1 s6989586621679065949 k6989586621679065950 a6989586621679065951 l0) l1 Source # | |
type Apply (Dict' s6989586621679066041 k6989586621679066042 a6989586621679066043) (Dict' s6989586621679066041 k6989586621679066042 a6989586621679066043) (DifferenceSym1 s6989586621679066041 k6989586621679066042 a6989586621679066043 l0) l1 Source # | |
type Apply (Dict' s6989586621679066110 k6989586621679066111 a6989586621679066112) (Dict' s6989586621679066110 k6989586621679066111 a6989586621679066112) (DeleteSym1 s6989586621679066110 a6989586621679066112 k6989586621679066111 l0) l1 Source # | |
type Apply (Dict' s6989586621679066065 k6989586621679066066 a6989586621679066067) (Maybe a6989586621679066067, Dict' s6989586621679066065 k6989586621679066066 a6989586621679066067, Dict' s6989586621679066065 k6989586621679066066 a6989586621679066067) (SplitLookupSym1 s6989586621679066065 a6989586621679066067 k6989586621679066066 l0) l1 Source # | |
type Apply (Dict' s6989586621679066071 k6989586621679066072 a6989586621679066073) (Dict' s6989586621679066071 k6989586621679066072 a6989586621679066073) (FilterLtSym1 s6989586621679066071 a6989586621679066073 k6989586621679066072 l0) l1 Source # | |
type Apply (Dict' s6989586621679066074 k6989586621679066075 a6989586621679066076) (Dict' s6989586621679066074 k6989586621679066075 a6989586621679066076) (FilterGtSym1 s6989586621679066074 a6989586621679066076 k6989586621679066075 l0) l1 Source # | |
type Apply (Dict' s6989586621679066032 k6989586621679066033 a6989586621679066034) (Dict' s6989586621679066032 k6989586621679066033 a6989586621679066034) (IntersectionWithSym2 s6989586621679066032 k6989586621679066033 a6989586621679066034 l1 l0) l2 Source # | |
type Apply (Dict' s6989586621679066029 k6989586621679066030 a6989586621679066031) (Dict' s6989586621679066029 k6989586621679066030 a6989586621679066031) (IntersectionWithKeySym2 s6989586621679066029 k6989586621679066030 a6989586621679066031 l1 l0) l2 Source # | |
type Apply (Dict' s6989586621679066050 k6989586621679066051 a6989586621679066052) (Dict' s6989586621679066050 k6989586621679066051 a6989586621679066052) (UnionWithSym2 s6989586621679066050 k6989586621679066051 a6989586621679066052 l1 l0) l2 Source # | |
type Apply (Dict' s6989586621679066047 k6989586621679066048 a6989586621679066049) (Dict' s6989586621679066047 k6989586621679066048 a6989586621679066049) (UnionWithKeySym2 s6989586621679066047 k6989586621679066048 a6989586621679066049 l1 l0) l2 Source # | |
type Apply (Dict' s6989586621679066089 k6989586621679066090 a6989586621679066091) (Dict' s6989586621679066089 k6989586621679066090 a6989586621679066091) (UpdateSym2 s6989586621679066089 k6989586621679066090 a6989586621679066091 l1 l0) l2 Source # | |
type Apply (Dict' s6989586621679066095 k6989586621679066096 a6989586621679066097) (Dict' s6989586621679066095 k6989586621679066096 a6989586621679066097) (AdjustSym2 s6989586621679066095 k6989586621679066096 a6989586621679066097 l1 l0) l2 Source # | |
type Apply (Dict' s6989586621679066092 k6989586621679066093 a6989586621679066094) (Dict' s6989586621679066092 k6989586621679066093 a6989586621679066094) (AdjustWithKeySym2 s6989586621679066092 k6989586621679066093 a6989586621679066094 l1 l0) l2 Source # | |
type Apply (Dict' s6989586621679066086 k6989586621679066087 a6989586621679066088) (Dict' s6989586621679066086 k6989586621679066087 a6989586621679066088) (UpdateWithKeySym2 s6989586621679066086 k6989586621679066087 a6989586621679066088 l1 l0) l2 Source # | |
type Apply (Dict' s6989586621679066131 k6989586621679066132 a6989586621679066133) (Dict' s6989586621679066131 k6989586621679066132 a6989586621679066133) (InsertSym2 s6989586621679066131 a6989586621679066133 k6989586621679066132 l1 l0) l2 Source # | |
type Apply (Dict' s6989586621679066081 k6989586621679066080 a6989586621679066082) (Dict' s6989586621679066081 k6989586621679066080 a6989586621679066082) (TrimSym2 s6989586621679066081 a6989586621679066082 k6989586621679066080 l1 l0) l2 Source # | |
type Apply (Dict' s6989586621679065981 k6989586621679065982 a6989586621679065979) (Dict' s6989586621679065981 k6989586621679065982 b6989586621679065980) (DictMapSym1 s6989586621679065981 k6989586621679065982 a6989586621679065979 b6989586621679065980 l0) l1 Source # | |
type Apply (Dict' s6989586621679065978 k6989586621679065975 a6989586621679065976) (Dict' s6989586621679065978 k6989586621679065975 b6989586621679065977) (MapWithKeySym1 s6989586621679065978 k6989586621679065975 a6989586621679065976 b6989586621679065977 l0) l1 Source # | |
type Apply (Dict' s6989586621679066128 k6989586621679066129 a6989586621679066130) (Dict' s6989586621679066128 k6989586621679066129 a6989586621679066130) (InsertWithSym3 s6989586621679066128 k6989586621679066129 a6989586621679066130 l2 l1 l0) l3 Source # | |
Instances
SingKind a0 => SingKind (SizeProxy a0) Source # | |
SuppressUnusedWarnings (SizeProxy s6989586621679066062 -> TyFun [Dict' s6989586621679066062 k6989586621679066063 a6989586621679066064] (Dict' s6989586621679066062 k6989586621679066063 a6989586621679066064) -> *) (UnionsSym1 k6989586621679066063 a6989586621679066064 s6989586621679066062) Source # | |
SuppressUnusedWarnings (SizeProxy s6989586621679065995 -> TyFun (TyFun a6989586621679065997 (TyFun a6989586621679065997 a6989586621679065997 -> Type) -> Type) (TyFun [(k6989586621679065996, a6989586621679065997)] (Dict' s6989586621679065995 k6989586621679065996 a6989586621679065997) -> Type) -> *) (FromListWithSym1 k6989586621679065996 a6989586621679065997 s6989586621679065995) Source # | |
SuppressUnusedWarnings (SizeProxy s6989586621679065995 -> (TyFun a6989586621679065997 (TyFun a6989586621679065997 a6989586621679065997 -> Type) -> Type) -> TyFun [(k6989586621679065996, a6989586621679065997)] (Dict' s6989586621679065995 k6989586621679065996 a6989586621679065997) -> *) (FromListWithSym2 k6989586621679065996 a6989586621679065997 s6989586621679065995) Source # | |
SuppressUnusedWarnings (SizeProxy s6989586621679065992 -> TyFun (TyFun k6989586621679065993 (TyFun a6989586621679065994 (TyFun a6989586621679065994 a6989586621679065994 -> Type) -> Type) -> Type) (TyFun [(k6989586621679065993, a6989586621679065994)] (Dict' s6989586621679065992 k6989586621679065993 a6989586621679065994) -> Type) -> *) (FromListWithKeySym1 k6989586621679065993 a6989586621679065994 s6989586621679065992) Source # | |
SuppressUnusedWarnings (SizeProxy s6989586621679065992 -> (TyFun k6989586621679065993 (TyFun a6989586621679065994 (TyFun a6989586621679065994 a6989586621679065994 -> Type) -> Type) -> Type) -> TyFun [(k6989586621679065993, a6989586621679065994)] (Dict' s6989586621679065992 k6989586621679065993 a6989586621679065994) -> *) (FromListWithKeySym2 k6989586621679065993 a6989586621679065994 s6989586621679065992) Source # | |
SuppressUnusedWarnings (SizeProxy s6989586621679065998 -> TyFun [(k6989586621679065999, a6989586621679066000)] (Dict' s6989586621679065998 k6989586621679065999 a6989586621679066000) -> *) (FromListSym1 k6989586621679065999 a6989586621679066000 s6989586621679065998) Source # | |
SuppressUnusedWarnings (TyFun (SizeProxy s6989586621679066062) (TyFun [Dict' s6989586621679066062 k6989586621679066063 a6989586621679066064] (Dict' s6989586621679066062 k6989586621679066063 a6989586621679066064) -> Type) -> *) (UnionsSym0 s6989586621679066062 k6989586621679066063 a6989586621679066064) Source # | |
SuppressUnusedWarnings (TyFun (SizeProxy s6989586621679065995) (TyFun (TyFun a6989586621679065997 (TyFun a6989586621679065997 a6989586621679065997 -> Type) -> Type) (TyFun [(k6989586621679065996, a6989586621679065997)] (Dict' s6989586621679065995 k6989586621679065996 a6989586621679065997) -> Type) -> Type) -> *) (FromListWithSym0 s6989586621679065995 k6989586621679065996 a6989586621679065997) Source # | |
SuppressUnusedWarnings (TyFun (SizeProxy s6989586621679065992) (TyFun (TyFun k6989586621679065993 (TyFun a6989586621679065994 (TyFun a6989586621679065994 a6989586621679065994 -> Type) -> Type) -> Type) (TyFun [(k6989586621679065993, a6989586621679065994)] (Dict' s6989586621679065992 k6989586621679065993 a6989586621679065994) -> Type) -> Type) -> *) (FromListWithKeySym0 s6989586621679065992 k6989586621679065993 a6989586621679065994) Source # | |
SuppressUnusedWarnings (TyFun (SizeProxy s6989586621679065998) (TyFun [(k6989586621679065999, a6989586621679066000)] (Dict' s6989586621679065998 k6989586621679065999 a6989586621679066000) -> Type) -> *) (FromListSym0 s6989586621679065998 k6989586621679065999 a6989586621679066000) Source # | |
SuppressUnusedWarnings (TyFun (SizeProxy s6989586621679066163) (Dict' s6989586621679066163 k6989586621679066164 a6989586621679066165) -> *) (EmptySym0 s6989586621679066163 k6989586621679066164 a6989586621679066165) Source # | |
data Sing (SizeProxy a0) Source # | |
type DemoteRep (SizeProxy a0) Source # | |
type Apply (SizeProxy s6989586621679066062) (TyFun [Dict' s6989586621679066062 k6989586621679066063 a6989586621679066064] (Dict' s6989586621679066062 k6989586621679066063 a6989586621679066064) -> Type) (UnionsSym0 s6989586621679066062 k6989586621679066063 a6989586621679066064) l0 Source # | |
type Apply (SizeProxy s6989586621679065995) (TyFun (TyFun a6989586621679065997 (TyFun a6989586621679065997 a6989586621679065997 -> Type) -> Type) (TyFun [(k6989586621679065996, a6989586621679065997)] (Dict' s6989586621679065995 k6989586621679065996 a6989586621679065997) -> Type) -> Type) (FromListWithSym0 s6989586621679065995 k6989586621679065996 a6989586621679065997) l0 Source # | |
type Apply (SizeProxy s6989586621679065992) (TyFun (TyFun k6989586621679065993 (TyFun a6989586621679065994 (TyFun a6989586621679065994 a6989586621679065994 -> Type) -> Type) -> Type) (TyFun [(k6989586621679065993, a6989586621679065994)] (Dict' s6989586621679065992 k6989586621679065993 a6989586621679065994) -> Type) -> Type) (FromListWithKeySym0 s6989586621679065992 k6989586621679065993 a6989586621679065994) l0 Source # | |
type Apply (SizeProxy s6989586621679065998) (TyFun [(k6989586621679065999, a6989586621679066000)] (Dict' s6989586621679065998 k6989586621679065999 a6989586621679066000) -> Type) (FromListSym0 s6989586621679065998 k6989586621679065999 a6989586621679066000) l0 Source # | |
type Apply (SizeProxy s6989586621679066163) (Dict' s6989586621679066163 k6989586621679066164 a6989586621679066165) (EmptySym0 s6989586621679066163 k6989586621679066164 a6989586621679066165) l0 Source # | |
type SizeProxySym0 = SizeProxy Source #
type NatProxySym0 = NatProxy Source #
type family DictNull (a :: Dict' s k a) :: Bool where ... Source #
Equations
DictNull t = Case_6989586621679079601 t t |
data DictNullSym0 l Source #
Instances
SuppressUnusedWarnings (TyFun (Dict' s6989586621679066175 k6989586621679066176 a6989586621679066177) Bool -> *) (DictNullSym0 s6989586621679066175 k6989586621679066176 a6989586621679066177) Source # | |
type Apply (Dict' s6989586621679066175 k6989586621679066176 a6989586621679066177) Bool (DictNullSym0 s6989586621679066175 k6989586621679066176 a6989586621679066177) l0 Source # | |
type DictNullSym1 t = DictNull t Source #
type family Size (a :: Dict' s k a) :: s where ... Source #
Equations
Size t = Case_6989586621679070702 t t |
Instances
SuppressUnusedWarnings (TyFun (Dict' s6989586621679066172 k6989586621679066173 a6989586621679066174) s6989586621679066172 -> *) (SizeSym0 k6989586621679066173 a6989586621679066174 s6989586621679066172) Source # | |
type Apply (Dict' s6989586621679066172 k6989586621679066173 a6989586621679066174) s6989586621679066172 (SizeSym0 k6989586621679066173 a6989586621679066174 s6989586621679066172) l0 Source # | |
sDictLookup :: forall t t. SOrd k => Sing t -> Sing t -> Sing (Apply (Apply DictLookupSym0 t) t :: Maybe a) Source #
type family DictLookup (a :: k) (a :: Dict' s k a) :: Maybe a where ... Source #
Equations
DictLookup k t = Case_6989586621679070473 k t t |
data DictLookupSym0 l Source #
Instances
SuppressUnusedWarnings (TyFun k6989586621679066169 (TyFun (Dict' s6989586621679066170 k6989586621679066169 a6989586621679066171) (Maybe a6989586621679066171) -> Type) -> *) (DictLookupSym0 s6989586621679066170 k6989586621679066169 a6989586621679066171) Source # | |
type Apply k6989586621679066169 (TyFun (Dict' s6989586621679066170 k6989586621679066169 a6989586621679066171) (Maybe a6989586621679066171) -> Type) (DictLookupSym0 s6989586621679066170 k6989586621679066169 a6989586621679066171) l0 Source # | |
data DictLookupSym1 l l Source #
Instances
SuppressUnusedWarnings (k6989586621679066169 -> TyFun (Dict' s6989586621679066170 k6989586621679066169 a6989586621679066171) (Maybe a6989586621679066171) -> *) (DictLookupSym1 s6989586621679066170 a6989586621679066171 k6989586621679066169) Source # | |
type Apply (Dict' s6989586621679066170 k6989586621679066169 a6989586621679066171) (Maybe a6989586621679066171) (DictLookupSym1 s6989586621679066170 a6989586621679066171 k6989586621679066169 l0) l1 Source # | |
type DictLookupSym2 t t = DictLookup t t Source #
type family (a :: Dict' s k a) :!? (a :: k) :: Maybe a where ... Source #
Equations
t :!? k = Apply (Apply DictLookupSym0 k) t |
(%:!?) :: forall t t. SOrd k => Sing t -> Sing t -> Sing (Apply (Apply (:!?$) t) t :: Maybe a) Source #
Instances
SuppressUnusedWarnings (TyFun (Dict' s6989586621679066167 k6989586621679066166 a6989586621679066168) (TyFun k6989586621679066166 (Maybe a6989586621679066168) -> Type) -> *) ((:!?$) s6989586621679066167 k6989586621679066166 a6989586621679066168) Source # | |
type Apply (Dict' s6989586621679066167 k6989586621679066166 a6989586621679066168) (TyFun k6989586621679066166 (Maybe a6989586621679066168) -> Type) ((:!?$) s6989586621679066167 k6989586621679066166 a6989586621679066168) l0 Source # | |
Instances
SuppressUnusedWarnings (Dict' s6989586621679066167 k6989586621679066166 a6989586621679066168 -> TyFun k6989586621679066166 (Maybe a6989586621679066168) -> *) ((:!?$$) s6989586621679066167 k6989586621679066166 a6989586621679066168) Source # | |
type Apply k6989586621679066166 (Maybe a6989586621679066168) ((:!?$$) s6989586621679066167 k6989586621679066166 a6989586621679066168 l0) l1 Source # | |
type family Empty (a :: SizeProxy s) :: Dict' s k a where ... Source #
Equations
Empty _z_6989586621679070459 = TipSym0 |
Instances
SuppressUnusedWarnings (TyFun (SizeProxy s6989586621679066163) (Dict' s6989586621679066163 k6989586621679066164 a6989586621679066165) -> *) (EmptySym0 s6989586621679066163 k6989586621679066164 a6989586621679066165) Source # | |
type Apply (SizeProxy s6989586621679066163) (Dict' s6989586621679066163 k6989586621679066164 a6989586621679066165) (EmptySym0 s6989586621679066163 k6989586621679066164 a6989586621679066165) l0 Source # | |
sSingleton :: forall t t. SNum s => Sing t -> Sing t -> Sing (Apply (Apply SingletonSym0 t) t :: Dict' s k a) Source #
data SingletonSym0 l Source #
Instances
SuppressUnusedWarnings (TyFun k6989586621679066161 (TyFun a6989586621679066162 (Dict' s6989586621679066160 k6989586621679066161 a6989586621679066162) -> Type) -> *) (SingletonSym0 s6989586621679066160 k6989586621679066161 a6989586621679066162) Source # | |
type Apply k6989586621679066161 (TyFun a6989586621679066162 (Dict' s6989586621679066160 k6989586621679066161 a6989586621679066162) -> Type) (SingletonSym0 s6989586621679066160 k6989586621679066161 a6989586621679066162) l0 Source # | |
data SingletonSym1 l l Source #
Instances
SuppressUnusedWarnings (k6989586621679066161 -> TyFun a6989586621679066162 (Dict' s6989586621679066160 k6989586621679066161 a6989586621679066162) -> *) (SingletonSym1 s6989586621679066160 a6989586621679066162 k6989586621679066161) Source # | |
type Apply a6989586621679066162 (Dict' s6989586621679066160 k6989586621679066161 a6989586621679066162) (SingletonSym1 s6989586621679066160 a6989586621679066162 k6989586621679066161 l0) l1 Source # | |
type SingletonSym2 t t = Singleton t t Source #
sInsert :: forall t t t. (SNum s, SOrd s, SOrd k) => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply InsertSym0 t) t) t :: Dict' s k a) Source #
type family Insert (a :: k) (a :: a) (a :: Dict' s k a) :: Dict' s k a where ... Source #
Equations
Insert kx x t = Case_6989586621679071379 kx x t t |
data InsertSym0 l Source #
Instances
SuppressUnusedWarnings (TyFun k6989586621679066132 (TyFun a6989586621679066133 (TyFun (Dict' s6989586621679066131 k6989586621679066132 a6989586621679066133) (Dict' s6989586621679066131 k6989586621679066132 a6989586621679066133) -> Type) -> Type) -> *) (InsertSym0 s6989586621679066131 k6989586621679066132 a6989586621679066133) Source # | |
type Apply k6989586621679066132 (TyFun a6989586621679066133 (TyFun (Dict' s6989586621679066131 k6989586621679066132 a6989586621679066133) (Dict' s6989586621679066131 k6989586621679066132 a6989586621679066133) -> Type) -> Type) (InsertSym0 s6989586621679066131 k6989586621679066132 a6989586621679066133) l0 Source # | |
data InsertSym1 l l Source #
Instances
SuppressUnusedWarnings (k6989586621679066132 -> TyFun a6989586621679066133 (TyFun (Dict' s6989586621679066131 k6989586621679066132 a6989586621679066133) (Dict' s6989586621679066131 k6989586621679066132 a6989586621679066133) -> Type) -> *) (InsertSym1 s6989586621679066131 a6989586621679066133 k6989586621679066132) Source # | |
type Apply a6989586621679066133 (TyFun (Dict' s6989586621679066131 k6989586621679066132 a6989586621679066133) (Dict' s6989586621679066131 k6989586621679066132 a6989586621679066133) -> Type) (InsertSym1 s6989586621679066131 a6989586621679066133 k6989586621679066132 l0) l1 Source # | |
data InsertSym2 l l l Source #
Instances
SuppressUnusedWarnings (k6989586621679066132 -> a6989586621679066133 -> TyFun (Dict' s6989586621679066131 k6989586621679066132 a6989586621679066133) (Dict' s6989586621679066131 k6989586621679066132 a6989586621679066133) -> *) (InsertSym2 s6989586621679066131 a6989586621679066133 k6989586621679066132) Source # | |
type Apply (Dict' s6989586621679066131 k6989586621679066132 a6989586621679066133) (Dict' s6989586621679066131 k6989586621679066132 a6989586621679066133) (InsertSym2 s6989586621679066131 a6989586621679066133 k6989586621679066132 l1 l0) l2 Source # | |
type InsertSym3 t t t = Insert t t t Source #
insertWith :: forall s k a. (Num s, Ord s, Ord k) => (a -> a -> a) -> k -> a -> Dict' s k a -> Dict' s k a Source #
sInsertWith :: forall t t t t. (SNum s, SOrd s, SOrd k) => Sing t -> Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (Apply InsertWithSym0 t) t) t) t :: Dict' s k a) Source #
type family InsertWith (a :: TyFun a (TyFun a a -> Type) -> Type) (a :: k) (a :: a) (a :: Dict' s k a) :: Dict' s k a where ... Source #
data InsertWithSym0 l Source #
Instances
SuppressUnusedWarnings (TyFun (TyFun a6989586621679066130 (TyFun a6989586621679066130 a6989586621679066130 -> Type) -> Type) (TyFun k6989586621679066129 (TyFun a6989586621679066130 (TyFun (Dict' s6989586621679066128 k6989586621679066129 a6989586621679066130) (Dict' s6989586621679066128 k6989586621679066129 a6989586621679066130) -> Type) -> Type) -> Type) -> *) (InsertWithSym0 s6989586621679066128 k6989586621679066129 a6989586621679066130) Source # | |
type Apply (TyFun a6989586621679066130 (TyFun a6989586621679066130 a6989586621679066130 -> Type) -> Type) (TyFun k6989586621679066129 (TyFun a6989586621679066130 (TyFun (Dict' s6989586621679066128 k6989586621679066129 a6989586621679066130) (Dict' s6989586621679066128 k6989586621679066129 a6989586621679066130) -> Type) -> Type) -> Type) (InsertWithSym0 s6989586621679066128 k6989586621679066129 a6989586621679066130) l0 Source # | |
data InsertWithSym1 l l Source #
Instances
SuppressUnusedWarnings ((TyFun a6989586621679066130 (TyFun a6989586621679066130 a6989586621679066130 -> Type) -> Type) -> TyFun k6989586621679066129 (TyFun a6989586621679066130 (TyFun (Dict' s6989586621679066128 k6989586621679066129 a6989586621679066130) (Dict' s6989586621679066128 k6989586621679066129 a6989586621679066130) -> Type) -> Type) -> *) (InsertWithSym1 s6989586621679066128 k6989586621679066129 a6989586621679066130) Source # | |
type Apply k6989586621679066129 (TyFun a6989586621679066130 (TyFun (Dict' s6989586621679066128 k6989586621679066129 a6989586621679066130) (Dict' s6989586621679066128 k6989586621679066129 a6989586621679066130) -> Type) -> Type) (InsertWithSym1 s6989586621679066128 k6989586621679066129 a6989586621679066130 l0) l1 Source # | |
data InsertWithSym2 l l l Source #
Instances
SuppressUnusedWarnings ((TyFun a6989586621679066130 (TyFun a6989586621679066130 a6989586621679066130 -> Type) -> Type) -> k6989586621679066129 -> TyFun a6989586621679066130 (TyFun (Dict' s6989586621679066128 k6989586621679066129 a6989586621679066130) (Dict' s6989586621679066128 k6989586621679066129 a6989586621679066130) -> Type) -> *) (InsertWithSym2 s6989586621679066128 k6989586621679066129 a6989586621679066130) Source # | |
type Apply a6989586621679066130 (TyFun (Dict' s6989586621679066128 k6989586621679066129 a6989586621679066130) (Dict' s6989586621679066128 k6989586621679066129 a6989586621679066130) -> Type) (InsertWithSym2 s6989586621679066128 k6989586621679066129 a6989586621679066130 l1 l0) l2 Source # | |
data InsertWithSym3 l l l l Source #
Instances
SuppressUnusedWarnings ((TyFun a6989586621679066130 (TyFun a6989586621679066130 a6989586621679066130 -> Type) -> Type) -> k6989586621679066129 -> a6989586621679066130 -> TyFun (Dict' s6989586621679066128 k6989586621679066129 a6989586621679066130) (Dict' s6989586621679066128 k6989586621679066129 a6989586621679066130) -> *) (InsertWithSym3 s6989586621679066128 k6989586621679066129 a6989586621679066130) Source # | |
type Apply (Dict' s6989586621679066128 k6989586621679066129 a6989586621679066130) (Dict' s6989586621679066128 k6989586621679066129 a6989586621679066130) (InsertWithSym3 s6989586621679066128 k6989586621679066129 a6989586621679066130 l2 l1 l0) l3 Source # | |
type InsertWithSym4 t t t t = InsertWith t t t t Source #
insertLookupWithKey :: forall s k a. (Num s, Ord s, Ord k) => (k -> a -> a -> a) -> k -> a -> Dict' s k a -> (Maybe a, Dict' s k a) Source #
sInsertLookupWithKey :: forall t t t t. (SNum s, SOrd s, SOrd k) => Sing t -> Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (Apply InsertLookupWithKeySym0 t) t) t) t :: (Maybe a, Dict' s k a)) Source #
type family InsertLookupWithKey (a :: TyFun k (TyFun a (TyFun a a -> Type) -> Type) -> Type) (a :: k) (a :: a) (a :: Dict' s k a) :: (Maybe a, Dict' s k a) where ... Source #
Equations
InsertLookupWithKey f kx x t = Case_6989586621679071799 f kx x t t |
data InsertLookupWithKeySym0 l Source #
Instances
SuppressUnusedWarnings (TyFun (TyFun k6989586621679066123 (TyFun a6989586621679066124 (TyFun a6989586621679066124 a6989586621679066124 -> Type) -> Type) -> Type) (TyFun k6989586621679066123 (TyFun a6989586621679066124 (TyFun (Dict' s6989586621679066122 k6989586621679066123 a6989586621679066124) (Maybe a6989586621679066124, Dict' s6989586621679066122 k6989586621679066123 a6989586621679066124) -> Type) -> Type) -> Type) -> *) (InsertLookupWithKeySym0 s6989586621679066122 k6989586621679066123 a6989586621679066124) Source # | |
type Apply (TyFun k6989586621679066123 (TyFun a6989586621679066124 (TyFun a6989586621679066124 a6989586621679066124 -> Type) -> Type) -> Type) (TyFun k6989586621679066123 (TyFun a6989586621679066124 (TyFun (Dict' s6989586621679066122 k6989586621679066123 a6989586621679066124) (Maybe a6989586621679066124, Dict' s6989586621679066122 k6989586621679066123 a6989586621679066124) -> Type) -> Type) -> Type) (InsertLookupWithKeySym0 s6989586621679066122 k6989586621679066123 a6989586621679066124) l0 Source # | |
data InsertLookupWithKeySym1 l l Source #
Instances
SuppressUnusedWarnings ((TyFun k6989586621679066123 (TyFun a6989586621679066124 (TyFun a6989586621679066124 a6989586621679066124 -> Type) -> Type) -> Type) -> TyFun k6989586621679066123 (TyFun a6989586621679066124 (TyFun (Dict' s6989586621679066122 k6989586621679066123 a6989586621679066124) (Maybe a6989586621679066124, Dict' s6989586621679066122 k6989586621679066123 a6989586621679066124) -> Type) -> Type) -> *) (InsertLookupWithKeySym1 s6989586621679066122 k6989586621679066123 a6989586621679066124) Source # | |
type Apply k6989586621679066123 (TyFun a6989586621679066124 (TyFun (Dict' s6989586621679066122 k6989586621679066123 a6989586621679066124) (Maybe a6989586621679066124, Dict' s6989586621679066122 k6989586621679066123 a6989586621679066124) -> Type) -> Type) (InsertLookupWithKeySym1 s6989586621679066122 k6989586621679066123 a6989586621679066124 l0) l1 Source # | |
data InsertLookupWithKeySym2 l l l Source #
Instances
SuppressUnusedWarnings ((TyFun k6989586621679066123 (TyFun a6989586621679066124 (TyFun a6989586621679066124 a6989586621679066124 -> Type) -> Type) -> Type) -> k6989586621679066123 -> TyFun a6989586621679066124 (TyFun (Dict' s6989586621679066122 k6989586621679066123 a6989586621679066124) (Maybe a6989586621679066124, Dict' s6989586621679066122 k6989586621679066123 a6989586621679066124) -> Type) -> *) (InsertLookupWithKeySym2 s6989586621679066122 k6989586621679066123 a6989586621679066124) Source # | |
type Apply a6989586621679066124 (TyFun (Dict' s6989586621679066122 k6989586621679066123 a6989586621679066124) (Maybe a6989586621679066124, Dict' s6989586621679066122 k6989586621679066123 a6989586621679066124) -> Type) (InsertLookupWithKeySym2 s6989586621679066122 k6989586621679066123 a6989586621679066124 l1 l0) l2 Source # | |
data InsertLookupWithKeySym3 l l l l Source #
Instances
SuppressUnusedWarnings ((TyFun k6989586621679066123 (TyFun a6989586621679066124 (TyFun a6989586621679066124 a6989586621679066124 -> Type) -> Type) -> Type) -> k6989586621679066123 -> a6989586621679066124 -> TyFun (Dict' s6989586621679066122 k6989586621679066123 a6989586621679066124) (Maybe a6989586621679066124, Dict' s6989586621679066122 k6989586621679066123 a6989586621679066124) -> *) (InsertLookupWithKeySym3 s6989586621679066122 k6989586621679066123 a6989586621679066124) Source # | |
type Apply (Dict' s6989586621679066122 k6989586621679066123 a6989586621679066124) (Maybe a6989586621679066124, Dict' s6989586621679066122 k6989586621679066123 a6989586621679066124) (InsertLookupWithKeySym3 s6989586621679066122 k6989586621679066123 a6989586621679066124 l2 l1 l0) l3 Source # | |
type InsertLookupWithKeySym4 t t t t = InsertLookupWithKey t t t t Source #
sDeleteFindMin :: forall t. (SNum s, SOrd s) => Sing t -> Sing (Apply DeleteFindMinSym0 t :: ((k, a), Dict' s k a)) Source #
type family DeleteFindMin (a :: Dict' s k a) :: ((k, a), Dict' s k a) where ... Source #
Equations
DeleteFindMin t = Case_6989586621679072299 t t |
data DeleteFindMinSym0 l Source #
Instances
SuppressUnusedWarnings (TyFun (Dict' s6989586621679066119 k6989586621679066120 a6989586621679066121) ((k6989586621679066120, a6989586621679066121), Dict' s6989586621679066119 k6989586621679066120 a6989586621679066121) -> *) (DeleteFindMinSym0 s6989586621679066119 k6989586621679066120 a6989586621679066121) Source # | |
type Apply (Dict' s6989586621679066119 k6989586621679066120 a6989586621679066121) ((k6989586621679066120, a6989586621679066121), Dict' s6989586621679066119 k6989586621679066120 a6989586621679066121) (DeleteFindMinSym0 s6989586621679066119 k6989586621679066120 a6989586621679066121) l0 Source # | |
type DeleteFindMinSym1 t = DeleteFindMin t Source #
sDeleteFindMax :: forall t. (SNum s, SOrd s) => Sing t -> Sing (Apply DeleteFindMaxSym0 t :: ((k, a), Dict' s k a)) Source #
type family DeleteFindMax (a :: Dict' s k a) :: ((k, a), Dict' s k a) where ... Source #
Equations
DeleteFindMax t = Case_6989586621679072426 t t |
data DeleteFindMaxSym0 l Source #
Instances
SuppressUnusedWarnings (TyFun (Dict' s6989586621679066116 k6989586621679066117 a6989586621679066118) ((k6989586621679066117, a6989586621679066118), Dict' s6989586621679066116 k6989586621679066117 a6989586621679066118) -> *) (DeleteFindMaxSym0 s6989586621679066116 k6989586621679066117 a6989586621679066118) Source # | |
type Apply (Dict' s6989586621679066116 k6989586621679066117 a6989586621679066118) ((k6989586621679066117, a6989586621679066118), Dict' s6989586621679066116 k6989586621679066117 a6989586621679066118) (DeleteFindMaxSym0 s6989586621679066116 k6989586621679066117 a6989586621679066118) l0 Source # | |
type DeleteFindMaxSym1 t = DeleteFindMax t Source #
sDelete :: forall t t. (SNum s, SOrd s, SOrd s, SOrd k) => Sing t -> Sing t -> Sing (Apply (Apply DeleteSym0 t) t :: Dict' s k a) Source #
type family Delete (a :: k) (a :: Dict' s k a) :: Dict' s k a where ... Source #
Equations
Delete k t = Case_6989586621679076587 k t t |
data DeleteSym0 l Source #
Instances
SuppressUnusedWarnings (TyFun k6989586621679066111 (TyFun (Dict' s6989586621679066110 k6989586621679066111 a6989586621679066112) (Dict' s6989586621679066110 k6989586621679066111 a6989586621679066112) -> Type) -> *) (DeleteSym0 s6989586621679066110 k6989586621679066111 a6989586621679066112) Source # | |
type Apply k6989586621679066111 (TyFun (Dict' s6989586621679066110 k6989586621679066111 a6989586621679066112) (Dict' s6989586621679066110 k6989586621679066111 a6989586621679066112) -> Type) (DeleteSym0 s6989586621679066110 k6989586621679066111 a6989586621679066112) l0 Source # | |
data DeleteSym1 l l Source #
Instances
SuppressUnusedWarnings (k6989586621679066111 -> TyFun (Dict' s6989586621679066110 k6989586621679066111 a6989586621679066112) (Dict' s6989586621679066110 k6989586621679066111 a6989586621679066112) -> *) (DeleteSym1 s6989586621679066110 a6989586621679066112 k6989586621679066111) Source # | |
type Apply (Dict' s6989586621679066110 k6989586621679066111 a6989586621679066112) (Dict' s6989586621679066110 k6989586621679066111 a6989586621679066112) (DeleteSym1 s6989586621679066110 a6989586621679066112 k6989586621679066111 l0) l1 Source # | |
type DeleteSym2 t t = Delete t t Source #
adjust :: forall s k a. (Num s, Ord s, Ord k) => (a -> a) -> k -> Dict' s k a -> Dict' s k a Source #
sAdjust :: forall t t t. (SNum s, SOrd s, SOrd k) => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply AdjustSym0 t) t) t :: Dict' s k a) Source #
type family Adjust (a :: TyFun a a -> Type) (a :: k) (a :: Dict' s k a) :: Dict' s k a where ... Source #
data AdjustSym0 l Source #
Instances
SuppressUnusedWarnings (TyFun (TyFun a6989586621679066097 a6989586621679066097 -> Type) (TyFun k6989586621679066096 (TyFun (Dict' s6989586621679066095 k6989586621679066096 a6989586621679066097) (Dict' s6989586621679066095 k6989586621679066096 a6989586621679066097) -> Type) -> Type) -> *) (AdjustSym0 s6989586621679066095 k6989586621679066096 a6989586621679066097) Source # | |
type Apply (TyFun a6989586621679066097 a6989586621679066097 -> Type) (TyFun k6989586621679066096 (TyFun (Dict' s6989586621679066095 k6989586621679066096 a6989586621679066097) (Dict' s6989586621679066095 k6989586621679066096 a6989586621679066097) -> Type) -> Type) (AdjustSym0 s6989586621679066095 k6989586621679066096 a6989586621679066097) l0 Source # | |
data AdjustSym1 l l Source #
Instances
SuppressUnusedWarnings ((TyFun a6989586621679066097 a6989586621679066097 -> Type) -> TyFun k6989586621679066096 (TyFun (Dict' s6989586621679066095 k6989586621679066096 a6989586621679066097) (Dict' s6989586621679066095 k6989586621679066096 a6989586621679066097) -> Type) -> *) (AdjustSym1 s6989586621679066095 k6989586621679066096 a6989586621679066097) Source # | |
type Apply k6989586621679066096 (TyFun (Dict' s6989586621679066095 k6989586621679066096 a6989586621679066097) (Dict' s6989586621679066095 k6989586621679066096 a6989586621679066097) -> Type) (AdjustSym1 s6989586621679066095 k6989586621679066096 a6989586621679066097 l0) l1 Source # | |
data AdjustSym2 l l l Source #
Instances
SuppressUnusedWarnings ((TyFun a6989586621679066097 a6989586621679066097 -> Type) -> k6989586621679066096 -> TyFun (Dict' s6989586621679066095 k6989586621679066096 a6989586621679066097) (Dict' s6989586621679066095 k6989586621679066096 a6989586621679066097) -> *) (AdjustSym2 s6989586621679066095 k6989586621679066096 a6989586621679066097) Source # | |
type Apply (Dict' s6989586621679066095 k6989586621679066096 a6989586621679066097) (Dict' s6989586621679066095 k6989586621679066096 a6989586621679066097) (AdjustSym2 s6989586621679066095 k6989586621679066096 a6989586621679066097 l1 l0) l2 Source # | |
type AdjustSym3 t t t = Adjust t t t Source #
adjustWithKey :: forall s k a. (Num s, Ord s, Ord k) => (k -> a -> a) -> k -> Dict' s k a -> Dict' s k a Source #
sAdjustWithKey :: forall t t t. (SNum s, SOrd s, SOrd k) => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply AdjustWithKeySym0 t) t) t :: Dict' s k a) Source #
type family AdjustWithKey (a :: TyFun k (TyFun a a -> Type) -> Type) (a :: k) (a :: Dict' s k a) :: Dict' s k a where ... Source #
Equations
AdjustWithKey f k m = Apply (Apply (Apply UpdateWithKeySym0 (Apply (Apply (Apply Lambda_6989586621679078287Sym0 f) k) m)) k) m |
data AdjustWithKeySym0 l Source #
Instances
SuppressUnusedWarnings (TyFun (TyFun k6989586621679066093 (TyFun a6989586621679066094 a6989586621679066094 -> Type) -> Type) (TyFun k6989586621679066093 (TyFun (Dict' s6989586621679066092 k6989586621679066093 a6989586621679066094) (Dict' s6989586621679066092 k6989586621679066093 a6989586621679066094) -> Type) -> Type) -> *) (AdjustWithKeySym0 s6989586621679066092 k6989586621679066093 a6989586621679066094) Source # | |
type Apply (TyFun k6989586621679066093 (TyFun a6989586621679066094 a6989586621679066094 -> Type) -> Type) (TyFun k6989586621679066093 (TyFun (Dict' s6989586621679066092 k6989586621679066093 a6989586621679066094) (Dict' s6989586621679066092 k6989586621679066093 a6989586621679066094) -> Type) -> Type) (AdjustWithKeySym0 s6989586621679066092 k6989586621679066093 a6989586621679066094) l0 Source # | |
data AdjustWithKeySym1 l l Source #
Instances
SuppressUnusedWarnings ((TyFun k6989586621679066093 (TyFun a6989586621679066094 a6989586621679066094 -> Type) -> Type) -> TyFun k6989586621679066093 (TyFun (Dict' s6989586621679066092 k6989586621679066093 a6989586621679066094) (Dict' s6989586621679066092 k6989586621679066093 a6989586621679066094) -> Type) -> *) (AdjustWithKeySym1 s6989586621679066092 k6989586621679066093 a6989586621679066094) Source # | |
type Apply k6989586621679066093 (TyFun (Dict' s6989586621679066092 k6989586621679066093 a6989586621679066094) (Dict' s6989586621679066092 k6989586621679066093 a6989586621679066094) -> Type) (AdjustWithKeySym1 s6989586621679066092 k6989586621679066093 a6989586621679066094 l0) l1 Source # | |
data AdjustWithKeySym2 l l l Source #
Instances
SuppressUnusedWarnings ((TyFun k6989586621679066093 (TyFun a6989586621679066094 a6989586621679066094 -> Type) -> Type) -> k6989586621679066093 -> TyFun (Dict' s6989586621679066092 k6989586621679066093 a6989586621679066094) (Dict' s6989586621679066092 k6989586621679066093 a6989586621679066094) -> *) (AdjustWithKeySym2 s6989586621679066092 k6989586621679066093 a6989586621679066094) Source # | |
type Apply (Dict' s6989586621679066092 k6989586621679066093 a6989586621679066094) (Dict' s6989586621679066092 k6989586621679066093 a6989586621679066094) (AdjustWithKeySym2 s6989586621679066092 k6989586621679066093 a6989586621679066094 l1 l0) l2 Source # | |
type AdjustWithKeySym3 t t t = AdjustWithKey t t t Source #
update :: forall s k a. (Num s, Ord s, Ord k) => (a -> Maybe a) -> k -> Dict' s k a -> Dict' s k a Source #
sUpdate :: forall t t t. (SNum s, SOrd s, SOrd k) => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply UpdateSym0 t) t) t :: Dict' s k a) Source #
type family Update (a :: TyFun a (Maybe a) -> Type) (a :: k) (a :: Dict' s k a) :: Dict' s k a where ... Source #
data UpdateSym0 l Source #
Instances
SuppressUnusedWarnings (TyFun (TyFun a6989586621679066091 (Maybe a6989586621679066091) -> Type) (TyFun k6989586621679066090 (TyFun (Dict' s6989586621679066089 k6989586621679066090 a6989586621679066091) (Dict' s6989586621679066089 k6989586621679066090 a6989586621679066091) -> Type) -> Type) -> *) (UpdateSym0 s6989586621679066089 k6989586621679066090 a6989586621679066091) Source # | |
type Apply (TyFun a6989586621679066091 (Maybe a6989586621679066091) -> Type) (TyFun k6989586621679066090 (TyFun (Dict' s6989586621679066089 k6989586621679066090 a6989586621679066091) (Dict' s6989586621679066089 k6989586621679066090 a6989586621679066091) -> Type) -> Type) (UpdateSym0 s6989586621679066089 k6989586621679066090 a6989586621679066091) l0 Source # | |
data UpdateSym1 l l Source #
Instances
SuppressUnusedWarnings ((TyFun a6989586621679066091 (Maybe a6989586621679066091) -> Type) -> TyFun k6989586621679066090 (TyFun (Dict' s6989586621679066089 k6989586621679066090 a6989586621679066091) (Dict' s6989586621679066089 k6989586621679066090 a6989586621679066091) -> Type) -> *) (UpdateSym1 s6989586621679066089 k6989586621679066090 a6989586621679066091) Source # | |
type Apply k6989586621679066090 (TyFun (Dict' s6989586621679066089 k6989586621679066090 a6989586621679066091) (Dict' s6989586621679066089 k6989586621679066090 a6989586621679066091) -> Type) (UpdateSym1 s6989586621679066089 k6989586621679066090 a6989586621679066091 l0) l1 Source # | |
data UpdateSym2 l l l Source #
Instances
SuppressUnusedWarnings ((TyFun a6989586621679066091 (Maybe a6989586621679066091) -> Type) -> k6989586621679066090 -> TyFun (Dict' s6989586621679066089 k6989586621679066090 a6989586621679066091) (Dict' s6989586621679066089 k6989586621679066090 a6989586621679066091) -> *) (UpdateSym2 s6989586621679066089 k6989586621679066090 a6989586621679066091) Source # | |
type Apply (Dict' s6989586621679066089 k6989586621679066090 a6989586621679066091) (Dict' s6989586621679066089 k6989586621679066090 a6989586621679066091) (UpdateSym2 s6989586621679066089 k6989586621679066090 a6989586621679066091 l1 l0) l2 Source # | |
type UpdateSym3 t t t = Update t t t Source #
updateWithKey :: forall s k a. (Num s, Ord s, Ord k) => (k -> a -> Maybe a) -> k -> Dict' s k a -> Dict' s k a Source #
sUpdateWithKey :: forall t t t. (SNum s, SOrd s, SOrd k) => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply UpdateWithKeySym0 t) t) t :: Dict' s k a) Source #
type family UpdateWithKey (a :: TyFun k (TyFun a (Maybe a) -> Type) -> Type) (a :: k) (a :: Dict' s k a) :: Dict' s k a where ... Source #
Equations
UpdateWithKey f k t = Case_6989586621679078148 f k t t |
data UpdateWithKeySym0 l Source #
Instances
SuppressUnusedWarnings (TyFun (TyFun k6989586621679066087 (TyFun a6989586621679066088 (Maybe a6989586621679066088) -> Type) -> Type) (TyFun k6989586621679066087 (TyFun (Dict' s6989586621679066086 k6989586621679066087 a6989586621679066088) (Dict' s6989586621679066086 k6989586621679066087 a6989586621679066088) -> Type) -> Type) -> *) (UpdateWithKeySym0 s6989586621679066086 k6989586621679066087 a6989586621679066088) Source # | |
type Apply (TyFun k6989586621679066087 (TyFun a6989586621679066088 (Maybe a6989586621679066088) -> Type) -> Type) (TyFun k6989586621679066087 (TyFun (Dict' s6989586621679066086 k6989586621679066087 a6989586621679066088) (Dict' s6989586621679066086 k6989586621679066087 a6989586621679066088) -> Type) -> Type) (UpdateWithKeySym0 s6989586621679066086 k6989586621679066087 a6989586621679066088) l0 Source # | |
data UpdateWithKeySym1 l l Source #
Instances
SuppressUnusedWarnings ((TyFun k6989586621679066087 (TyFun a6989586621679066088 (Maybe a6989586621679066088) -> Type) -> Type) -> TyFun k6989586621679066087 (TyFun (Dict' s6989586621679066086 k6989586621679066087 a6989586621679066088) (Dict' s6989586621679066086 k6989586621679066087 a6989586621679066088) -> Type) -> *) (UpdateWithKeySym1 s6989586621679066086 k6989586621679066087 a6989586621679066088) Source # | |
type Apply k6989586621679066087 (TyFun (Dict' s6989586621679066086 k6989586621679066087 a6989586621679066088) (Dict' s6989586621679066086 k6989586621679066087 a6989586621679066088) -> Type) (UpdateWithKeySym1 s6989586621679066086 k6989586621679066087 a6989586621679066088 l0) l1 Source # | |
data UpdateWithKeySym2 l l l Source #
Instances
SuppressUnusedWarnings ((TyFun k6989586621679066087 (TyFun a6989586621679066088 (Maybe a6989586621679066088) -> Type) -> Type) -> k6989586621679066087 -> TyFun (Dict' s6989586621679066086 k6989586621679066087 a6989586621679066088) (Dict' s6989586621679066086 k6989586621679066087 a6989586621679066088) -> *) (UpdateWithKeySym2 s6989586621679066086 k6989586621679066087 a6989586621679066088) Source # | |
type Apply (Dict' s6989586621679066086 k6989586621679066087 a6989586621679066088) (Dict' s6989586621679066086 k6989586621679066087 a6989586621679066088) (UpdateWithKeySym2 s6989586621679066086 k6989586621679066087 a6989586621679066088 l1 l0) l2 Source # | |
type UpdateWithKeySym3 t t t = UpdateWithKey t t t Source #
updateLookupWithKey :: forall s k a. (Num s, Ord s, Ord k) => (k -> a -> Maybe a) -> k -> Dict' s k a -> (Maybe a, Dict' s k a) Source #
sUpdateLookupWithKey :: forall t t t. (SNum s, SOrd s, SOrd k) => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply UpdateLookupWithKeySym0 t) t) t :: (Maybe a, Dict' s k a)) Source #
type family UpdateLookupWithKey (a :: TyFun k (TyFun a (Maybe a) -> Type) -> Type) (a :: k) (a :: Dict' s k a) :: (Maybe a, Dict' s k a) where ... Source #
Equations
UpdateLookupWithKey f k t = Case_6989586621679078434 f k t t |
data UpdateLookupWithKeySym0 l Source #
Instances
SuppressUnusedWarnings (TyFun (TyFun k6989586621679066084 (TyFun a6989586621679066085 (Maybe a6989586621679066085) -> Type) -> Type) (TyFun k6989586621679066084 (TyFun (Dict' s6989586621679066083 k6989586621679066084 a6989586621679066085) (Maybe a6989586621679066085, Dict' s6989586621679066083 k6989586621679066084 a6989586621679066085) -> Type) -> Type) -> *) (UpdateLookupWithKeySym0 s6989586621679066083 k6989586621679066084 a6989586621679066085) Source # | |
type Apply (TyFun k6989586621679066084 (TyFun a6989586621679066085 (Maybe a6989586621679066085) -> Type) -> Type) (TyFun k6989586621679066084 (TyFun (Dict' s6989586621679066083 k6989586621679066084 a6989586621679066085) (Maybe a6989586621679066085, Dict' s6989586621679066083 k6989586621679066084 a6989586621679066085) -> Type) -> Type) (UpdateLookupWithKeySym0 s6989586621679066083 k6989586621679066084 a6989586621679066085) l0 Source # | |
data UpdateLookupWithKeySym1 l l Source #
Instances
SuppressUnusedWarnings ((TyFun k6989586621679066084 (TyFun a6989586621679066085 (Maybe a6989586621679066085) -> Type) -> Type) -> TyFun k6989586621679066084 (TyFun (Dict' s6989586621679066083 k6989586621679066084 a6989586621679066085) (Maybe a6989586621679066085, Dict' s6989586621679066083 k6989586621679066084 a6989586621679066085) -> Type) -> *) (UpdateLookupWithKeySym1 s6989586621679066083 k6989586621679066084 a6989586621679066085) Source # | |
type Apply k6989586621679066084 (TyFun (Dict' s6989586621679066083 k6989586621679066084 a6989586621679066085) (Maybe a6989586621679066085, Dict' s6989586621679066083 k6989586621679066084 a6989586621679066085) -> Type) (UpdateLookupWithKeySym1 s6989586621679066083 k6989586621679066084 a6989586621679066085 l0) l1 Source # | |
data UpdateLookupWithKeySym2 l l l Source #
Instances
SuppressUnusedWarnings ((TyFun k6989586621679066084 (TyFun a6989586621679066085 (Maybe a6989586621679066085) -> Type) -> Type) -> k6989586621679066084 -> TyFun (Dict' s6989586621679066083 k6989586621679066084 a6989586621679066085) (Maybe a6989586621679066085, Dict' s6989586621679066083 k6989586621679066084 a6989586621679066085) -> *) (UpdateLookupWithKeySym2 s6989586621679066083 k6989586621679066084 a6989586621679066085) Source # | |
type Apply (Dict' s6989586621679066083 k6989586621679066084 a6989586621679066085) (Maybe a6989586621679066085, Dict' s6989586621679066083 k6989586621679066084 a6989586621679066085) (UpdateLookupWithKeySym2 s6989586621679066083 k6989586621679066084 a6989586621679066085 l1 l0) l2 Source # | |
type UpdateLookupWithKeySym3 t t t = UpdateLookupWithKey t t t Source #
sTrim :: forall t t t. Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply TrimSym0 t) t) t :: Dict' s k a) Source #
type family Trim (a :: TyFun k Ordering -> Type) (a :: TyFun k Ordering -> Type) (a :: Dict' s k a) :: Dict' s k a where ... Source #
Instances
SuppressUnusedWarnings (TyFun (TyFun k6989586621679066080 Ordering -> Type) (TyFun (TyFun k6989586621679066080 Ordering -> Type) (TyFun (Dict' s6989586621679066081 k6989586621679066080 a6989586621679066082) (Dict' s6989586621679066081 k6989586621679066080 a6989586621679066082) -> Type) -> Type) -> *) (TrimSym0 s6989586621679066081 k6989586621679066080 a6989586621679066082) Source # | |
type Apply (TyFun k6989586621679066080 Ordering -> Type) (TyFun (TyFun k6989586621679066080 Ordering -> Type) (TyFun (Dict' s6989586621679066081 k6989586621679066080 a6989586621679066082) (Dict' s6989586621679066081 k6989586621679066080 a6989586621679066082) -> Type) -> Type) (TrimSym0 s6989586621679066081 k6989586621679066080 a6989586621679066082) l0 Source # | |
Instances
SuppressUnusedWarnings ((TyFun k6989586621679066080 Ordering -> Type) -> TyFun (TyFun k6989586621679066080 Ordering -> Type) (TyFun (Dict' s6989586621679066081 k6989586621679066080 a6989586621679066082) (Dict' s6989586621679066081 k6989586621679066080 a6989586621679066082) -> Type) -> *) (TrimSym1 s6989586621679066081 a6989586621679066082 k6989586621679066080) Source # | |
type Apply (TyFun k6989586621679066080 Ordering -> Type) (TyFun (Dict' s6989586621679066081 k6989586621679066080 a6989586621679066082) (Dict' s6989586621679066081 k6989586621679066080 a6989586621679066082) -> Type) (TrimSym1 s6989586621679066081 a6989586621679066082 k6989586621679066080 l0) l1 Source # | |
Instances
SuppressUnusedWarnings ((TyFun k6989586621679066080 Ordering -> Type) -> (TyFun k6989586621679066080 Ordering -> Type) -> TyFun (Dict' s6989586621679066081 k6989586621679066080 a6989586621679066082) (Dict' s6989586621679066081 k6989586621679066080 a6989586621679066082) -> *) (TrimSym2 s6989586621679066081 a6989586621679066082 k6989586621679066080) Source # | |
type Apply (Dict' s6989586621679066081 k6989586621679066080 a6989586621679066082) (Dict' s6989586621679066081 k6989586621679066080 a6989586621679066082) (TrimSym2 s6989586621679066081 a6989586621679066082 k6989586621679066080 l1 l0) l2 Source # | |
trimLookupLo :: forall s k a. (Num s, Ord s, Ord k) => k -> (k -> Ordering) -> Dict' s k a -> (Maybe a, Dict' s k a) Source #
sTrimLookupLo :: forall t t t. (SNum s, SOrd s, SOrd k) => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply TrimLookupLoSym0 t) t) t :: (Maybe a, Dict' s k a)) Source #
type family TrimLookupLo (a :: k) (a :: TyFun k Ordering -> Type) (a :: Dict' s k a) :: (Maybe a, Dict' s k a) where ... Source #
Equations
TrimLookupLo lo cmphi Tip = Apply (Apply Tuple2Sym0 NothingSym0) TipSym0 | |
TrimLookupLo lo cmphi (Bin sx kx x l r) = Case_6989586621679070648 lo cmphi sx kx x l r (Let6989586621679070605Scrutinee_6989586621679067250Sym7 lo cmphi sx kx x l r) |
data TrimLookupLoSym0 l Source #
Instances
SuppressUnusedWarnings (TyFun k6989586621679066078 (TyFun (TyFun k6989586621679066078 Ordering -> Type) (TyFun (Dict' s6989586621679066077 k6989586621679066078 a6989586621679066079) (Maybe a6989586621679066079, Dict' s6989586621679066077 k6989586621679066078 a6989586621679066079) -> Type) -> Type) -> *) (TrimLookupLoSym0 s6989586621679066077 k6989586621679066078 a6989586621679066079) Source # | |
type Apply k6989586621679066078 (TyFun (TyFun k6989586621679066078 Ordering -> Type) (TyFun (Dict' s6989586621679066077 k6989586621679066078 a6989586621679066079) (Maybe a6989586621679066079, Dict' s6989586621679066077 k6989586621679066078 a6989586621679066079) -> Type) -> Type) (TrimLookupLoSym0 s6989586621679066077 k6989586621679066078 a6989586621679066079) l0 Source # | |
data TrimLookupLoSym1 l l Source #
Instances
SuppressUnusedWarnings (k6989586621679066078 -> TyFun (TyFun k6989586621679066078 Ordering -> Type) (TyFun (Dict' s6989586621679066077 k6989586621679066078 a6989586621679066079) (Maybe a6989586621679066079, Dict' s6989586621679066077 k6989586621679066078 a6989586621679066079) -> Type) -> *) (TrimLookupLoSym1 s6989586621679066077 a6989586621679066079 k6989586621679066078) Source # | |
type Apply (TyFun k6989586621679066078 Ordering -> Type) (TyFun (Dict' s6989586621679066077 k6989586621679066078 a6989586621679066079) (Maybe a6989586621679066079, Dict' s6989586621679066077 k6989586621679066078 a6989586621679066079) -> Type) (TrimLookupLoSym1 s6989586621679066077 a6989586621679066079 k6989586621679066078 l0) l1 Source # | |
data TrimLookupLoSym2 l l l Source #
Instances
SuppressUnusedWarnings (k6989586621679066078 -> (TyFun k6989586621679066078 Ordering -> Type) -> TyFun (Dict' s6989586621679066077 k6989586621679066078 a6989586621679066079) (Maybe a6989586621679066079, Dict' s6989586621679066077 k6989586621679066078 a6989586621679066079) -> *) (TrimLookupLoSym2 s6989586621679066077 a6989586621679066079 k6989586621679066078) Source # | |
type Apply (Dict' s6989586621679066077 k6989586621679066078 a6989586621679066079) (Maybe a6989586621679066079, Dict' s6989586621679066077 k6989586621679066078 a6989586621679066079) (TrimLookupLoSym2 s6989586621679066077 a6989586621679066079 k6989586621679066078 l1 l0) l2 Source # | |
type TrimLookupLoSym3 t t t = TrimLookupLo t t t Source #
filterGt :: forall s k a. (Num s, Ord s, Ord k) => (k -> Ordering) -> Dict' s k a -> Dict' s k a Source #
sFilterGt :: forall t t. (SNum s, SOrd s, SOrd k) => Sing t -> Sing t -> Sing (Apply (Apply FilterGtSym0 t) t :: Dict' s k a) Source #
type family FilterGt (a :: TyFun k Ordering -> Type) (a :: Dict' s k a) :: Dict' s k a where ... Source #
data FilterGtSym0 l Source #
Instances
SuppressUnusedWarnings (TyFun (TyFun k6989586621679066075 Ordering -> Type) (TyFun (Dict' s6989586621679066074 k6989586621679066075 a6989586621679066076) (Dict' s6989586621679066074 k6989586621679066075 a6989586621679066076) -> Type) -> *) (FilterGtSym0 s6989586621679066074 k6989586621679066075 a6989586621679066076) Source # | |
type Apply (TyFun k6989586621679066075 Ordering -> Type) (TyFun (Dict' s6989586621679066074 k6989586621679066075 a6989586621679066076) (Dict' s6989586621679066074 k6989586621679066075 a6989586621679066076) -> Type) (FilterGtSym0 s6989586621679066074 k6989586621679066075 a6989586621679066076) l0 Source # | |
data FilterGtSym1 l l Source #
Instances
SuppressUnusedWarnings ((TyFun k6989586621679066075 Ordering -> Type) -> TyFun (Dict' s6989586621679066074 k6989586621679066075 a6989586621679066076) (Dict' s6989586621679066074 k6989586621679066075 a6989586621679066076) -> *) (FilterGtSym1 s6989586621679066074 a6989586621679066076 k6989586621679066075) Source # | |
type Apply (Dict' s6989586621679066074 k6989586621679066075 a6989586621679066076) (Dict' s6989586621679066074 k6989586621679066075 a6989586621679066076) (FilterGtSym1 s6989586621679066074 a6989586621679066076 k6989586621679066075 l0) l1 Source # | |
type FilterGtSym2 t t = FilterGt t t Source #
filterLt :: forall s k a. (Num s, Ord s, Ord k) => (k -> Ordering) -> Dict' s k a -> Dict' s k a Source #
sFilterLt :: forall t t. (SNum s, SOrd s, SOrd k) => Sing t -> Sing t -> Sing (Apply (Apply FilterLtSym0 t) t :: Dict' s k a) Source #
type family FilterLt (a :: TyFun k Ordering -> Type) (a :: Dict' s k a) :: Dict' s k a where ... Source #
data FilterLtSym0 l Source #
Instances
SuppressUnusedWarnings (TyFun (TyFun k6989586621679066072 Ordering -> Type) (TyFun (Dict' s6989586621679066071 k6989586621679066072 a6989586621679066073) (Dict' s6989586621679066071 k6989586621679066072 a6989586621679066073) -> Type) -> *) (FilterLtSym0 s6989586621679066071 k6989586621679066072 a6989586621679066073) Source # | |
type Apply (TyFun k6989586621679066072 Ordering -> Type) (TyFun (Dict' s6989586621679066071 k6989586621679066072 a6989586621679066073) (Dict' s6989586621679066071 k6989586621679066072 a6989586621679066073) -> Type) (FilterLtSym0 s6989586621679066071 k6989586621679066072 a6989586621679066073) l0 Source # | |
data FilterLtSym1 l l Source #
Instances
SuppressUnusedWarnings ((TyFun k6989586621679066072 Ordering -> Type) -> TyFun (Dict' s6989586621679066071 k6989586621679066072 a6989586621679066073) (Dict' s6989586621679066071 k6989586621679066072 a6989586621679066073) -> *) (FilterLtSym1 s6989586621679066071 a6989586621679066073 k6989586621679066072) Source # | |
type Apply (Dict' s6989586621679066071 k6989586621679066072 a6989586621679066073) (Dict' s6989586621679066071 k6989586621679066072 a6989586621679066073) (FilterLtSym1 s6989586621679066071 a6989586621679066073 k6989586621679066072 l0) l1 Source # | |
type FilterLtSym2 t t = FilterLt t t Source #
split :: forall s k a. (Num s, Ord s, Ord k) => k -> Dict' s k a -> (Dict' s k a, Dict' s k a) Source #
sSplit :: forall t t. (SNum s, SOrd s, SOrd k) => Sing t -> Sing t -> Sing (Apply (Apply SplitSym0 t) t :: (Dict' s k a, Dict' s k a)) Source #
Instances
SuppressUnusedWarnings (TyFun k6989586621679066069 (TyFun (Dict' s6989586621679066068 k6989586621679066069 a6989586621679066070) (Dict' s6989586621679066068 k6989586621679066069 a6989586621679066070, Dict' s6989586621679066068 k6989586621679066069 a6989586621679066070) -> Type) -> *) (SplitSym0 s6989586621679066068 k6989586621679066069 a6989586621679066070) Source # | |
type Apply k6989586621679066069 (TyFun (Dict' s6989586621679066068 k6989586621679066069 a6989586621679066070) (Dict' s6989586621679066068 k6989586621679066069 a6989586621679066070, Dict' s6989586621679066068 k6989586621679066069 a6989586621679066070) -> Type) (SplitSym0 s6989586621679066068 k6989586621679066069 a6989586621679066070) l0 Source # | |
Instances
SuppressUnusedWarnings (k6989586621679066069 -> TyFun (Dict' s6989586621679066068 k6989586621679066069 a6989586621679066070) (Dict' s6989586621679066068 k6989586621679066069 a6989586621679066070, Dict' s6989586621679066068 k6989586621679066069 a6989586621679066070) -> *) (SplitSym1 s6989586621679066068 a6989586621679066070 k6989586621679066069) Source # | |
type Apply (Dict' s6989586621679066068 k6989586621679066069 a6989586621679066070) (Dict' s6989586621679066068 k6989586621679066069 a6989586621679066070, Dict' s6989586621679066068 k6989586621679066069 a6989586621679066070) (SplitSym1 s6989586621679066068 a6989586621679066070 k6989586621679066069 l0) l1 Source # | |
splitLookup :: forall s k a. (Num s, Ord s, Ord k) => k -> Dict' s k a -> (Maybe a, Dict' s k a, Dict' s k a) Source #
sSplitLookup :: forall t t. (SNum s, SOrd s, SOrd k) => Sing t -> Sing t -> Sing (Apply (Apply SplitLookupSym0 t) t :: (Maybe a, Dict' s k a, Dict' s k a)) Source #
type family SplitLookup (a :: k) (a :: Dict' s k a) :: (Maybe a, Dict' s k a, Dict' s k a) where ... Source #
Equations
SplitLookup k Tip = Apply (Apply (Apply Tuple3Sym0 NothingSym0) TipSym0) TipSym0 | |
SplitLookup k (Bin sx kx x l r) = Case_6989586621679073097 k sx kx x l r (Let6989586621679073063Scrutinee_6989586621679067260Sym6 k sx kx x l r) |
data SplitLookupSym0 l Source #
Instances
SuppressUnusedWarnings (TyFun k6989586621679066066 (TyFun (Dict' s6989586621679066065 k6989586621679066066 a6989586621679066067) (Maybe a6989586621679066067, Dict' s6989586621679066065 k6989586621679066066 a6989586621679066067, Dict' s6989586621679066065 k6989586621679066066 a6989586621679066067) -> Type) -> *) (SplitLookupSym0 s6989586621679066065 k6989586621679066066 a6989586621679066067) Source # | |
type Apply k6989586621679066066 (TyFun (Dict' s6989586621679066065 k6989586621679066066 a6989586621679066067) (Maybe a6989586621679066067, Dict' s6989586621679066065 k6989586621679066066 a6989586621679066067, Dict' s6989586621679066065 k6989586621679066066 a6989586621679066067) -> Type) (SplitLookupSym0 s6989586621679066065 k6989586621679066066 a6989586621679066067) l0 Source # | |
data SplitLookupSym1 l l Source #
Instances
SuppressUnusedWarnings (k6989586621679066066 -> TyFun (Dict' s6989586621679066065 k6989586621679066066 a6989586621679066067) (Maybe a6989586621679066067, Dict' s6989586621679066065 k6989586621679066066 a6989586621679066067, Dict' s6989586621679066065 k6989586621679066066 a6989586621679066067) -> *) (SplitLookupSym1 s6989586621679066065 a6989586621679066067 k6989586621679066066) Source # | |
type Apply (Dict' s6989586621679066065 k6989586621679066066 a6989586621679066067) (Maybe a6989586621679066067, Dict' s6989586621679066065 k6989586621679066066 a6989586621679066067, Dict' s6989586621679066065 k6989586621679066066 a6989586621679066067) (SplitLookupSym1 s6989586621679066065 a6989586621679066067 k6989586621679066066 l0) l1 Source # | |
type SplitLookupSym2 t t = SplitLookup t t Source #
unions :: forall s k a. (Num s, Ord s, Ord k) => SizeProxy s -> [Dict' s k a] -> Dict' s k a Source #
sUnions :: forall t t. (SNum s, SOrd s, SOrd k) => Sing t -> Sing t -> Sing (Apply (Apply UnionsSym0 t) t :: Dict' s k a) Source #
data UnionsSym0 l Source #
Instances
SuppressUnusedWarnings (TyFun (SizeProxy s6989586621679066062) (TyFun [Dict' s6989586621679066062 k6989586621679066063 a6989586621679066064] (Dict' s6989586621679066062 k6989586621679066063 a6989586621679066064) -> Type) -> *) (UnionsSym0 s6989586621679066062 k6989586621679066063 a6989586621679066064) Source # | |
type Apply (SizeProxy s6989586621679066062) (TyFun [Dict' s6989586621679066062 k6989586621679066063 a6989586621679066064] (Dict' s6989586621679066062 k6989586621679066063 a6989586621679066064) -> Type) (UnionsSym0 s6989586621679066062 k6989586621679066063 a6989586621679066064) l0 Source # | |
data UnionsSym1 l l Source #
Instances
SuppressUnusedWarnings (SizeProxy s6989586621679066062 -> TyFun [Dict' s6989586621679066062 k6989586621679066063 a6989586621679066064] (Dict' s6989586621679066062 k6989586621679066063 a6989586621679066064) -> *) (UnionsSym1 k6989586621679066063 a6989586621679066064 s6989586621679066062) Source # | |
type Apply [Dict' s6989586621679066062 k6989586621679066063 a6989586621679066064] (Dict' s6989586621679066062 k6989586621679066063 a6989586621679066064) (UnionsSym1 k6989586621679066063 a6989586621679066064 s6989586621679066062 l0) l1 Source # | |
type UnionsSym2 t t = Unions t t Source #
sUnion :: forall t t. (SNum s, SOrd s, SOrd k) => Sing t -> Sing t -> Sing (Apply (Apply UnionSym0 t) t :: Dict' s k a) Source #
type family Union (a :: Dict' s k a) (a :: Dict' s k a) :: Dict' s k a where ... Source #
Equations
Union t1 t2 = Case_6989586621679078920 t1 t2 t1 |
Instances
SuppressUnusedWarnings (TyFun (Dict' s6989586621679066059 k6989586621679066060 a6989586621679066061) (TyFun (Dict' s6989586621679066059 k6989586621679066060 a6989586621679066061) (Dict' s6989586621679066059 k6989586621679066060 a6989586621679066061) -> Type) -> *) (UnionSym0 s6989586621679066059 k6989586621679066060 a6989586621679066061) Source # | |
type Apply (Dict' s6989586621679066059 k6989586621679066060 a6989586621679066061) (TyFun (Dict' s6989586621679066059 k6989586621679066060 a6989586621679066061) (Dict' s6989586621679066059 k6989586621679066060 a6989586621679066061) -> Type) (UnionSym0 s6989586621679066059 k6989586621679066060 a6989586621679066061) l0 Source # | |
Instances
SuppressUnusedWarnings (Dict' s6989586621679066059 k6989586621679066060 a6989586621679066061 -> TyFun (Dict' s6989586621679066059 k6989586621679066060 a6989586621679066061) (Dict' s6989586621679066059 k6989586621679066060 a6989586621679066061) -> *) (UnionSym1 s6989586621679066059 k6989586621679066060 a6989586621679066061) Source # | |
type Apply (Dict' s6989586621679066059 k6989586621679066060 a6989586621679066061) (Dict' s6989586621679066059 k6989586621679066060 a6989586621679066061) (UnionSym1 s6989586621679066059 k6989586621679066060 a6989586621679066061 l0) l1 Source # | |
unionWith :: forall s k a. (Num s, Ord s, Ord k) => (a -> a -> a) -> Dict' s k a -> Dict' s k a -> Dict' s k a Source #
sUnionWith :: forall t t t. (SNum s, SOrd s, SOrd k) => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply UnionWithSym0 t) t) t :: Dict' s k a) Source #
type family UnionWith (a :: TyFun a (TyFun a a -> Type) -> Type) (a :: Dict' s k a) (a :: Dict' s k a) :: Dict' s k a where ... Source #
data UnionWithSym0 l Source #
Instances
SuppressUnusedWarnings (TyFun (TyFun a6989586621679066052 (TyFun a6989586621679066052 a6989586621679066052 -> Type) -> Type) (TyFun (Dict' s6989586621679066050 k6989586621679066051 a6989586621679066052) (TyFun (Dict' s6989586621679066050 k6989586621679066051 a6989586621679066052) (Dict' s6989586621679066050 k6989586621679066051 a6989586621679066052) -> Type) -> Type) -> *) (UnionWithSym0 s6989586621679066050 k6989586621679066051 a6989586621679066052) Source # | |
type Apply (TyFun a6989586621679066052 (TyFun a6989586621679066052 a6989586621679066052 -> Type) -> Type) (TyFun (Dict' s6989586621679066050 k6989586621679066051 a6989586621679066052) (TyFun (Dict' s6989586621679066050 k6989586621679066051 a6989586621679066052) (Dict' s6989586621679066050 k6989586621679066051 a6989586621679066052) -> Type) -> Type) (UnionWithSym0 s6989586621679066050 k6989586621679066051 a6989586621679066052) l0 Source # | |
data UnionWithSym1 l l Source #
Instances
SuppressUnusedWarnings ((TyFun a6989586621679066052 (TyFun a6989586621679066052 a6989586621679066052 -> Type) -> Type) -> TyFun (Dict' s6989586621679066050 k6989586621679066051 a6989586621679066052) (TyFun (Dict' s6989586621679066050 k6989586621679066051 a6989586621679066052) (Dict' s6989586621679066050 k6989586621679066051 a6989586621679066052) -> Type) -> *) (UnionWithSym1 s6989586621679066050 k6989586621679066051 a6989586621679066052) Source # | |
type Apply (Dict' s6989586621679066050 k6989586621679066051 a6989586621679066052) (TyFun (Dict' s6989586621679066050 k6989586621679066051 a6989586621679066052) (Dict' s6989586621679066050 k6989586621679066051 a6989586621679066052) -> Type) (UnionWithSym1 s6989586621679066050 k6989586621679066051 a6989586621679066052 l0) l1 Source # | |
data UnionWithSym2 l l l Source #
Instances
SuppressUnusedWarnings ((TyFun a6989586621679066052 (TyFun a6989586621679066052 a6989586621679066052 -> Type) -> Type) -> Dict' s6989586621679066050 k6989586621679066051 a6989586621679066052 -> TyFun (Dict' s6989586621679066050 k6989586621679066051 a6989586621679066052) (Dict' s6989586621679066050 k6989586621679066051 a6989586621679066052) -> *) (UnionWithSym2 s6989586621679066050 k6989586621679066051 a6989586621679066052) Source # | |
type Apply (Dict' s6989586621679066050 k6989586621679066051 a6989586621679066052) (Dict' s6989586621679066050 k6989586621679066051 a6989586621679066052) (UnionWithSym2 s6989586621679066050 k6989586621679066051 a6989586621679066052 l1 l0) l2 Source # | |
type UnionWithSym3 t t t = UnionWith t t t Source #
unionWithKey :: forall s k a. (Num s, Ord s, Ord k) => (k -> a -> a -> a) -> Dict' s k a -> Dict' s k a -> Dict' s k a Source #
sUnionWithKey :: forall t t t. (SNum s, SOrd s, SOrd k) => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply UnionWithKeySym0 t) t) t :: Dict' s k a) Source #
type family UnionWithKey (a :: TyFun k (TyFun a (TyFun a a -> Type) -> Type) -> Type) (a :: Dict' s k a) (a :: Dict' s k a) :: Dict' s k a where ... Source #
Equations
UnionWithKey f t1 t2 = Case_6989586621679078988 f t1 t2 t1 |
data UnionWithKeySym0 l Source #
Instances
SuppressUnusedWarnings (TyFun (TyFun k6989586621679066048 (TyFun a6989586621679066049 (TyFun a6989586621679066049 a6989586621679066049 -> Type) -> Type) -> Type) (TyFun (Dict' s6989586621679066047 k6989586621679066048 a6989586621679066049) (TyFun (Dict' s6989586621679066047 k6989586621679066048 a6989586621679066049) (Dict' s6989586621679066047 k6989586621679066048 a6989586621679066049) -> Type) -> Type) -> *) (UnionWithKeySym0 s6989586621679066047 k6989586621679066048 a6989586621679066049) Source # | |
type Apply (TyFun k6989586621679066048 (TyFun a6989586621679066049 (TyFun a6989586621679066049 a6989586621679066049 -> Type) -> Type) -> Type) (TyFun (Dict' s6989586621679066047 k6989586621679066048 a6989586621679066049) (TyFun (Dict' s6989586621679066047 k6989586621679066048 a6989586621679066049) (Dict' s6989586621679066047 k6989586621679066048 a6989586621679066049) -> Type) -> Type) (UnionWithKeySym0 s6989586621679066047 k6989586621679066048 a6989586621679066049) l0 Source # | |
data UnionWithKeySym1 l l Source #
Instances
SuppressUnusedWarnings ((TyFun k6989586621679066048 (TyFun a6989586621679066049 (TyFun a6989586621679066049 a6989586621679066049 -> Type) -> Type) -> Type) -> TyFun (Dict' s6989586621679066047 k6989586621679066048 a6989586621679066049) (TyFun (Dict' s6989586621679066047 k6989586621679066048 a6989586621679066049) (Dict' s6989586621679066047 k6989586621679066048 a6989586621679066049) -> Type) -> *) (UnionWithKeySym1 s6989586621679066047 k6989586621679066048 a6989586621679066049) Source # | |
type Apply (Dict' s6989586621679066047 k6989586621679066048 a6989586621679066049) (TyFun (Dict' s6989586621679066047 k6989586621679066048 a6989586621679066049) (Dict' s6989586621679066047 k6989586621679066048 a6989586621679066049) -> Type) (UnionWithKeySym1 s6989586621679066047 k6989586621679066048 a6989586621679066049 l0) l1 Source # | |
data UnionWithKeySym2 l l l Source #
Instances
SuppressUnusedWarnings ((TyFun k6989586621679066048 (TyFun a6989586621679066049 (TyFun a6989586621679066049 a6989586621679066049 -> Type) -> Type) -> Type) -> Dict' s6989586621679066047 k6989586621679066048 a6989586621679066049 -> TyFun (Dict' s6989586621679066047 k6989586621679066048 a6989586621679066049) (Dict' s6989586621679066047 k6989586621679066048 a6989586621679066049) -> *) (UnionWithKeySym2 s6989586621679066047 k6989586621679066048 a6989586621679066049) Source # | |
type Apply (Dict' s6989586621679066047 k6989586621679066048 a6989586621679066049) (Dict' s6989586621679066047 k6989586621679066048 a6989586621679066049) (UnionWithKeySym2 s6989586621679066047 k6989586621679066048 a6989586621679066049 l1 l0) l2 Source # | |
type UnionWithKeySym3 t t t = UnionWithKey t t t Source #
difference :: forall s k a. (Num s, Ord s, Ord k) => Dict' s k a -> Dict' s k a -> Dict' s k a Source #
sDifference :: forall t t. (SNum s, SOrd s, SOrd k) => Sing t -> Sing t -> Sing (Apply (Apply DifferenceSym0 t) t :: Dict' s k a) Source #
type family Difference (a :: Dict' s k a) (a :: Dict' s k a) :: Dict' s k a where ... Source #
Equations
Difference t1 t2 = Case_6989586621679076884 t1 t2 t1 |
data DifferenceSym0 l Source #
Instances
SuppressUnusedWarnings (TyFun (Dict' s6989586621679066041 k6989586621679066042 a6989586621679066043) (TyFun (Dict' s6989586621679066041 k6989586621679066042 a6989586621679066043) (Dict' s6989586621679066041 k6989586621679066042 a6989586621679066043) -> Type) -> *) (DifferenceSym0 s6989586621679066041 k6989586621679066042 a6989586621679066043) Source # | |
type Apply (Dict' s6989586621679066041 k6989586621679066042 a6989586621679066043) (TyFun (Dict' s6989586621679066041 k6989586621679066042 a6989586621679066043) (Dict' s6989586621679066041 k6989586621679066042 a6989586621679066043) -> Type) (DifferenceSym0 s6989586621679066041 k6989586621679066042 a6989586621679066043) l0 Source # | |
data DifferenceSym1 l l Source #
Instances
SuppressUnusedWarnings (Dict' s6989586621679066041 k6989586621679066042 a6989586621679066043 -> TyFun (Dict' s6989586621679066041 k6989586621679066042 a6989586621679066043) (Dict' s6989586621679066041 k6989586621679066042 a6989586621679066043) -> *) (DifferenceSym1 s6989586621679066041 k6989586621679066042 a6989586621679066043) Source # | |
type Apply (Dict' s6989586621679066041 k6989586621679066042 a6989586621679066043) (Dict' s6989586621679066041 k6989586621679066042 a6989586621679066043) (DifferenceSym1 s6989586621679066041 k6989586621679066042 a6989586621679066043 l0) l1 Source # | |
type DifferenceSym2 t t = Difference t t Source #
intersection :: forall s k a. (Num s, Ord s, Ord k) => Dict' s k a -> Dict' s k a -> Dict' s k a Source #
sIntersection :: forall t t. (SNum s, SOrd s, SOrd k) => Sing t -> Sing t -> Sing (Apply (Apply IntersectionSym0 t) t :: Dict' s k a) Source #
type family Intersection (a :: Dict' s k a) (a :: Dict' s k a) :: Dict' s k a where ... Source #
Equations
Intersection m1 m2 = Apply (Apply (Apply IntersectionWithKeySym0 (Apply (Apply Lambda_6989586621679079504Sym0 m1) m2)) m1) m2 |
data IntersectionSym0 l Source #
Instances
SuppressUnusedWarnings (TyFun (Dict' s6989586621679066035 k6989586621679066036 a6989586621679066037) (TyFun (Dict' s6989586621679066035 k6989586621679066036 a6989586621679066037) (Dict' s6989586621679066035 k6989586621679066036 a6989586621679066037) -> Type) -> *) (IntersectionSym0 s6989586621679066035 k6989586621679066036 a6989586621679066037) Source # | |
type Apply (Dict' s6989586621679066035 k6989586621679066036 a6989586621679066037) (TyFun (Dict' s6989586621679066035 k6989586621679066036 a6989586621679066037) (Dict' s6989586621679066035 k6989586621679066036 a6989586621679066037) -> Type) (IntersectionSym0 s6989586621679066035 k6989586621679066036 a6989586621679066037) l0 Source # | |
data IntersectionSym1 l l Source #
Instances
SuppressUnusedWarnings (Dict' s6989586621679066035 k6989586621679066036 a6989586621679066037 -> TyFun (Dict' s6989586621679066035 k6989586621679066036 a6989586621679066037) (Dict' s6989586621679066035 k6989586621679066036 a6989586621679066037) -> *) (IntersectionSym1 s6989586621679066035 k6989586621679066036 a6989586621679066037) Source # | |
type Apply (Dict' s6989586621679066035 k6989586621679066036 a6989586621679066037) (Dict' s6989586621679066035 k6989586621679066036 a6989586621679066037) (IntersectionSym1 s6989586621679066035 k6989586621679066036 a6989586621679066037 l0) l1 Source # | |
type IntersectionSym2 t t = Intersection t t Source #
intersectionWith :: forall s k a. (Num s, Ord s, Ord k) => (a -> a -> a) -> Dict' s k a -> Dict' s k a -> Dict' s k a Source #
sIntersectionWith :: forall t t t. (SNum s, SOrd s, SOrd k) => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply IntersectionWithSym0 t) t) t :: Dict' s k a) Source #
type family IntersectionWith (a :: TyFun a (TyFun a a -> Type) -> Type) (a :: Dict' s k a) (a :: Dict' s k a) :: Dict' s k a where ... Source #
Equations
IntersectionWith f m1 m2 = Apply (Apply (Apply IntersectionWithKeySym0 (Apply (Apply (Apply Lambda_6989586621679079555Sym0 f) m1) m2)) m1) m2 |
data IntersectionWithSym0 l Source #
Instances
SuppressUnusedWarnings (TyFun (TyFun a6989586621679066034 (TyFun a6989586621679066034 a6989586621679066034 -> Type) -> Type) (TyFun (Dict' s6989586621679066032 k6989586621679066033 a6989586621679066034) (TyFun (Dict' s6989586621679066032 k6989586621679066033 a6989586621679066034) (Dict' s6989586621679066032 k6989586621679066033 a6989586621679066034) -> Type) -> Type) -> *) (IntersectionWithSym0 s6989586621679066032 k6989586621679066033 a6989586621679066034) Source # | |
type Apply (TyFun a6989586621679066034 (TyFun a6989586621679066034 a6989586621679066034 -> Type) -> Type) (TyFun (Dict' s6989586621679066032 k6989586621679066033 a6989586621679066034) (TyFun (Dict' s6989586621679066032 k6989586621679066033 a6989586621679066034) (Dict' s6989586621679066032 k6989586621679066033 a6989586621679066034) -> Type) -> Type) (IntersectionWithSym0 s6989586621679066032 k6989586621679066033 a6989586621679066034) l0 Source # | |
data IntersectionWithSym1 l l Source #
Instances
SuppressUnusedWarnings ((TyFun a6989586621679066034 (TyFun a6989586621679066034 a6989586621679066034 -> Type) -> Type) -> TyFun (Dict' s6989586621679066032 k6989586621679066033 a6989586621679066034) (TyFun (Dict' s6989586621679066032 k6989586621679066033 a6989586621679066034) (Dict' s6989586621679066032 k6989586621679066033 a6989586621679066034) -> Type) -> *) (IntersectionWithSym1 s6989586621679066032 k6989586621679066033 a6989586621679066034) Source # | |
type Apply (Dict' s6989586621679066032 k6989586621679066033 a6989586621679066034) (TyFun (Dict' s6989586621679066032 k6989586621679066033 a6989586621679066034) (Dict' s6989586621679066032 k6989586621679066033 a6989586621679066034) -> Type) (IntersectionWithSym1 s6989586621679066032 k6989586621679066033 a6989586621679066034 l0) l1 Source # | |
data IntersectionWithSym2 l l l Source #
Instances
SuppressUnusedWarnings ((TyFun a6989586621679066034 (TyFun a6989586621679066034 a6989586621679066034 -> Type) -> Type) -> Dict' s6989586621679066032 k6989586621679066033 a6989586621679066034 -> TyFun (Dict' s6989586621679066032 k6989586621679066033 a6989586621679066034) (Dict' s6989586621679066032 k6989586621679066033 a6989586621679066034) -> *) (IntersectionWithSym2 s6989586621679066032 k6989586621679066033 a6989586621679066034) Source # | |
type Apply (Dict' s6989586621679066032 k6989586621679066033 a6989586621679066034) (Dict' s6989586621679066032 k6989586621679066033 a6989586621679066034) (IntersectionWithSym2 s6989586621679066032 k6989586621679066033 a6989586621679066034 l1 l0) l2 Source # | |
type IntersectionWithSym3 t t t = IntersectionWith t t t Source #
intersectionWithKey :: forall s k a. (Num s, Ord s, Ord k) => (k -> a -> a -> a) -> Dict' s k a -> Dict' s k a -> Dict' s k a Source #
sIntersectionWithKey :: forall t t t. (SNum s, SOrd s, SOrd k) => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply IntersectionWithKeySym0 t) t) t :: Dict' s k a) Source #
type family IntersectionWithKey (a :: TyFun k (TyFun a (TyFun a a -> Type) -> Type) -> Type) (a :: Dict' s k a) (a :: Dict' s k a) :: Dict' s k a where ... Source #
Equations
IntersectionWithKey f t1 t2 = Case_6989586621679079279 f t1 t2 t1 |
data IntersectionWithKeySym0 l Source #
Instances
SuppressUnusedWarnings (TyFun (TyFun k6989586621679066030 (TyFun a6989586621679066031 (TyFun a6989586621679066031 a6989586621679066031 -> Type) -> Type) -> Type) (TyFun (Dict' s6989586621679066029 k6989586621679066030 a6989586621679066031) (TyFun (Dict' s6989586621679066029 k6989586621679066030 a6989586621679066031) (Dict' s6989586621679066029 k6989586621679066030 a6989586621679066031) -> Type) -> Type) -> *) (IntersectionWithKeySym0 s6989586621679066029 k6989586621679066030 a6989586621679066031) Source # | |
type Apply (TyFun k6989586621679066030 (TyFun a6989586621679066031 (TyFun a6989586621679066031 a6989586621679066031 -> Type) -> Type) -> Type) (TyFun (Dict' s6989586621679066029 k6989586621679066030 a6989586621679066031) (TyFun (Dict' s6989586621679066029 k6989586621679066030 a6989586621679066031) (Dict' s6989586621679066029 k6989586621679066030 a6989586621679066031) -> Type) -> Type) (IntersectionWithKeySym0 s6989586621679066029 k6989586621679066030 a6989586621679066031) l0 Source # | |
data IntersectionWithKeySym1 l l Source #
Instances
SuppressUnusedWarnings ((TyFun k6989586621679066030 (TyFun a6989586621679066031 (TyFun a6989586621679066031 a6989586621679066031 -> Type) -> Type) -> Type) -> TyFun (Dict' s6989586621679066029 k6989586621679066030 a6989586621679066031) (TyFun (Dict' s6989586621679066029 k6989586621679066030 a6989586621679066031) (Dict' s6989586621679066029 k6989586621679066030 a6989586621679066031) -> Type) -> *) (IntersectionWithKeySym1 s6989586621679066029 k6989586621679066030 a6989586621679066031) Source # | |
type Apply (Dict' s6989586621679066029 k6989586621679066030 a6989586621679066031) (TyFun (Dict' s6989586621679066029 k6989586621679066030 a6989586621679066031) (Dict' s6989586621679066029 k6989586621679066030 a6989586621679066031) -> Type) (IntersectionWithKeySym1 s6989586621679066029 k6989586621679066030 a6989586621679066031 l0) l1 Source # | |
data IntersectionWithKeySym2 l l l Source #
Instances
SuppressUnusedWarnings ((TyFun k6989586621679066030 (TyFun a6989586621679066031 (TyFun a6989586621679066031 a6989586621679066031 -> Type) -> Type) -> Type) -> Dict' s6989586621679066029 k6989586621679066030 a6989586621679066031 -> TyFun (Dict' s6989586621679066029 k6989586621679066030 a6989586621679066031) (Dict' s6989586621679066029 k6989586621679066030 a6989586621679066031) -> *) (IntersectionWithKeySym2 s6989586621679066029 k6989586621679066030 a6989586621679066031) Source # | |
type Apply (Dict' s6989586621679066029 k6989586621679066030 a6989586621679066031) (Dict' s6989586621679066029 k6989586621679066030 a6989586621679066031) (IntersectionWithKeySym2 s6989586621679066029 k6989586621679066030 a6989586621679066031 l1 l0) l2 Source # | |
type IntersectionWithKeySym3 t t t = IntersectionWithKey t t t Source #
sFold :: forall t t t. Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldSym0 t) t) t :: b) Source #
type family Fold (a :: TyFun a (TyFun b b -> Type) -> Type) (a :: b) (a :: Dict' s k a) :: b where ... Source #
Instances
SuppressUnusedWarnings (TyFun (TyFun a6989586621679066022 (TyFun b6989586621679066023 b6989586621679066023 -> Type) -> Type) (TyFun b6989586621679066023 (TyFun (Dict' s6989586621679066024 k6989586621679066025 a6989586621679066022) b6989586621679066023 -> Type) -> Type) -> *) (FoldSym0 s6989586621679066024 k6989586621679066025 a6989586621679066022 b6989586621679066023) Source # | |
type Apply (TyFun a6989586621679066022 (TyFun b6989586621679066023 b6989586621679066023 -> Type) -> Type) (TyFun b6989586621679066023 (TyFun (Dict' s6989586621679066024 k6989586621679066025 a6989586621679066022) b6989586621679066023 -> Type) -> Type) (FoldSym0 s6989586621679066024 k6989586621679066025 a6989586621679066022 b6989586621679066023) l0 Source # | |
Instances
SuppressUnusedWarnings ((TyFun a6989586621679066022 (TyFun b6989586621679066023 b6989586621679066023 -> Type) -> Type) -> TyFun b6989586621679066023 (TyFun (Dict' s6989586621679066024 k6989586621679066025 a6989586621679066022) b6989586621679066023 -> Type) -> *) (FoldSym1 s6989586621679066024 k6989586621679066025 a6989586621679066022 b6989586621679066023) Source # | |
type Apply b6989586621679066023 (TyFun (Dict' s6989586621679066024 k6989586621679066025 a6989586621679066022) b6989586621679066023 -> Type) (FoldSym1 s6989586621679066024 k6989586621679066025 a6989586621679066022 b6989586621679066023 l0) l1 Source # | |
Instances
SuppressUnusedWarnings ((TyFun a6989586621679066022 (TyFun b6989586621679066023 b6989586621679066023 -> Type) -> Type) -> b6989586621679066023 -> TyFun (Dict' s6989586621679066024 k6989586621679066025 a6989586621679066022) b6989586621679066023 -> *) (FoldSym2 s6989586621679066024 k6989586621679066025 a6989586621679066022 b6989586621679066023) Source # | |
type Apply (Dict' s6989586621679066024 k6989586621679066025 a6989586621679066022) b6989586621679066023 (FoldSym2 s6989586621679066024 k6989586621679066025 a6989586621679066022 b6989586621679066023 l1 l0) l2 Source # | |
foldWithKey :: forall k a b s. (k -> a -> b -> b) -> b -> Dict' s k a -> b Source #
sFoldWithKey :: forall t t t. Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldWithKeySym0 t) t) t :: b) Source #
type family FoldWithKey (a :: TyFun k (TyFun a (TyFun b b -> Type) -> Type) -> Type) (a :: b) (a :: Dict' s k a) :: b where ... Source #
Equations
FoldWithKey f z t = Apply (Apply (Apply FoldRSym0 f) z) t |
data FoldWithKeySym0 l Source #
Instances
SuppressUnusedWarnings (TyFun (TyFun k6989586621679066018 (TyFun a6989586621679066019 (TyFun b6989586621679066020 b6989586621679066020 -> Type) -> Type) -> Type) (TyFun b6989586621679066020 (TyFun (Dict' s6989586621679066021 k6989586621679066018 a6989586621679066019) b6989586621679066020 -> Type) -> Type) -> *) (FoldWithKeySym0 s6989586621679066021 k6989586621679066018 a6989586621679066019 b6989586621679066020) Source # | |
type Apply (TyFun k6989586621679066018 (TyFun a6989586621679066019 (TyFun b6989586621679066020 b6989586621679066020 -> Type) -> Type) -> Type) (TyFun b6989586621679066020 (TyFun (Dict' s6989586621679066021 k6989586621679066018 a6989586621679066019) b6989586621679066020 -> Type) -> Type) (FoldWithKeySym0 s6989586621679066021 k6989586621679066018 a6989586621679066019 b6989586621679066020) l0 Source # | |
data FoldWithKeySym1 l l Source #
Instances
SuppressUnusedWarnings ((TyFun k6989586621679066018 (TyFun a6989586621679066019 (TyFun b6989586621679066020 b6989586621679066020 -> Type) -> Type) -> Type) -> TyFun b6989586621679066020 (TyFun (Dict' s6989586621679066021 k6989586621679066018 a6989586621679066019) b6989586621679066020 -> Type) -> *) (FoldWithKeySym1 s6989586621679066021 k6989586621679066018 a6989586621679066019 b6989586621679066020) Source # | |
type Apply b6989586621679066020 (TyFun (Dict' s6989586621679066021 k6989586621679066018 a6989586621679066019) b6989586621679066020 -> Type) (FoldWithKeySym1 s6989586621679066021 k6989586621679066018 a6989586621679066019 b6989586621679066020 l0) l1 Source # | |
data FoldWithKeySym2 l l l Source #
Instances
SuppressUnusedWarnings ((TyFun k6989586621679066018 (TyFun a6989586621679066019 (TyFun b6989586621679066020 b6989586621679066020 -> Type) -> Type) -> Type) -> b6989586621679066020 -> TyFun (Dict' s6989586621679066021 k6989586621679066018 a6989586621679066019) b6989586621679066020 -> *) (FoldWithKeySym2 s6989586621679066021 k6989586621679066018 a6989586621679066019 b6989586621679066020) Source # | |
type Apply (Dict' s6989586621679066021 k6989586621679066018 a6989586621679066019) b6989586621679066020 (FoldWithKeySym2 s6989586621679066021 k6989586621679066018 a6989586621679066019 b6989586621679066020 l1 l0) l2 Source # | |
type FoldWithKeySym3 t t t = FoldWithKey t t t Source #
sFoldL :: forall t t t. Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldLSym0 t) t) t :: b) Source #
type family FoldL (a :: TyFun b (TyFun k (TyFun a b -> Type) -> Type) -> Type) (a :: b) (a :: Dict' s k a) :: b where ... Source #
Instances
SuppressUnusedWarnings (TyFun (TyFun b6989586621679066010 (TyFun k6989586621679066011 (TyFun a6989586621679066012 b6989586621679066010 -> Type) -> Type) -> Type) (TyFun b6989586621679066010 (TyFun (Dict' s6989586621679066013 k6989586621679066011 a6989586621679066012) b6989586621679066010 -> Type) -> Type) -> *) (FoldLSym0 s6989586621679066013 k6989586621679066011 a6989586621679066012 b6989586621679066010) Source # | |
type Apply (TyFun b6989586621679066010 (TyFun k6989586621679066011 (TyFun a6989586621679066012 b6989586621679066010 -> Type) -> Type) -> Type) (TyFun b6989586621679066010 (TyFun (Dict' s6989586621679066013 k6989586621679066011 a6989586621679066012) b6989586621679066010 -> Type) -> Type) (FoldLSym0 s6989586621679066013 k6989586621679066011 a6989586621679066012 b6989586621679066010) l0 Source # | |
Instances
SuppressUnusedWarnings ((TyFun b6989586621679066010 (TyFun k6989586621679066011 (TyFun a6989586621679066012 b6989586621679066010 -> Type) -> Type) -> Type) -> TyFun b6989586621679066010 (TyFun (Dict' s6989586621679066013 k6989586621679066011 a6989586621679066012) b6989586621679066010 -> Type) -> *) (FoldLSym1 s6989586621679066013 k6989586621679066011 a6989586621679066012 b6989586621679066010) Source # | |
type Apply b6989586621679066010 (TyFun (Dict' s6989586621679066013 k6989586621679066011 a6989586621679066012) b6989586621679066010 -> Type) (FoldLSym1 s6989586621679066013 k6989586621679066011 a6989586621679066012 b6989586621679066010 l0) l1 Source # | |
Instances
SuppressUnusedWarnings ((TyFun b6989586621679066010 (TyFun k6989586621679066011 (TyFun a6989586621679066012 b6989586621679066010 -> Type) -> Type) -> Type) -> b6989586621679066010 -> TyFun (Dict' s6989586621679066013 k6989586621679066011 a6989586621679066012) b6989586621679066010 -> *) (FoldLSym2 s6989586621679066013 k6989586621679066011 a6989586621679066012 b6989586621679066010) Source # | |
type Apply (Dict' s6989586621679066013 k6989586621679066011 a6989586621679066012) b6989586621679066010 (FoldLSym2 s6989586621679066013 k6989586621679066011 a6989586621679066012 b6989586621679066010 l1 l0) l2 Source # | |
sFoldR :: forall t t t. Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldRSym0 t) t) t :: b) Source #
type family FoldR (a :: TyFun k (TyFun a (TyFun b b -> Type) -> Type) -> Type) (a :: b) (a :: Dict' s k a) :: b where ... Source #
Instances
SuppressUnusedWarnings (TyFun (TyFun k6989586621679066014 (TyFun a6989586621679066015 (TyFun b6989586621679066016 b6989586621679066016 -> Type) -> Type) -> Type) (TyFun b6989586621679066016 (TyFun (Dict' s6989586621679066017 k6989586621679066014 a6989586621679066015) b6989586621679066016 -> Type) -> Type) -> *) (FoldRSym0 s6989586621679066017 k6989586621679066014 a6989586621679066015 b6989586621679066016) Source # | |
type Apply (TyFun k6989586621679066014 (TyFun a6989586621679066015 (TyFun b6989586621679066016 b6989586621679066016 -> Type) -> Type) -> Type) (TyFun b6989586621679066016 (TyFun (Dict' s6989586621679066017 k6989586621679066014 a6989586621679066015) b6989586621679066016 -> Type) -> Type) (FoldRSym0 s6989586621679066017 k6989586621679066014 a6989586621679066015 b6989586621679066016) l0 Source # | |