Generic.Optic.Rep

rep :: forall b a t s. Generic s a => Generic t b => Iso s t a b

Iso between types and their generic rep.

rep' :: forall a s. Generic s a => Iso' s a

Iso between a type and its rep.

noConstructors :: Iso' NoConstructors Void

NoConstructors is equivalent to Void

constructor :: forall b a m n. Iso (Constructor n a) (Constructor m b) a b

Iso between a Constructor and its argument rep

sum :: forall d c b a. Iso (Sum a b) (Sum c d) (Either a b) (Either c d)

Iso between Sum and Either

sumInl :: forall r b a. Prism (Sum a r) (Sum b r) a b

Prism into the Inl of Sum

sumInr :: forall b a l. Prism (Sum l a) (Sum l b) a b

Prism into the Inr of Sum

noArguments :: Iso' NoArguments Unit

Iso between NoArguments and Unit

argument :: forall b a. Iso (Argument a) (Argument b) a b

Iso between Argument and its wrapped type

product :: forall d c b a. Iso (Product a b) (Product c d) (Tuple a b) (Tuple c d)

Iso between Product and Tuple

productFirst :: forall r b a. Lens (Product a r) (Product b r) a b

Lens into the first of a Product

productSecond :: forall b a l. Lens (Product l a) (Product l b) a b

Lens into the second of a Product