Documentation

fromStore :: SingKind k => Store (Demote k) r -> Travel (Indiscrete :: k -> k -> Type) r Source #

toStore :: SingKind k => Travel (Indiscrete :: k -> k -> Type) r -> Store (Demote k) r Source #