Safe Haskell | None |
---|---|
Language | Haskell2010 |
- class TMap q xs where
Documentation
>>>
:set -XDataKinds
>>>
:set -XFlexibleContexts
>>>
:set -XGADTs
>>>
:set -XRankNTypes
>>>
:set -XScopedTypeVariables
>>>
import GHC.TypeLits
>>>
import Data.List
Safe Haskell | None |
---|---|
Language | Haskell2010 |
>>>
:set -XDataKinds
>>>
:set -XFlexibleContexts
>>>
:set -XGADTs
>>>
:set -XRankNTypes
>>>
:set -XScopedTypeVariables
>>>
import GHC.TypeLits
>>>
import Data.List