Documentation

isTypeOf :: forall b a. (Typeable a, Typeable b) => a -> Maybe (a :~: b) #

renameTable :: forall ref subj name. Ord ref => Set ref -> Set ref -> Lens' name ref -> Maybe (ref -> ref) -> name -> (name -> subj) -> (Set ref, subj) #