Skip to content

Instantly share code, notes, and snippets.

@adituv
Last active August 29, 2015 14:15
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save adituv/43f4c0a1789b70e0fe9a to your computer and use it in GitHub Desktop.
Save adituv/43f4c0a1789b70e0fe9a to your computer and use it in GitHub Desktop.
Qualified Record Pun
{-# LANGUAGE NamedFieldPuns #-}
module Main where
import qualified MyRecord as M
someFunction :: M.MyRecordType -> Int
someFunction (MyRecordType { M.someVal }) = M.someVal * M.someVal
main :: IO ()
main = print . someFunction . MyRecordType $ 3
module MyRecord where
data MyRecordType = MyRecordType { someVal :: Int }
@adituv
Copy link
Author

adituv commented Feb 19, 2015

For more information on record punning, see GHC user's guide, section 7.3.15

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment