definition module Derived import StdEnv, Data.Maybe, PView singletonLens :: Lens [a] [a] a a readOnlyLens :: Lens a a a Void joinLists :: (PView p [a] [a] MyWorld) (PView p [a] [a] MyWorld) (a -> Bool) -> (PView p [a] [a] MyWorld) | TC a & TC p maybeParam :: a (PView p a a MyWorld) -> (PView (Maybe p) a a MyWorld) | TC p listFilterSplit :: (p a -> Bool) -> Split p [a] [a] constantView :: a -> (PView Void a a MyWorld)