Lines Matching defs:instance
73 type instance Zoomed (Strict.StateT s z) = Focusing z function
74 type instance Zoomed (Lazy.StateT s z) = Focusing z type
75 type instance Zoomed (ReaderT e m) = Zoomed m type
76 type instance Zoomed (IdentityT m) = Zoomed m type
77 type instance Zoomed (Strict.RWST r w s z) = FocusingWith w z type
78 type instance Zoomed (Lazy.RWST r w s z) = FocusingWith w z type
79 type instance Zoomed (Strict.WriterT w m) = FocusingPlus w (Zoomed m) type
80 type instance Zoomed (Lazy.WriterT w m) = FocusingPlus w (Zoomed m) type
81 type instance Zoomed (ListT m) = FocusingOn [] (Zoomed m) type
82 type instance Zoomed (MaybeT m) = FocusingMay (Zoomed m) function
83 type instance Zoomed (ErrorT e m) = FocusingErr e (Zoomed m) type
84 type instance Zoomed (ExceptT e m) = FocusingErr e (Zoomed m) function
85 type instance Zoomed (FreeT f m) = FocusingFree f m (Zoomed m) type
93 type instance Magnified (ReaderT b m) = Effect m type
94 type instance Magnified ((->)b) = Const type
95 type instance Magnified (Strict.RWST a w s m) = EffectRWS w s m function
96 type instance Magnified (Lazy.RWST a w s m) = EffectRWS w s m type
97 type instance Magnified (IdentityT m) = Magnified m type