Language.Haskell.Liquid.WiredIn

Documentation

propTyCon :: TyCon

LH Primitive TyCons ----------------------------------------------

hpropTyCon :: TyCon

LH Primitive TyCons ----------------------------------------------

propType :: Reftable r => RRType r

LH Primitive Types ----------------------------------------------

maxArity :: Arity

wiredTyCons :: [(TyCon, TyConP)]

wiredDataCons :: [(DataCon, Located DataConP)]

wiredTyDataCons :: ([(TyCon, TyConP)], [(DataCon, Located DataConP)])

listTyDataCons :: ([(TyCon, TyConP)], [(DataCon, DataConP)])

tupleTyDataCons :: Int -> ([(TyCon, TyConP)], [(DataCon, DataConP)])

pdVarReft :: PVar t -> UReft Reft

mkps :: [Symbol] -> [t] -> [(Symbol, Expr)] -> [PVar t]

mkps_ :: [Symbol] -> [t] -> [(Symbol, Expr)] -> [(t, Symbol, Expr)] -> [PVar t] -> [PVar t]