Documentation

newtype a ⟢ b infixr 1 Source #

data a ⌲ b infixr 1 Source #

class Alter (t :: Type -> Type -> Type) where Source #

class AlterM (t :: Type -> Type -> Type) where Source #

update :: Alter t => t a b -> b -> a -> a Source #

updateM :: (AlterM t, Monad m) => t a b -> m b -> a -> m a Source #

lens :: (a -> b) -> (a -> b -> a) -> a ⟢ b Source #

isoLens :: (a -> b) -> (b -> a) -> a ⟢ b Source #

access :: (a ⟢ b) -> a -> b Source #

prism :: (b -> a) -> (a -> 𝑂 b) -> a ⌲ b Source #

isoPrism :: (b -> a) -> (a -> b) -> a ⌲ b Source #

viewΩ :: (a ⌲ b) -> a -> b Source #

shape :: (a ⌲ b) -> a -> 𝔹 Source #

inlL :: (a ∨ b) ⌲ a Source #

inrL :: (a ∨ b) ⌲ b Source #

fstL :: (a ∧ b) ⟢ a Source #

sndL :: (a ∧ b) ⟢ b Source #

noneL :: 𝑂 a ⌲ () Source #

someL :: 𝑂 a ⌲ a Source #

nilL :: 𝐿 a ⌲ () Source #

consL :: 𝐿 a ⌲ (a ∧ 𝐿 a) Source #

singleL :: 𝐿 a ⌲ a Source #

snocL :: 𝐿 a ⌲ (𝐿 a ∧ a) Source #

single𝑆L :: 𝑆 a ⌲ a Source #

empty𝐼L :: 𝐼 a ⌲ () Source #

single𝐼L :: 𝐼 a ⌲ a Source #

single𝑃L :: Ord a => 𝑃 a ⌲ a Source #

single𝑄L :: Ord a => 𝑄 a ⌲ a Source #

single𝐷L :: Ord k => (k ⇰ v) ⌲ (k ∧ v) Source #

keyL :: Ord k => k -> (k ⇰ v) ⟢ 𝑂 v Source #

keyL𝑂 :: (Ord k, Null v) => k -> (k ⇰ v) ⟢ v Source #

class HasPrism a b where Source #

class HasLens a b where Source #

𝛊 :: HasPrism a b => b -> a Source #

𝛎 :: forall b a. HasPrism a b => a -> 𝑂 b Source #

𝛑 :: HasLens a b => a -> b Source #

𝛏 :: HasLens a b => b -> a -> a Source #