Copyright	(c) 2020-2022 Emily Pillmore
License	BSD-style
Maintainer	Emily Pillmore <emilypi@cohomolo.gy>
Stability	Experimental
Portability	FlexibleInstances, MPTC, Type Families, UndecideableInstances
Safe Haskell	None
Language	Haskell2010

Data.Smash.Optics

Contents

Description

Prisms and Traversals for the Smash datatype.

Synopsis

Isos

_SmashIso :: Iso (Smash a b) (Smash c d) (Maybe (a, b)) (Maybe (c, d)) Source #

A Iso between a smash product and pointed tuple.

Prisms

A Prism' selecting the Nada constructor.

Note: cannot change type.

A Prism' selecting the Smash constructor.

Note: cannot change type.

An AffineTraversal of the smashed pair.

>>> over smashed (fmap pred) (Smash 1 2)
Smash 1 1

>>> over smashed id Nada
Nada

An IxTraversal of the smashed pair. Yes this is equivalent to each. It's here because it's smashing.

>>> over smashing show (Smash 1 2)
Smash "1" "2"

>>> over smashing show Nada
Nada

Swapped Smash Source #
Instance details Methods swapped :: Iso (Smash a b) (Smash c d) (Smash b a) (Smash d c) #
(a ~ a', b ~ b') => Each Bool (Smash a a') (Smash b b') a b Source #
Instance details Methods each :: IxTraversal Bool (Smash a a') (Smash b b') a b #