readMatchImpl :: forall (row :: Row Type) (rec :: Row Type) (a :: Type) (rl :: RowList Type) (rl1 :: RowList Type) (rl2 :: Row Type). ReadForeignVariant rl row => RowToList row rl => RowToList rec rl1 => VariantMatchCases rl1 rl2 (F a) => Union rl2 () row => Proxy row -> Record rec -> Foreign -> F a

#select Source

select :: forall (label :: Symbol) (row' :: Row Type) (row :: Row Type). Cons label Case row' row => IsSymbol label => Proxy label -> Variant row

#select1 Source

select1 :: forall (label :: Symbol) (row' :: Row Type) (row :: Row Type) a. Cons label (Case1 a) row' row => IsSymbol label => Proxy label -> a -> Variant row

#select2 Source

select2 :: forall (label :: Symbol) (row' :: Row Type) (row :: Row Type) a b. Cons label (Case2 a b) row' row => IsSymbol label => Proxy label -> a -> b -> Variant row

#select3 Source

select3 :: forall (label :: Symbol) (row' :: Row Type) (row :: Row Type) a b c. Cons label (Case3 a b c) row' row => IsSymbol label => Proxy label -> a -> b -> c -> Variant row

#select4 Source

select4 :: forall (label :: Symbol) (row' :: Row Type) (row :: Row Type) a b c d. Cons label (Case4 a b c d) row' row => IsSymbol label => Proxy label -> a -> b -> c -> d -> Variant row

#uncase Source

uncase :: forall a. a -> Case -> a

#uncase1 Source

uncase1 :: forall a. Case1 a -> a

#uncase2 Source

uncase2 :: forall a b. Case2 a b -> a /\ b

#uncase3 Source

uncase3 :: forall a b c. Case3 a b c -> a /\ b /\ c

#uncase4 Source

uncase4 :: forall a b c d. Case4 a b c d -> a /\ b /\ c /\ d

#use Source

use :: forall a. a -> (Case -> F a)

#use1 Source

use1 :: forall a x. (a -> x) -> (Case1 a -> F x)

#use2 Source

use2 :: forall a b x. (a -> b -> x) -> (Case2 a b -> F x)

#use3 Source

use3 :: forall a b c x. (a -> b -> c -> x) -> (Case3 a b c -> F x)

#use4 Source

use4 :: forall a b c d x. (a -> b -> c -> d -> x) -> (Case4 a b c d -> F x)

#todo Source

todo :: forall a x. a -> (x -> F a)

Modules: Data.Text.Format.Org; Data.Text.Format.Org.Construct; Data.Text.Format.Org.Keyword; Data.Text.Format.Org.Parse.Ebnf; Data.Text.Format.Org.Path; Data.Text.Format.Org.Property; Data.Text.Format.Org.Render; Data.Text.Format.Org.Types; Yoga.Json.Extra