Lines Matching defs:ins
475 instance Class b a => () :=> Class b a where ins = Sub Dict function
476 instance (b :=> a) => () :=> (b :=> a) where ins = Sub Dict function
479 instance () :=> () where ins = Sub Dict function
485 instance () :=> Eq () where ins = Sub Dict function
486 instance () :=> Eq Int where ins = Sub Dict function
487 instance () :=> Eq Bool where ins = Sub Dict function
488 instance () :=> Eq Integer where ins = Sub Dict function
489 instance () :=> Eq Float where ins = Sub Dict function
490 instance () :=> Eq Double where ins = Sub Dict function
491 instance Eq a :=> Eq [a] where ins = Sub Dict function
492 instance Eq a :=> Eq (Maybe a) where ins = Sub Dict function
493 instance Eq a :=> Eq (Complex a) where ins = Sub Dict function
494 instance Eq a :=> Eq (Ratio a) where ins = Sub Dict function
495 instance (Eq a, Eq b) :=> Eq (a, b) where ins = Sub Dict function
496 instance (Eq a, Eq b) :=> Eq (Either a b) where ins = Sub Dict function
497 instance () :=> Eq (Dict a) where ins = Sub Dict function
498 instance () :=> Eq (a :- b) where ins = Sub Dict function
499 instance () :=> Eq Word where ins = Sub Dict function
500 instance Eq a :=> Eq (Identity a) where ins = Sub Dict function
502 instance Eq a :=> Eq (Const a b) where ins = Sub Dict function
503 instance () :=> Eq Natural where ins = Sub Dict function
508 instance () :=> Ord () where ins = Sub Dict function
509 instance () :=> Ord Bool where ins = Sub Dict function
510 instance () :=> Ord Int where ins = Sub Dict function
511 instance ():=> Ord Integer where ins = Sub Dict function
512 instance () :=> Ord Float where ins = Sub Dict function
513 instance ():=> Ord Double where ins = Sub Dict function
514 instance () :=> Ord Char where ins = Sub Dict function
515 instance Ord a :=> Ord (Maybe a) where ins = Sub Dict function
516 instance Ord a :=> Ord [a] where ins = Sub Dict function
517 instance (Ord a, Ord b) :=> Ord (a, b) where ins = Sub Dict function
518 instance (Ord a, Ord b) :=> Ord (Either a b) where ins = Sub Dict function
519 instance Integral a :=> Ord (Ratio a) where ins = Sub Dict function
520 instance () :=> Ord (Dict a) where ins = Sub Dict function
521 instance () :=> Ord (a :- b) where ins = Sub Dict function
522 instance () :=> Ord Word where ins = Sub Dict function
523 instance Ord a :=> Ord (Identity a) where ins = Sub Dict function
525 instance Ord a :=> Ord (Const a b) where ins = Sub Dict function
526 instance () :=> Ord Natural where ins = Sub Dict function
531 instance () :=> Show () where ins = Sub Dict function
532 instance () :=> Show Bool where ins = Sub Dict function
533 instance () :=> Show Ordering where ins = Sub Dict function
534 instance () :=> Show Char where ins = Sub Dict function
535 instance () :=> Show Int where ins = Sub Dict function
536 instance Show a :=> Show (Complex a) where ins = Sub Dict function
537 instance Show a :=> Show [a] where ins = Sub Dict function
538 instance Show a :=> Show (Maybe a) where ins = Sub Dict function
539 instance (Show a, Show b) :=> Show (a, b) where ins = Sub Dict function
540 instance (Show a, Show b) :=> Show (Either a b) where ins = Sub Dict function
541 instance (Integral a, Show a) :=> Show (Ratio a) where ins = Sub Dict function
542 instance () :=> Show (Dict a) where ins = Sub Dict function
543 instance () :=> Show (a :- b) where ins = Sub Dict function
544 instance () :=> Show Word where ins = Sub Dict function
545 instance Show a :=> Show (Identity a) where ins = Sub Dict function
547 instance Show a :=> Show (Const a b) where ins = Sub Dict function
548 instance () :=> Show Natural where ins = Sub Dict function
553 instance () :=> Read () where ins = Sub Dict function
554 instance () :=> Read Bool where ins = Sub Dict function
555 instance () :=> Read Ordering where ins = Sub Dict function
556 instance () :=> Read Char where ins = Sub Dict function
557 instance () :=> Read Int where ins = Sub Dict function
558 instance Read a :=> Read (Complex a) where ins = Sub Dict function
559 instance Read a :=> Read [a] where ins = Sub Dict function
560 instance Read a :=> Read (Maybe a) where ins = Sub Dict function
561 instance (Read a, Read b) :=> Read (a, b) where ins = Sub Dict function
562 instance (Read a, Read b) :=> Read (Either a b) where ins = Sub Dict function
563 instance (Integral a, Read a) :=> Read (Ratio a) where ins = Sub Dict function
564 instance () :=> Read Word where ins = Sub Dict function
565 instance Read a :=> Read (Identity a) where ins = Sub Dict function
567 instance Read a :=> Read (Const a b) where ins = Sub Dict function
568 instance () :=> Read Natural where ins = Sub Dict function
573 instance () :=> Enum () where ins = Sub Dict function
574 instance () :=> Enum Bool where ins = Sub Dict function
575 instance () :=> Enum Ordering where ins = Sub Dict function
576 instance () :=> Enum Char where ins = Sub Dict function
577 instance () :=> Enum Int where ins = Sub Dict function
578 instance () :=> Enum Integer where ins = Sub Dict function
579 instance () :=> Enum Float where ins = Sub Dict function
580 instance () :=> Enum Double where ins = Sub Dict function
581 instance Integral a :=> Enum (Ratio a) where ins = Sub Dict function
582 instance () :=> Enum Word where ins = Sub Dict function
584 instance Enum a :=> Enum (Identity a) where ins = Sub Dict function
585 instance Enum a :=> Enum (Const a b) where ins = Sub Dict function
588 instance () :=> Enum Natural where ins = Sub Dict function
593 instance () :=> Bounded () where ins = Sub Dict function
594 instance () :=> Bounded Ordering where ins = Sub Dict function
595 instance () :=> Bounded Bool where ins = Sub Dict function
596 instance () :=> Bounded Int where ins = Sub Dict function
597 instance () :=> Bounded Char where ins = Sub Dict function
598 instance (Bounded a, Bounded b) :=> Bounded (a,b) where ins = Sub Dict function
599 instance () :=> Bounded Word where ins = Sub Dict function
601 instance Bounded a :=> Bounded (Identity a) where ins = Sub Dict function
602 instance Bounded a :=> Bounded (Const a b) where ins = Sub Dict function
607 instance () :=> Num Int where ins = Sub Dict function
608 instance () :=> Num Integer where ins = Sub Dict function
609 instance () :=> Num Float where ins = Sub Dict function
610 instance () :=> Num Double where ins = Sub Dict function
611 instance RealFloat a :=> Num (Complex a) where ins = Sub Dict function
612 instance Integral a :=> Num (Ratio a) where ins = Sub Dict function
613 instance () :=> Num Word where ins = Sub Dict function
615 instance Num a :=> Num (Identity a) where ins = Sub Dict function
616 instance Num a :=> Num (Const a b) where ins = Sub Dict function
619 instance () :=> Num Natural where ins = Sub Dict function
624 instance () :=> Real Int where ins = Sub Dict function
625 instance () :=> Real Integer where ins = Sub Dict function
626 instance () :=> Real Float where ins = Sub Dict function
627 instance () :=> Real Double where ins = Sub Dict function
628 instance Integral a :=> Real (Ratio a) where ins = Sub Dict function
629 instance () :=> Real Word where ins = Sub Dict function
631 instance Real a :=> Real (Identity a) where ins = Sub Dict function
632 instance Real a :=> Real (Const a b) where ins = Sub Dict function
635 instance () :=> Real Natural where ins = Sub Dict function
640 instance () :=> Integral Int where ins = Sub Dict function
641 instance () :=> Integral Integer where ins = Sub Dict function
642 instance () :=> Integral Word where ins = Sub Dict function
644 instance Integral a :=> Integral (Identity a) where ins = Sub Dict function
645 instance Integral a :=> Integral (Const a b) where ins = Sub Dict function
648 instance () :=> Integral Natural where ins = Sub Dict function
653 instance () :=> Bits Bool where ins = Sub Dict function
654 instance () :=> Bits Int where ins = Sub Dict function
655 instance () :=> Bits Integer where ins = Sub Dict function
656 instance () :=> Bits Word where ins = Sub Dict function
658 instance Bits a :=> Bits (Identity a) where ins = Sub Dict function
659 instance Bits a :=> Bits (Const a b) where ins = Sub Dict function
662 instance () :=> Bits Natural where ins = Sub Dict function
667 instance () :=> Fractional Float where ins = Sub Dict function
668 instance () :=> Fractional Double where ins = Sub Dict function
669 instance RealFloat a :=> Fractional (Complex a) where ins = Sub Dict function
670 instance Integral a :=> Fractional (Ratio a) where ins = Sub Dict function
672 instance Fractional a :=> Fractional (Identity a) where ins = Sub Dict function
673 instance Fractional a :=> Fractional (Const a b) where ins = Sub Dict function
678 instance () :=> Floating Float where ins = Sub Dict function
679 instance () :=> Floating Double where ins = Sub Dict function
680 instance RealFloat a :=> Floating (Complex a) where ins = Sub Dict function
682 instance Floating a :=> Floating (Identity a) where ins = Sub Dict function
683 instance Floating a :=> Floating (Const a b) where ins = Sub Dict function
688 instance () :=> RealFrac Float where ins = Sub Dict function
689 instance () :=> RealFrac Double where ins = Sub Dict function
690 instance Integral a :=> RealFrac (Ratio a) where ins = Sub Dict function
692 instance RealFrac a :=> RealFrac (Identity a) where ins = Sub Dict function
693 instance RealFrac a :=> RealFrac (Const a b) where ins = Sub Dict function
698 instance () :=> RealFloat Float where ins = Sub Dict function
699 instance () :=> RealFloat Double where ins = Sub Dict function
701 instance RealFloat a :=> RealFloat (Identity a) where ins = Sub Dict function
702 instance RealFloat a :=> RealFloat (Const a b) where ins = Sub Dict function
707 instance () :=> Semigroup () where ins = Sub Dict function
708 instance () :=> Semigroup Ordering where ins = Sub Dict function
709 instance () :=> Semigroup [a] where ins = Sub Dict function
710 instance Semigroup a :=> Semigroup (Maybe a) where ins = Sub Dict function
711 instance (Semigroup a, Semigroup b) :=> Semigroup (a, b) where ins = Sub Dict function
712 instance Semigroup a :=> Semigroup (Const a b) where ins = Sub Dict function
714 instance Semigroup a :=> Semigroup (Identity a) where ins = Sub Dict function
717 instance Semigroup a :=> Semigroup (IO a) where ins = Sub Dict function
726 instance () :=> Monoid () where ins = Sub Dict function
727 instance () :=> Monoid Ordering where ins = Sub Dict function
728 instance () :=> Monoid [a] where ins = Sub Dict function
729 instance Monoid a :=> Monoid (Maybe a) where ins = Sub Dict function
730 instance (Monoid a, Monoid b) :=> Monoid (a, b) where ins = Sub Dict function
731 instance Monoid a :=> Monoid (Const a b) where ins = Sub Dict function
733 instance Monoid a :=> Monoid (Identity a) where ins = Sub Dict function
734 instance Monoid a :=> Monoid (IO a) where ins = Sub Dict function
739 instance () :=> Functor [] where ins = Sub Dict function
740 instance () :=> Functor Maybe where ins = Sub Dict function
741 instance () :=> Functor (Either a) where ins = Sub Dict function
742 instance () :=> Functor ((->) a) where ins = Sub Dict function
743 instance () :=> Functor ((,) a) where ins = Sub Dict function
744 instance () :=> Functor IO where ins = Sub Dict function
745 instance Monad m :=> Functor (WrappedMonad m) where ins = Sub Dict function
746 instance () :=> Functor Identity where ins = Sub Dict function
747 instance () :=> Functor (Const a) where ins = Sub Dict function
751 instance () :=> Applicative [] where ins = Sub Dict function
752 instance () :=> Applicative Maybe where ins = Sub Dict function
753 instance () :=> Applicative (Either a) where ins = Sub Dict function
754 instance () :=> Applicative ((->)a) where ins = Sub Dict function
755 instance () :=> Applicative IO where ins = Sub Dict function
756 instance Monoid a :=> Applicative ((,)a) where ins = Sub Dict function
757 instance Monoid a :=> Applicative (Const a) where ins = Sub Dict function
758 instance Monad m :=> Applicative (WrappedMonad m) where ins = Sub Dict function
762 instance () :=> Alternative [] where ins = Sub Dict function
763 instance () :=> Alternative Maybe where ins = Sub Dict function
764 instance MonadPlus m :=> Alternative (WrappedMonad m) where ins = Sub Dict function
772 instance () :=> Monad [] where ins = Sub Dict function
773 instance () :=> Monad ((->) a) where ins = Sub Dict function
774 instance () :=> Monad (Either a) where ins = Sub Dict function
775 instance () :=> Monad IO where ins = Sub Dict function
776 instance () :=> Monad Identity where ins = Sub Dict function
784 instance () :=> MonadPlus [] where ins = Sub Dict function
785 instance () :=> MonadPlus Maybe where ins = Sub Dict function
791 instance a :=> Enum (Dict a) where ins = Sub Dict function
796 instance a :=> Bounded (Dict a) where ins = Sub Dict function
801 instance a :=> Read (Dict a) where ins = Sub Dict function
804 instance () :=> Semigroup (Dict a) where ins = Sub Dict function
808 instance a :=> Monoid (Dict a) where ins = Sub Dict function