Modulefirst-class-families-0.8.2.0

Fcf.Data.Common

datadata (***) (a :: b -> Exp c) (d :: b' -> Exp c') (e :: (b, b')) (f :: (c, c'))

Instances1Eval

type Eval ((***) f f' '(b2, b'2)) = '(Eval (f b2), Eval (f' b'2))Defined in first-class-families-0.8.2.0 · Fcf.Data.Common

datadata FromMaybe (a :: k) (b :: Maybe k) (c :: k)

Instances2Eval

type Eval (FromMaybe _a ('Just b)) = bDefined in first-class-families-0.8.2.0 · Fcf.Data.Common
type Eval (FromMaybe a2 'Nothing) = a2Defined in first-class-families-0.8.2.0 · Fcf.Data.Common

datadata Fst (c :: (a, b)) (d :: a)

Instances1Eval

type Eval (Fst '(a2, _b)) = a2Defined in first-class-families-0.8.2.0 · Fcf.Data.Common

datadata IsJust (b :: Maybe a) (c :: Bool)

Instances2Eval

type Eval (IsJust 'Nothing) = 'FalseDefined in first-class-families-0.8.2.0 · Fcf.Data.Common
type Eval (IsJust ('Just _a)) = 'TrueDefined in first-class-families-0.8.2.0 · Fcf.Data.Common

datadata IsLeft (c :: Either a b) (d :: Bool)

Instances2Eval

type Eval (IsLeft ('Left _a)) = 'TrueDefined in first-class-families-0.8.2.0 · Fcf.Data.Common
type Eval (IsLeft ('Right _a)) = 'FalseDefined in first-class-families-0.8.2.0 · Fcf.Data.Common

datadata IsNothing (b :: Maybe a) (c :: Bool)

Instances2Eval

type Eval (IsNothing 'Nothing) = 'TrueDefined in first-class-families-0.8.2.0 · Fcf.Data.Common
type Eval (IsNothing ('Just _a)) = 'FalseDefined in first-class-families-0.8.2.0 · Fcf.Data.Common

datadata IsRight (c :: Either a b) (d :: Bool)

Instances2Eval

type Eval (IsRight ('Left _a)) = 'FalseDefined in first-class-families-0.8.2.0 · Fcf.Data.Common
type Eval (IsRight ('Right _a)) = 'TrueDefined in first-class-families-0.8.2.0 · Fcf.Data.Common

datadata Snd (c :: (a, b)) (d :: b)

Instances1Eval

type Eval (Snd '(_a, b)) = bDefined in first-class-families-0.8.2.0 · Fcf.Data.Common

datadata UnEither (d :: a -> Exp c) (e :: b -> Exp c) (f :: Either a b) (g :: c)

Instances2Eval

type Eval (UnEither f g ('Left x)) = Eval (f x)Defined in first-class-families-0.8.2.0 · Fcf.Data.Common
type Eval (UnEither f g ('Right y)) = Eval (g y)Defined in first-class-families-0.8.2.0 · Fcf.Data.Common

datadata UnMaybe (c :: Exp b) (d :: a -> Exp b) (e :: Maybe a) (f :: b)

Instances2Eval

type Eval (UnMaybe y f 'Nothing) = Eval yDefined in first-class-families-0.8.2.0 · Fcf.Data.Common
type Eval (UnMaybe y f ('Just x)) = Eval (f x)Defined in first-class-families-0.8.2.0 · Fcf.Data.Common

datadata Uncurry (d :: a -> b -> Exp c) (e :: (a, b)) (f :: c)

Instances1Eval

type Eval (Uncurry f '(x, y)) = Eval (f x y)Defined in first-class-families-0.8.2.0 · Fcf.Data.Common