File: DWARF.hs

package info (click to toggle)
haskell-inspection-testing 0.6.2-1
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 208 kB
  • sloc: haskell: 2,053; makefile: 3
file content (18 lines) | stat: -rw-r--r-- 328 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
 
{-# LANGUAGE TemplateHaskell #-}
{-# OPTIONS_GHC -g #-}
module DWARF (main) where

import Test.Inspection
import Data.Maybe

lhs :: (a -> b) -> Maybe a -> Bool
lhs f x = isNothing (fmap f x)

rhs :: (a -> b) -> Maybe a -> Bool
rhs f Nothing = True
rhs f (Just _) = False

inspect $ 'lhs === 'rhs

main :: IO ()
main = return ()