Adam Gundry adamgundry
adamgundry
/ RuntimeTypes.hs
Created
October 6, 2016 16:34
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| {-# LANGUAGE AllowAmbiguousTypes #-} | |
| {-# LANGUAGE FlexibleInstances #-} | |
| {-# LANGUAGE PatternSynonyms #-} | |
| {-# LANGUAGE RankNTypes #-} | |
| {-# LANGUAGE ScopedTypeVariables #-} | |
| {-# LANGUAGE TypeApplications #-} | |
| {-# LANGUAGE TypeSynonymInstances #-} | |
| {-# LANGUAGE TypeInType #-} | |
| {-# LANGUAGE ViewPatterns #-} | |
| module RuntimeTypes where |
adamgundry
/ GenericHasField.hs
Created
August 13, 2016 09:44
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| {-# LANGUAGE AllowAmbiguousTypes | |
| , DataKinds | |
| , DeriveGeneric | |
| , DuplicateRecordFields | |
| , FlexibleContexts | |
| , FlexibleInstances | |
| , KindSignatures | |
| , MultiParamTypeClasses | |
| , ScopedTypeVariables | |
| , TypeApplications |
adamgundry
/ AnonRecords.hs
Created
April 26, 2016 12:05
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| {-# LANGUAGE DataKinds, FlexibleInstances, FunctionalDependencies, | |
| KindSignatures, MagicHash, MultiParamTypeClasses #-} | |
| import GHC.TypeLits | |
| import GHC.Exts | |
| class HasField (x :: Symbol) r a | x r -> a where | |
| getField :: Proxy# x -> r -> a | |
| data Record2 (n1 :: Symbol) v1 (n2 :: Symbol) v2 = |
NewerOlder