Bifunctor (:+) Source # | |
|
Biapplicative (:+) Source # | |
|
Bitraversable (:+) Source # | |
|
Bifoldable (:+) Source # | |
|
Bitraversable1 (:+) Source # | |
|
Biapply (:+) Source # | |
|
Bifoldable1 (:+) Source # | |
|
(Bounded extra, Bounded core) => Bounded ((:+) core extra) Source # | |
|
(Eq extra, Eq core) => Eq ((:+) core extra) Source # | |
|
(Ord extra, Ord core) => Ord ((:+) core extra) Source # | |
|
(Read extra, Read core) => Read ((:+) core extra) Source # | |
|
(Show extra, Show core) => Show ((:+) core extra) Source # | |
|
Generic ((:+) core extra) Source # | |
Associated Types type Rep ((:+) core extra) :: * -> * # |
(Semigroup core, Semigroup extra) => Semigroup ((:+) core extra) Source # | |
|
(NFData extra, NFData core) => NFData ((:+) core extra) Source # | |
Methods rnf :: (core :+ extra) -> () # |
(AllSatisfy AttributeUniverse IpeAttrName rs, RecAll AttributeUniverse (Attr AttributeUniverse f) rs IpeWriteText, IpeWrite g) => IpeWrite ((:+) g (Attributes AttributeUniverse f rs)) Source # | |
|
type Rep ((:+) core extra) Source # | |
|
type NumType (PlaneGraph k s w v e f r) Source # | |
|