-
Notifications
You must be signed in to change notification settings - Fork 0
/
Discard.purs
43 lines (38 loc) · 933 Bytes
/
Discard.purs
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
module Control.Subcategory.Functor.Discard
( class Discard
, class Discard_
, discard
, discard_
) where
import Control.Bind (class Bind, class Discard, bind) as Unrestricted
import Control.Subcategory.Constituency (class ObjectOf)
import Control.Subcategory.Functor.HasBind (class HasBind, bind)
import Control.Subcategory.HasUnit (class HasUnit)
class Discard_ c f a where
discard_
:: forall v
. HasBind c f
=> ObjectOf c a
=> ObjectOf c (f v)
=> f a
-> c a (f v)
-> f v
instance discard_Unrestricted
:: ( HasBind Function f
, Unrestricted.Bind f
, Unrestricted.Discard a
)
=> Discard_ Function f a
where
discard_ = Unrestricted.bind
class Discard c a where
discard
:: forall f v
. HasBind c f
=> ObjectOf c a
=> ObjectOf c (f v)
=> f a
-> c a (f v)
-> f v
instance discardUnit :: HasUnit c u => Discard c u where
discard = bind