strongweak

Safe Haskell	None
Language	GHC2021

Strongweak.Weaken

Synopsis

class Weaken a where
- type Weakened a
- weaken :: a -> Weakened a
type family WeakenedN (n :: Natural) a where ...
class WeakenN (n :: Natural) a where
- weakenN :: a -> WeakenedN n a
liftWeakF :: Weaken a => (Weakened a -> b) -> a -> b
newtype SWCoercibly a = SWCoercibly {
- unSWCoercibly :: a
}

Documentation

class Weaken a where Source #

Weaken some a, relaxing certain invariants.

See Strongweak for class design notes and laws.

Associated Types

type Weakened a Source #

The weakened type for some type.

Methods

weaken :: a -> Weakened a Source #

Weaken some a to its associated weak type Weakened a.

Instances

Instances details

Weaken Int16 Source #

Instance details

Defined in Strongweak.Weaken

Associated Types

type Weakened Int16
Instance details Defined in Strongweak.Weaken type Weakened Int16 = Integer

Methods

weaken :: Int16 -> Weakened Int16 Source #

Weaken Int32 Source #

Instance details

Defined in Strongweak.Weaken

Associated Types

type Weakened Int32
Instance details Defined in Strongweak.Weaken type Weakened Int32 = Integer

Methods

weaken :: Int32 -> Weakened Int32 Source #

Weaken Int64 Source #

Instance details

Defined in Strongweak.Weaken

Associated Types

type Weakened Int64
Instance details Defined in Strongweak.Weaken type Weakened Int64 = Integer

Methods

weaken :: Int64 -> Weakened Int64 Source #

Weaken Int8 Source #

Instance details

Defined in Strongweak.Weaken

Associated Types

type Weakened Int8
Instance details Defined in Strongweak.Weaken type Weakened Int8 = Integer

Methods

weaken :: Int8 -> Weakened Int8 Source #

Weaken Word16 Source #

Instance details

Defined in Strongweak.Weaken

Associated Types

type Weakened Word16
Instance details Defined in Strongweak.Weaken type Weakened Word16 = Natural

Methods

weaken :: Word16 -> Weakened Word16 Source #

Weaken Word32 Source #

Instance details

Defined in Strongweak.Weaken

Associated Types

type Weakened Word32
Instance details Defined in Strongweak.Weaken type Weakened Word32 = Natural

Methods

weaken :: Word32 -> Weakened Word32 Source #

Weaken Word64 Source #

Instance details

Defined in Strongweak.Weaken

Associated Types

type Weakened Word64
Instance details Defined in Strongweak.Weaken type Weakened Word64 = Natural

Methods

weaken :: Word64 -> Weakened Word64 Source #

Weaken Word8 Source #

Instance details

Defined in Strongweak.Weaken

Associated Types

type Weakened Word8
Instance details Defined in Strongweak.Weaken type Weakened Word8 = Natural

Methods

weaken :: Word8 -> Weakened Word8 Source #

Weaken (Identity a) Source #

Instance details

Defined in Strongweak.Weaken

Associated Types

type Weakened (Identity a)
Instance details Defined in Strongweak.Weaken type Weakened (Identity a) = Weakened (SWCoercibly a)

Methods

weaken :: Identity a -> Weakened (Identity a) Source #

Weaken (NonEmpty a) Source #

Weaken non-empty lists into plain lists.

Instance details

Defined in Strongweak.Weaken

Associated Types

type Weakened (NonEmpty a)
Instance details Defined in Strongweak.Weaken type Weakened (NonEmpty a) = [a]

Methods

weaken :: NonEmpty a -> Weakened (NonEmpty a) Source #

(Generic (f 'Strong), Generic (f 'Weak), GWeaken (Rep (f 'Strong)) (Rep (f 'Weak))) => Weaken (GenericallySW0 f) Source #

Instance details

Defined in Strongweak.Generic

Associated Types

type Weakened (GenericallySW0 f)
Instance details Defined in Strongweak.Generic type Weakened (GenericallySW0 f) = f 'Weak

Methods

weaken :: GenericallySW0 f -> Weakened (GenericallySW0 f) Source #

Weaken (SWCoercibly a) Source #

Instance details

Defined in Strongweak.Weaken

Associated Types

type Weakened (SWCoercibly a)
Instance details Defined in Strongweak.Weaken type Weakened (SWCoercibly a) = a

Methods

weaken :: SWCoercibly a -> Weakened (SWCoercibly a) Source #

Weaken a => Weaken [a] Source #

Decomposer. Weaken every element in a list.

Instance details

Defined in Strongweak.Weaken

Associated Types

type Weakened [a]
Instance details Defined in Strongweak.Weaken type Weakened [a] = [Weakened a]

Methods

weaken :: [a] -> Weakened [a] Source #

(Weaken a, Weaken b) => Weaken (Either a b) Source #

Decomposer. Weaken either side of an Either.

Instance details

Defined in Strongweak.Weaken

Associated Types

type Weakened (Either a b)
Instance details Defined in Strongweak.Weaken type Weakened (Either a b) = Either (Weakened a) (Weakened b)

Methods

weaken :: Either a b -> Weakened (Either a b) Source #

WeakenN n a => Weaken (SWChain n a) Source #

Instance details

Defined in Strongweak.Chain

Associated Types

type Weakened (SWChain n a)
Instance details Defined in Strongweak.Chain type Weakened (SWChain n a) = WeakenedN n a

Methods

weaken :: SWChain n a -> Weakened (SWChain n a) Source #

(Generic s, Generic w, GWeaken (Rep s) (Rep w)) => Weaken (GenericallySW s w) Source #

Instance details

Defined in Strongweak.Generic

Associated Types

type Weakened (GenericallySW s w)
Instance details Defined in Strongweak.Generic type Weakened (GenericallySW s w) = w

Methods

weaken :: GenericallySW s w -> Weakened (GenericallySW s w) Source #

(Weaken a, Weaken b) => Weaken (a, b) Source #

Decomposer. Weaken both elements of a tuple.

Instance details

Defined in Strongweak.Weaken

Associated Types

type Weakened (a, b)
Instance details Defined in Strongweak.Weaken type Weakened (a, b) = (Weakened a, Weakened b)

Methods

weaken :: (a, b) -> Weakened (a, b) Source #

Weaken (Const a b) Source #

Instance details

Defined in Strongweak.Weaken

Associated Types

type Weakened (Const a b)
Instance details Defined in Strongweak.Weaken type Weakened (Const a b) = Weakened (SWCoercibly a)

Methods

weaken :: Const a b -> Weakened (Const a b) Source #

Weaken (Refined p a) Source #

Strip refined type refinement.

Instance details

Defined in Strongweak.Weaken

Associated Types

type Weakened (Refined p a)
Instance details Defined in Strongweak.Weaken type Weakened (Refined p a) = a

Methods

weaken :: Refined p a -> Weakened (Refined p a) Source #

Vector v a => Weaken (Vector v n a) Source #

Weaken sized vectors into plain lists.

Instance details

Defined in Strongweak.Weaken

Associated Types

type Weakened (Vector v n a)
Instance details Defined in Strongweak.Weaken type Weakened (Vector v n a) = [a]

Methods

weaken :: Vector v n a -> Weakened (Vector v n a) Source #

Weaken (Refined1 p f a) Source #

Strip refined functor type refinement.

Instance details

Defined in Strongweak.Weaken

Associated Types

type Weakened (Refined1 p f a)
Instance details Defined in Strongweak.Weaken type Weakened (Refined1 p f a) = f a

Methods

weaken :: Refined1 p f a -> Weakened (Refined1 p f a) Source #

type family WeakenedN (n :: Natural) a where ... Source #

The type of a after weakening n times.

Equations

WeakenedN 0 a = a
WeakenedN n a = Weakened (WeakenedN (n - 1) a)

class WeakenN (n :: Natural) a where Source #

Methods

weakenN :: a -> WeakenedN n a Source #

Instances

Instances details

(Weaken a, WeakenN (n - 1) (Weakened a)) => WeakenN n a Source #	Inductive case. `n /= 0`, else this explodes.
Instance details Defined in Strongweak.Weaken Methods weakenN :: a -> WeakenedN n a Source #
WeakenN 0 a Source #	Zero case: return the value as-is.
Instance details Defined in Strongweak.Weaken Methods weakenN :: a -> WeakenedN 0 a Source #

liftWeakF :: Weaken a => (Weakened a -> b) -> a -> b Source #

Lift a function on a weak type to the associated strong type by weakening first.

newtype SWCoercibly a Source #

A "via type" newtype for defining strongweak instances for zero-invariant, coercible newtypes.

Use like so:

deriving Weaken via SWCoercibly a

Or standalone:

via SWCoercibly a instance Weaken (Identity a)

Note that usage of this incurs UndecidableInstances. That's life. You can write the trivial instances this generates yourself if you so wish.

Constructors

SWCoercibly
Fields unSWCoercibly :: a

Instances

Instances details

Strengthen (SWCoercibly a) Source #

Instance details

Defined in Strongweak.Strengthen

Methods

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

UnsafeStrengthen (SWCoercibly a) Source #

Instance details

Defined in Strongweak.Strengthen.Unsafe

Methods

unsafeStrengthen :: Weakened (SWCoercibly a) -> SWCoercibly a Source #

Weaken (SWCoercibly a) Source #

Instance details

Defined in Strongweak.Weaken

Associated Types

type Weakened (SWCoercibly a)
Instance details Defined in Strongweak.Weaken type Weakened (SWCoercibly a) = a

Methods

weaken :: SWCoercibly a -> Weakened (SWCoercibly a) Source #

type Weakened (SWCoercibly a) Source #

Instance details

Defined in Strongweak.Weaken

type Weakened (SWCoercibly a) = a