binrep-instances
Safe HaskellNone
LanguageGHC2021

Binrep.Instances.Strongweak.Type.Magic

Description

Weaken Magic to (), to separate weak forms from binrep-land.

Orphan instances

Strengthen (Magic a) Source #

Strengthen the unit () to some Magic a.

Instance details

Methods

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

Weaken (Magic a) Source #

Weaken a Magic a to the unit ().

Instance details

Associated Types

type Weakened (Magic a) 
Instance details

Defined in Binrep.Instances.Strongweak.Type.Magic

type Weakened (Magic a) = ()

Methods

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