packages feed

haskell-tools-refactor-0.4.1.1: examples/Refactor/GenerateExports/Normal_res.hs

{-# LANGUAGE TypeFamilies #-}
module Refactor.GenerateExports.Normal (function, TypeCtor(..), TypeClass(..), TypeFamily, DataFamily, c_exp) where

function :: Int -> Int
function a = a

data TypeCtor = DataCtor { recordName :: Int }

class TypeClass a where
  classFunction :: a -> a

type family TypeFamily a :: *

data family DataFamily a :: *

foreign import ccall "exp" c_exp :: Double -> Double