safe-length-0.1.0.0: example/GoodTuple.hs
module Main where
import Safe.Length (safeLength)
import Data.Proxy (Proxy(..))
main :: IO ()
main = print $ safeLength (Proxy :: Proxy (Char, Char)) ('a', 'b')
module Main where
import Safe.Length (safeLength)
import Data.Proxy (Proxy(..))
main :: IO ()
main = print $ safeLength (Proxy :: Proxy (Char, Char)) ('a', 'b')