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 Weak a :: Type

The weakened type for some type.

Methods

weaken :: a -> Weak a

Weaken some a to its associated weak type Weaken a.

Instances

Weaken Int16

Defined in Strongweak.Weaken

Associated Types

type Weak Int16

Methods

weaken :: Int16 -> Weak Int16

Weaken Int32

Defined in Strongweak.Weaken

Associated Types

type Weak Int32

Methods

weaken :: Int32 -> Weak Int32

Weaken Int64

Defined in Strongweak.Weaken

Associated Types

type Weak Int64

Methods

weaken :: Int64 -> Weak Int64

Weaken Int8

Defined in Strongweak.Weaken

Associated Types

type Weak Int8

Methods

weaken :: Int8 -> Weak Int8

Weaken Word16

Defined in Strongweak.Weaken

Associated Types

type Weak Word16

Methods

weaken :: Word16 -> Weak Word16

Weaken Word32

Defined in Strongweak.Weaken

Associated Types

type Weak Word32

Methods

weaken :: Word32 -> Weak Word32

Weaken Word64

Defined in Strongweak.Weaken

Associated Types

type Weak Word64

Methods

weaken :: Word64 -> Weak Word64

Weaken Word8

Defined in Strongweak.Weaken

Associated Types

type Weak Word8

Methods

weaken :: Word8 -> Weak Word8

Weaken (Identity a)

Strip wrapper.

Defined in Strongweak.Weaken

Associated Types

type Weak (Identity a)

Methods

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

Weaken (NonEmpty a)

Weaken non-empty lists into plain lists.

Defined in Strongweak.Weaken

Associated Types

type Weak (NonEmpty a)

Methods

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

Weaken a => Weaken [a]

Decomposer. Weaken every element in a list.

Defined in Strongweak.Weaken

Associated Types

type Weak [a]

Methods

weaken :: [a] -> Weak [a]

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

Decomposer. Weaken either side of an Either.

Defined in Strongweak.Weaken

Associated Types

type Weak (Either a b)

Methods

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

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

Defined in Strongweak.Generic

Associated Types

type Weak (GenericallySW s w)

Methods

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

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

Decomposer. Weaken both elements of a tuple.

Defined in Strongweak.Weaken

Associated Types

type Weak (a, b)

Methods

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

Weaken (Const a b)

Strip wrapper.

Defined in Strongweak.Weaken

Associated Types

type Weak (Const a b)

Methods

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

Weaken (Refined p a)

Strip refined type refinement.

Defined in Strongweak.Weaken

Associated Types

type Weak (Refined p a)

Methods

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

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

Weaken sized vectors into plain lists.

Defined in Strongweak.Weaken

Associated Types

type Weak (Vector v n a)

Methods

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

Weaken (Refined1 p f a)

Strip refined functor type refinement.

Defined in Strongweak.Weaken

Associated Types

type Weak (Refined1 p f a)

Methods

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

liftWeakF :: Weaken a => (Weak 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 :: Type 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 = Weak a

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

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

Equations

SWDepth 0 a = a

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