Data.Lens.Barlow

class ConstructBarlowGeneric (attributes :: TList) p input output | attributes input -> output where

Members

• constructBarlowGeneric :: Proxy attributes -> Optic' p input output

Instances

• (Strong p) => ConstructBarlowGeneric (TCons LeftArrow TNil) p (Constructor sym NoArguments) Unit
• (Strong p) => ConstructBarlowGeneric (TCons LeftArrow TNil) p (Constructor sym (Argument output)) output
• (ConstructBarlow rest p restR output, Strong p) => ConstructBarlowGeneric (TCons LeftArrow rest) p (Constructor sym (Argument restR)) output
• (ConstructBarlowGeneric rest p restR output, Strong p) => ConstructBarlowGeneric rest p (Constructor sym restR) output
• (ConstructBarlowGeneric rest p restR output, Choice p) => ConstructBarlowGeneric (TCons LeftArrow rest) p (Sum restR r) output
• (ConstructBarlowGeneric rest p restR output, Choice p) => ConstructBarlowGeneric (TCons RightArrow rest) p (Sum l restR) output
• (Strong p) => ConstructBarlowGeneric (TCons LeftArrow TNil) p (Product (Argument output) r) output
• (ConstructBarlow rest p restR output, Strong p) => ConstructBarlowGeneric (TCons LeftArrow rest) p (Product (Argument restR) r) output
• (Strong p) => ConstructBarlowGeneric (TCons RightArrow TNil) p (Product l (Argument output)) output
• (ConstructBarlow rest p restR output, Strong p) => ConstructBarlowGeneric (TCons RightArrow rest) p (Product l (Argument restR)) output
• (ConstructBarlowGeneric rest p restR output, Strong p) => ConstructBarlowGeneric (TCons RightArrow rest) p (Product l restR) output

class ConstructBarlow (attributes :: TList) p input output | attributes input -> output where

Members

• constructBarlow :: Proxy attributes -> Optic' p input output

Instances

• (Choice p) => ConstructBarlow (TCons QuestionMark TNil) p (Maybe output) output
• (Choice p) => ConstructBarlow (TCons RightArrow TNil) p (Either l output) output
• (Choice p) => ConstructBarlow (TCons LeftArrow TNil) p (Either output r) output
• (Wander p, Traversable t) => ConstructBarlow (TCons Plus TNil) p (t output) output
• (Choice p, Newtype nt output) => ConstructBarlow (TCons ExclamationMark TNil) p nt output
• (IsSymbol sym, Cons sym output rc x, Strong p) => ConstructBarlow (TCons (RecordField sym) TNil) p (Record x) output
• (ConstructBarlow rest p restR output, Strong p, Choice p) => ConstructBarlow (TCons QuestionMark rest) p (Maybe restR) output
• (ConstructBarlow rest p restR output, Strong p, Choice p) => ConstructBarlow (TCons RightArrow rest) p (Either l restR) output
• (ConstructBarlow rest p restR output, Strong p, Choice p) => ConstructBarlow (TCons LeftArrow rest) p (Either restR r) output
• (ConstructBarlow rest p restR output, Strong p, Wander p, Traversable t) => ConstructBarlow (TCons Plus rest) p (t restR) output
• (ConstructBarlow rest p restR output, Newtype nt restR, Strong p, Choice p) => ConstructBarlow (TCons ExclamationMark rest) p nt output
• (IsSymbol sym, ConstructBarlow rest p restR output, Cons sym restR rb rl, Strong p) => ConstructBarlow (TCons (RecordField sym) rest) p (Record rl) output
• (Generic input rep, ConstructBarlowGeneric tlist p rep output, Strong p, Choice p) => ConstructBarlow tlist p input output

class Barlow (string :: Symbol) p input output | string -> input output where

Members

• barlow :: Proxy string -> Optic' p input output

  Type-safe lens for zooming into a deeply nested record

  sky = { zodiac: { virgo: { alpha: "Spica" } } }
  view (barlow (key :: _ "zodiac.virgo.alpha")) sky
  -- Spica 
  over (barlow (key :: _ "zodiac.virgo.alpha")) toUpper sky
  -- { zodiac: { virgo: { alpha: "SPICA" } } }
  

Instances

• (ParseSymbol string attributes, ConstructBarlow attributes p input output) => Barlow string p input output

key :: forall k. Proxy k

Just an alias for Proxy to make selection a bit nicer