module Pandora.Pattern.Functor.Extendable where
import Pandora.Pattern.Functor.Covariant (Covariant)
infixr 1 <<=======
infixr 2 <<======
infixr 3 <<=====
infixr 4 <<====
infixr 5 <<===
infixr 6 <<==
infixr 7 <<=
class Covariant source source t => Extendable source t where
(<<=) :: source (t a) b -> source (t a) (t b)
(<<==), (<<===), (<<====), (<<=====), (<<======), (<<=======), (<<========) :: source (t a) b -> source (t a) (t b)
(<<========) = source (t a) b -> source (t a) (t b)
forall (source :: * -> * -> *) (t :: * -> *) a b.
Extendable source t =>
source (t a) b -> source (t a) (t b)
(<<=)
(<<=======) = source (t a) b -> source (t a) (t b)
forall (source :: * -> * -> *) (t :: * -> *) a b.
Extendable source t =>
source (t a) b -> source (t a) (t b)
(<<=)
(<<======) = source (t a) b -> source (t a) (t b)
forall (source :: * -> * -> *) (t :: * -> *) a b.
Extendable source t =>
source (t a) b -> source (t a) (t b)
(<<=)
(<<=====) = source (t a) b -> source (t a) (t b)
forall (source :: * -> * -> *) (t :: * -> *) a b.
Extendable source t =>
source (t a) b -> source (t a) (t b)
(<<=)
(<<====) = source (t a) b -> source (t a) (t b)
forall (source :: * -> * -> *) (t :: * -> *) a b.
Extendable source t =>
source (t a) b -> source (t a) (t b)
(<<=)
(<<===) = source (t a) b -> source (t a) (t b)
forall (source :: * -> * -> *) (t :: * -> *) a b.
Extendable source t =>
source (t a) b -> source (t a) (t b)
(<<=)
(<<==) = source (t a) b -> source (t a) (t b)
forall (source :: * -> * -> *) (t :: * -> *) a b.
Extendable source t =>
source (t a) b -> source (t a) (t b)
(<<=)