Data.Diverse.CaseTypeable

Documentation

newtype CaseTypeable r xs

This handler stores a polymorphic function for all Typeables.

let y = pick (5 :: Int) :: Which '[Int, Bool]
switch y (CaseTypeable (show . typeRep . (pure @Proxy))) `shouldBe` Int

let x = (5 :: Int) ./ False ./ 'X' ./ Just 'O' ./ (6 :: Int) ./ Just 'A' ./ nul
afoldr (:) [] (forMany (CaseTypeable (show . typeRep . (pure @Proxy))) x) `shouldBe`
    ["Int", "Bool", "Char", "Maybe Char", "Int", "Maybe Char"]

Constructors

CaseTypeable (forall x. Typeable x => x -> r)

Instances

Reiterate (CaseTypeable r) xs

Methods

reiterate :: CaseTypeable r xs -> CaseTypeable r (Tail Type xs)

Typeable Type x => Case (CaseTypeable r) ((:) Type x xs)

Methods

case' :: CaseTypeable r ((Type ': x) xs) -> Head Type ((Type ': x) xs) -> CaseResult * Type (CaseTypeable r) (Head Type ((Type ': x) xs))

type CaseResult * Type (CaseTypeable r) x

type CaseResult * Type (CaseTypeable r) x = r