type-machine-0.1.0.0: src/TypeMachine/TH.hs

module TypeMachine.TH (type_, deriveIs, defineIs) where

import Language.Haskell.TH hiding (Type, reifyType)
import TypeMachine.TH.Is
import TypeMachine.TM (TM, runTM)
import TypeMachine.Type

-- | Entrypoint of TypeMachine. Create a new data type using a 'TM' computation
type_ :: String -> TM Type -> Q [Dec]
type_ newTyName t = do
    fRes <- runTM t
    let newType = fRes{name = mkName newTyName}
    return [typeToDec newType]