Test.Target.Util

Documentation

type Depth = Int

io :: MonadIO m => IO a -> m a

myTrace :: Show a => String -> a -> a

reft :: SpecType -> Reft

data HList a where

Constructors

Nil :: HList '[]

(:::) :: a -> HList bs -> HList (a ': bs)

Instances

AllHave * Show as => Show (HList as)

Methods

showsPrec :: Int -> HList as -> ShowS

show :: HList as -> String

showList :: [HList as] -> ShowS

type family Map (f :: a -> b) (xs :: [a]) :: [b] where ...

Equations

Map f '[] = '[]

Map f (x ': xs) = f x ': Map f xs

type family Constraints (cs :: [Constraint]) :: Constraint

Instances

type Constraints ([] Constraint)

type Constraints ([] Constraint) = ()

type Constraints ((:) Constraint c cs)

type Constraints ((:) Constraint c cs) = (c, Constraints cs)

type AllHave c xs = Constraints (Map c xs)

type family Args a where ...

Equations

Args (a -> b) = a ': Args b

Args a = '[]

type family Res a where ...

Equations

Res (a -> b) = Res b

Res a = a

makeDecl :: SEnv DataDecl -> Symbol -> Sort -> Command

deconSort :: Sort -> ([Sort], Sort)

safeFromJust :: String -> Maybe a -> a

applyPreds :: SpecType -> SpecType -> [(Symbol, SpecType)]

propPsToProp :: [(RPVar, SpecProp)] -> SpecProp -> SpecProp

propPToProp :: (RPVar, SpecProp) -> SpecProp -> SpecProp

splitEApp_maybe :: Expr -> Maybe (Symbol, [Expr])

stripQuals :: SpecType -> SpecType

fourth4 :: (t, t1, t2, t3) -> t3

getSpec :: [String] -> FilePath -> IO GhcSpec

runGhc :: [String] -> Ghc a -> IO a

loadModule :: FilePath -> Ghc ModSummary