Data.Extensible.Plain

Documentation

newtype K0 a

Just a value.

Constructors

K0

Fields

getK0 :: a

Instances

Eq a => Eq (K0 a)

Ord a => Ord (K0 a)

Read a => Read (K0 a)

Show a => Show (K0 a)

Typeable (* -> *) K0

(<%) :: x -> (K0 :* xs) -> K0 :* (x : xs) infixr 5

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

pluck :: x ∈ xs => (K0 :* xs) -> x

Extract a plain value.

bury :: x ∈ xs => x -> K0 :| xs

Embed a plain value.

(<%|) :: (x -> r) -> ((K0 :| xs) -> r) -> (K0 :| (x : xs)) -> r

Naive pattern matching for a plain value.

record :: (x ∈ xs, Functor f) => (x -> f x) -> (K0 :* xs) -> f (K0 :* xs)

O(log n) A lens for a plain value in a product.

(<?%) :: (x -> a) -> (Match K0 a :* xs) -> Match K0 a :* (x : xs) infixr 1

Prepend a clause for a plain value.