Lines Matching refs:Cxt
188 { datatypeContext :: Cxt -- ^ Data type context (deprecated)
218 , constructorContext :: Cxt -- ^ Constructor constraints
686 normalizeDataD :: Cxt -> Name -> [TyVarBndr] -> Maybe Kind
694 :: String -> Cxt -> Maybe [TyVarBndr] -> Type -> Maybe Kind
706 :: Cxt -> Name -> [Type] -> Maybe Kind
713 normalize' :: Cxt -> Name -> [TyVarBndr] -> [Type] -> Maybe Kind
771 Cxt {- ^ Datatype context -} ->
861 -> Cxt
1022 Cxt {- ^ Constructor context -} ->
1142 -> (Map Name Name, Cxt)
1143 -> (Map Name Name, Cxt)
1146 go :: (Map Name Name, Cxt) -> (Map Name Name, Cxt)
1213 (Map Name Name, Cxt)
1246 (Map Name Name, Cxt)
1436 uncurryType :: Type -> ([TyVarBndr], Cxt, NonEmptySnoc Type)
1451 uncurryKind :: Kind -> ([TyVarBndr], Cxt, NonEmptySnoc Kind)
1463 curryType :: [TyVarBndr] -> Cxt -> [Type] -> Type -> Type