HasTrie Bool | |
HasTrie Int | |
HasTrie Integer | |
HasTrie () | |
(Functor (STrie [a]), HasTrie a) => HasTrie [a] | |
(Functor (STrie (Id a)), HasTrie a) => HasTrie (Id a) | |
(Functor (STrie (Lift a)), HasTrie a) => HasTrie (Lift a) | |
(Functor (STrie (a -> b)), HasTrie a, HasTrie (:->: a b), HasLub b) => HasTrie (a -> b) | |
(Functor (STrie (Either a b)), HasTrie a, HasTrie b) => HasTrie (Either a b) | |
(Functor (STrie (a, b)), HasTrie a, HasTrie b) => HasTrie (a, b) | |
(Functor (STrie (Const x a)), HasTrie x) => HasTrie (Const x a) | |
(Functor (STrie (:+! a b)), HasTrie a, HasTrie b) => HasTrie (:+! a b) | |
(Functor (STrie (:*! a b)), HasTrie a, HasTrie b) => HasTrie (:*! a b) | |
(Functor (STrie (a, b, c)), HasTrie a, HasTrie b, HasTrie c) => HasTrie (a, b, c) | |
(Functor (STrie (:. g f a)), HasTrie (g (f a))) => HasTrie (:. g f a) | |
(Functor (STrie (:+:! f g a)), HasTrie (f a), HasTrie (g a)) => HasTrie (:+:! f g a) | |
(Functor (STrie (:*:! f g a)), HasTrie (f a), HasTrie (g a)) => HasTrie (:*:! f g a) | |
(Functor (STrie (:+: f g a)), HasTrie (f a), HasTrie (g a)) => HasTrie (:+: f g a) | |
(Functor (STrie (:*: f g a)), HasTrie (f a), HasTrie (g a)) => HasTrie (:*: f g a) | |
(Functor (STrie (a, b, c, d)), HasTrie a, HasTrie b, HasTrie c, HasTrie d) => HasTrie (a, b, c, d) | |