Move ReifiedLens to Ether.Internal
commit041246eb927c5dd4c339bbbe870dd3385eac823a
authorVladislav Zavialov <vlad.z.4096@gmail.com>
dateFri 28 Apr 2017, 23:48 (9 years ago)
parenta33c33a
src/Ether/Internal.hs+6
@@ -6,6 +6,8 @@ module Ether.Internal
66 , LensLike
77 , Lens
88 , Lens'
9+ , ReifiedLens(..)
10+ , ReifiedLens'
911 , view
1012 , over
1113 , HList(..)
@@ -59,6 +61,10 @@ type Lens s t a b = forall f. Functor f => LensLike f s t a b
5961
6062type Lens' s a = Lens s s a a
6163
64+newtype ReifiedLens s t a b = Lens (Lens s t a b)
65+
66+type ReifiedLens' s a = ReifiedLens s s a a
67+
6268class HasLens tag outer inner | tag outer -> inner where
6369 lensOf :: Lens' outer inner
6470
src/Ether/State.hs−4
@@ -446,10 +446,6 @@ data ZOOM t z
446446
447447type ZoomT t (z :: Type) = TaggedTrans (ZOOM t z) IdentityT
448448
449−newtype ReifiedLens s t a b = Lens (Lens s t a b)
450−
451−type ReifiedLens' s a = ReifiedLens s s a a
452−
453449-- | Zoom into a part of a state using a lens.
454450zoom
455451 :: forall tag sOuter sInner m a