We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see ourdocumentation.
There was an error while loading.Please reload this page.
1 parentf504f32 commit136829bCopy full SHA for 136829b
Data/Functor/Foldable/Mod.idr
@@ -27,7 +27,7 @@ ana g = a'
27
where a' x= embed.map a'. g$ x
28
29
||| Postpromorphism. Unfold a structure, applying a natural transformation along the way.
30
-postpro: (Recursivef t,Corecursivef t,Baset f)=> (f t-> f t)-> (a-> f a)-> a-> t
+postpro: (Recursivef t,Corecursivef t)=> (f t-> f t)-> (a-> f a)-> a-> t
31
postpro e g= a'
32
where a' x= embed.map (ana (e. project). a'). g$ x
33
@@ -98,7 +98,7 @@ cata f = c
98
where c x= f.map c. project$ x
99
100
||| Prepromorphism. Fold a structure while applying a natural transformation at each step.
101
-prepro: (Recursivef t,Corecursivef t,Basea f)=> (f t-> f t)-> (f a-> a)-> t-> a
+prepro: (Recursivef t,Corecursivef t)=> (f t-> f t)-> (f a-> a)-> t-> a
102
prepro e f= c
103
where c x= f.map (c. (cata (embed. e))). project$ x
104
