No title

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
data AmbVal = StringVal String
            | CharVal Char
            | IntVal Integer
            | FloatVal Double
            | BoolVal Bool
            | SList [String]
            | CList [Char]
            | IList [Integer]
            | FList [Double]
            | EList [Void]
            | ListVal [AmbVal] deriving (Eq)

fromJustAmbVal :: Maybe (AmbVal -> Maybe AmbVal) -> (AmbVal -> Bool)
fromJustAmbVal m = case m of
  Just (x -> Just BoolVal y) -> (x -> y)
  Just (_ -> Just _)         -> undefined
  Just (_ -> Nothing _)      -> undefined
  Nothing _                  -> undefined