Searched defs:castOptic (Results 1 – 1 of 1) sorted by relevance
115 :: forall destKind srcKind is s t a b119 castOptic (Optic o) = Optic (cast o) function