File tree Expand file tree Collapse file tree 2 files changed +10
-6
lines changed
Expand file tree Collapse file tree 2 files changed +10
-6
lines changed Original file line number Diff line number Diff line change 55### Types
66
77 data ListT f a where
8- ListT :: f (Step a (ListT f a)) -> ListT f a
8+ ListT :: f (Step a (ListT f a)) -> ListT
99
1010 data Step a s
1111
4545
4646 foldl :: forall f a b. (Monad f) => (b -> a -> b) -> b -> ListT f a -> f b
4747
48+ foldl' :: forall f a b. (Monad f) => (b -> a -> f b) -> b -> ListT f a -> f b
49+
4850 fromArray :: forall f a. (Monad f) => [a] -> ListT f a
4951
5052 fromEffect :: forall f a. (Applicative f) => f a -> ListT f a
5153
5254 head :: forall f a. (Monad f) => ListT f a -> f (Maybe a)
5355
56+ iterate :: forall f a. (Monad f) => (a -> a) -> a -> ListT f a
57+
5458 mapMaybe :: forall f a b. (Functor f) => (a -> Maybe b) -> ListT f a -> ListT f b
5559
5660 nil :: forall f a. (Applicative f) => ListT f a
6973
7074 takeWhile :: forall f a. (Applicative f) => (a -> Boolean) -> ListT f a -> ListT f a
7175
76+ toArray :: forall f a. (Monad f) => ListT f a -> f [a]
77+
7278 uncons :: forall f a. (Monad f) => ListT f a -> f (Maybe (Tuple a (ListT f a)))
7379
7480 unfold :: forall f a z. (Monad f) => (z -> f (Maybe (Tuple z a))) -> z -> ListT f a
8793### Types
8894
8995 data List a where
90- Nil :: List a
91- Cons :: a -> List a -> List a
96+ Nil :: List
97+ Cons :: a -> List a -> List
9298
9399
94100### Type Class Instances
Original file line number Diff line number Diff line change 2222 "purescript-transformers" : " *" ,
2323 "purescript-lazy" : " *" ,
2424 "purescript-monoid" : " *" ,
25+ "purescript-quickcheck" : " *" ,
2526 "purescript-tuples" : " *"
26- },
27- "devDependencies" : {
28- "purescript-quickcheck" : " *"
2927 }
3028}
You can’t perform that action at this time.
0 commit comments