binrep-instances
Safe HaskellNone
LanguageGHC2021

Binrep.Instances.Strongweak.Type.Thin

Orphan instances

Strengthen (Thin a) Source # 
Instance details

Methods

strengthen :: Weakened (Thin a) -> Either StrengthenFailure' (Thin a) #

Weaken (Thin a) Source # 
Instance details

Associated Types

type Weakened (Thin a) 
Instance details

Defined in Binrep.Instances.Strongweak.Type.Thin

type Weakened (Thin a) = Weakened (SWCoercibly a)

Methods

weaken :: Thin a -> Weakened (Thin a) #