Copyright	(c) Fumiaki Kinoshita 2018
License	BSD3
Maintainer	Fumiaki Kinoshita <fumiexcel@gmail.com>
Safe Haskell	Trustworthy
Language	Haskell2010

Data.Extensible.Plain

Description

Synopsis

type AllOf xs = Identity :* xs
type OneOf xs = Identity :| xs
(<%) :: x -> AllOf xs -> AllOf (x ': xs)
pluck :: x ∈ xs => AllOf xs -> x
bury :: x ∈ xs => x -> OneOf xs
(<%|) :: (x -> r) -> (OneOf xs -> r) -> OneOf (x ': xs) -> r
accessing :: (Coercible x a, x ∈ xs, Extensible f p t, ExtensibleConstr t Identity xs x) => (a -> x) -> Optic' p f (t Identity xs) a

Documentation

Alias for plain products

Alias for plain sums

(<%) :: x -> AllOf xs -> AllOf (x ': xs) infixr 5 Source #

O(log n) Add a plain value to a product.

pluck :: x ∈ xs => AllOf xs -> x Source #

Extract a plain value.

bury :: x ∈ xs => x -> OneOf xs Source #

Embed a plain value.

(<%|) :: (x -> r) -> (OneOf xs -> r) -> OneOf (x ': xs) -> r infixr 1 Source #

Naive pattern matching for a plain value.

An accessor for newtype constructors.