clash-lib-0.2.1: src/CLaSH/Core/DataCon.hs-boot

{-# LANGUAGE MultiParamTypeClasses #-}
module CLaSH.Core.DataCon where

import                Control.DeepSeq
import                Unbound.LocallyNameless

import {-# SOURCE #-} CLaSH.Core.Term         (Term)
import {-# SOURCE #-} CLaSH.Core.Type         (Type)

data DataCon

instance Eq    DataCon
instance Ord   DataCon
instance Rep   DataCon
instance Show  DataCon
instance Alpha DataCon
instance Subst Type DataCon
instance Subst Term DataCon
instance NFData DataCon