Arrow L1' Source  

ArrowChoice L1' Source  

Corepresentable L1' Source  
Associated Types type Corep (L1' :: * > * > *) :: * > * 
Profunctor L1' Source  

Choice L1' Source  

Closed L1' Source  

Strong L1' Source  

Costrong L1' Source  

Scan L1' Source  

AsL1' L1' Source  

AsRM1 L1' Source  

Category * L1' Source  

Cosieve L1' NonEmpty Source  

Semigroupoid * L1' Source  

Monad (L1' a) Source  

Functor (L1' a) Source  

MonadFix (L1' a) Source  

Applicative (L1' a) Source  

Distributive (L1' a) Source  

Representable (L1' a) Source  
Associated Types type Rep (L1' a :: * > *) :: * 
Pointed (L1' a) Source  

Apply (L1' a) Source  

MonadReader (NonEmpty a) (L1' a) Source  

type Corep L1' = NonEmpty Source  
type Rep (L1' a) = NonEmpty a Source  