Lines Matching defs:zero
77 -- > zero <!> m = m function
86 zero = Proxy function
89 zero = U1 function
92 zero = zero :*: zero function
95 zero = M1 zero function
98 zero = Rec1 zero function
101 zero = error "zero" function
104 zero = [] function
107 zero = Nothing function
110 zero = empty function
113 zero = empty function
116 zero = empty function
120 zero = Map.empty function
123 zero = IntMap.empty function
126 zero = mempty function
131 zero = HashMap.empty function
135 zero = empty function
138 zero = IdentityT zero function
141 zero = ReaderT $ \_ -> zero function
144 zero = MaybeT $ return zero function
147 zero = ErrorT $ return $ Left noMsg function
150 zero = ExceptT $ return $ Left mempty function
153 zero = ListT $ pure [] function
156 zero = Strict.StateT $ \_ -> zero function
159 zero = Lazy.StateT $ \_ -> zero function
162 zero = Strict.WriterT zero function
165 zero = Lazy.WriterT zero function
168 zero = Strict.RWST $ \_ _ -> zero function
171 zero = Lazy.RWST $ \_ _ -> zero function
174 zero = Backwards zero function
177 zero = Compose zero function
180 zero = Other zero function
183 zero = Pair zero zero function
186 zero = Reverse zero function
189 zero = Monoid.First Nothing function
192 zero = Monoid.Last Nothing function