Strongweak.Weaken

Weaken class

class Weaken a where

Weaken some a, relaxing certain invariants.

See Strongweak for class design notes and laws.

Associated Types

type Weakened a

The weakened type for some type.

Methods

weaken :: a -> Weakened a

Weaken some a to its associated weak type Weakened a.

Instances

Weaken Int16

Defined in Strongweak.Weaken

Associated Types

type Weakened Int16

Defined in Strongweak.Weaken

type Weakened Int16 = Integer

Methods

weaken :: Int16 -> Weakened Int16

Weaken Int32

Defined in Strongweak.Weaken

Associated Types

type Weakened Int32

Defined in Strongweak.Weaken

type Weakened Int32 = Integer

Methods

weaken :: Int32 -> Weakened Int32

Weaken Int64

Defined in Strongweak.Weaken

Associated Types

type Weakened Int64

Defined in Strongweak.Weaken

type Weakened Int64 = Integer

Methods

weaken :: Int64 -> Weakened Int64

Weaken Int8

Defined in Strongweak.Weaken

Associated Types

type Weakened Int8

Defined in Strongweak.Weaken

type Weakened Int8 = Integer

Methods

weaken :: Int8 -> Weakened Int8

Weaken Word16

Defined in Strongweak.Weaken

Associated Types

type Weakened Word16

Defined in Strongweak.Weaken

type Weakened Word16 = Natural

Methods

weaken :: Word16 -> Weakened Word16

Weaken Word32

Defined in Strongweak.Weaken

Associated Types

type Weakened Word32

Defined in Strongweak.Weaken

type Weakened Word32 = Natural

Methods

weaken :: Word32 -> Weakened Word32

Weaken Word64

Defined in Strongweak.Weaken

Associated Types

type Weakened Word64

Defined in Strongweak.Weaken

type Weakened Word64 = Natural

Methods

weaken :: Word64 -> Weakened Word64

Weaken Word8

Defined in Strongweak.Weaken

Associated Types

type Weakened Word8

Defined in Strongweak.Weaken

type Weakened Word8 = Natural

Methods

weaken :: Word8 -> Weakened Word8

Weaken (Identity a)

Strip wrapper.

Defined in Strongweak.Weaken

Associated Types

type Weakened (Identity a)

Defined in Strongweak.Weaken

type Weakened (Identity a) = a

Methods

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

Weaken (NonEmpty a)

Weaken non-empty lists into plain lists.

Defined in Strongweak.Weaken

Associated Types

type Weakened (NonEmpty a)

Defined in Strongweak.Weaken

type Weakened (NonEmpty a) = [a]

Methods

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

Weaken a => Weaken [a]

Decomposer. Weaken every element in a list.

Defined in Strongweak.Weaken

Associated Types

type Weakened [a]

Defined in Strongweak.Weaken

type Weakened [a] = [Weakened a]

Methods

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

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

Decomposer. Weaken either side of an Either.

Defined in Strongweak.Weaken

Associated Types

type Weakened (Either a b)

Defined in Strongweak.Weaken

type Weakened (Either a b) = Either (Weakened a) (Weakened b)

Methods

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

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

Defined in Strongweak.Generic

Associated Types

type Weakened (GenericallySW s w)

Defined in Strongweak.Generic

type Weakened (GenericallySW s w) = w

Methods

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

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

Decomposer. Weaken both elements of a tuple.

Defined in Strongweak.Weaken

Associated Types

type Weakened (a, b)

Defined in Strongweak.Weaken

type Weakened (a, b) = (Weakened a, Weakened b)

Methods

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

Weaken (Const a b)

Strip wrapper.

Defined in Strongweak.Weaken

Associated Types

type Weakened (Const a b)

Defined in Strongweak.Weaken

type Weakened (Const a b) = a

Methods

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

Weaken (Refined p a)

Strip refined type refinement.

Defined in Strongweak.Weaken

Associated Types

type Weakened (Refined p a)

Defined in Strongweak.Weaken

type Weakened (Refined p a) = a

Methods

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

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

Weaken sized vectors into plain lists.

Defined in Strongweak.Weaken

Associated Types

type Weakened (Vector v n a)

Defined in Strongweak.Weaken

type Weakened (Vector v n a) = [a]

Methods

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

Weaken (Refined1 p f a)

Strip refined functor type refinement.

Defined in Strongweak.Weaken

Associated Types

type Weakened (Refined1 p f a)

Defined in Strongweak.Weaken

type Weakened (Refined1 p f a) = f a

Methods

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

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

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

Strength switch helper

data Strength

Strength enumeration: is it strong, or weak?

Primarily interesting at the type level (using DataKinds).

Constructors

Strong

Weak

type family SW (s :: Strength) a where ...

Get either the strong or weak representation of a type, depending on the type-level "switch" provided.

This is intended to be used in data types that take a Strength type. Define your type using strong fields wrapped in SW s. You then get the weak representation for free, using the same definition.

data A (s :: Strength) = A
  { a1 :: SW s Word8
  , a2 :: String }

Equations

SW 'Strong a = a

SW 'Weak a = Weakened a

type family SWDepth (n :: Natural) a where ...

Track multiple levels of weakening. Silly thought I had, don't think it's useful.

Equations

SWDepth 0 a = a

SWDepth n a = Weakened (SWDepth (n - 1) a)