blob: eea6f10e791a776760b9b83b5245e1da7715abae (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
module ShouldSucceed where
data OL a = MkOL [a]
data FG a b = MkFG (OL (a,b))
data AFE n a b = MkAFE (OL (n,(FG a b)))
--ranOAL :: OL (a,v) -> [a]
ranOAL :: OL (a,v) -> [v]
ranOAL (MkOL xs) = mAp sNd xs
mAp f [] = []
mAp f (x:xs) = (f x) : mAp f xs
sNd (f,s) = s
ranAFE :: AFE n a b -> [FG a b] -- ?
ranAFE (MkAFE nfs) = ranOAL nfs
|
