Lines Matching refs:Cxt
195 { datatypeContext :: Cxt -- ^ Data type context (deprecated)
225 , constructorContext :: Cxt -- ^ Constructor constraints
693 normalizeDataD :: Cxt -> Name -> [TyVarBndrUnit] -> Maybe Kind
701 :: String -> Cxt -> Maybe [TyVarBndrUnit] -> Type -> Maybe Kind
713 :: Cxt -> Name -> [Type] -> Maybe Kind
720 normalize' :: Cxt -> Name -> [TyVarBndrUnit] -> [Type] -> Maybe Kind
770 Cxt {- ^ Datatype context -} ->
860 -> Cxt
1021 Cxt {- ^ Constructor context -} ->
1141 -> (Map Name Name, Cxt)
1142 -> (Map Name Name, Cxt)
1145 go :: (Map Name Name, Cxt) -> (Map Name Name, Cxt)
1211 (Map Name Name, Cxt)
1244 (Map Name Name, Cxt)
1433 uncurryType :: Type -> ([TyVarBndrSpec], Cxt, NonEmptySnoc Type)
1448 uncurryKind :: Kind -> ([TyVarBndrSpec], Cxt, NonEmptySnoc Kind)
1460 curryType :: [TyVarBndrSpec] -> Cxt -> [Type] -> Type -> Type