Fcf.Data.Common

Common data types: tuples, Either, Maybe.

Pairs

data Uncurry :: (a -> b -> Exp c) -> (a, b) -> Exp c

Instances

type Eval (Uncurry f ((,) x y) :: a2 -> Type)

Defined in Fcf.Data.Common

type Eval (Uncurry f ((,) x y) :: a2 -> Type) = Eval (f x y)

data Fst :: (a, b) -> Exp a

Instances

type Eval (Fst ((,) a2 _b) :: a1 -> Type)

Defined in Fcf.Data.Common

type Eval (Fst ((,) a2 _b) :: a1 -> Type) = a2

data Snd :: (a, b) -> Exp b

Instances

type Eval (Snd ((,) _a b) :: a1 -> Type)

Defined in Fcf.Data.Common

type Eval (Snd ((,) _a b) :: a1 -> Type) = b

data (***) :: (b -> Exp c) -> (b' -> Exp c') -> (b, b') -> Exp (c, c') infixr 3

Equivalent to Bimap for pairs.

Instances

type Eval ((f *** f') ((,) b2 b'2) :: (k2, k1) -> Type)

Defined in Fcf.Data.Common

type Eval ((f *** f') ((,) b2 b'2) :: (k2, k1) -> Type) = (,) (Eval (f b2)) (Eval (f' b'2))

Either

data UnEither :: (a -> Exp c) -> (b -> Exp c) -> Either a b -> Exp c

Instances

type Eval (UnEither f g (Right y :: Either a2 b) :: a1 -> Type)

Defined in Fcf.Data.Common

type Eval (UnEither f g (Right y :: Either a2 b) :: a1 -> Type) = Eval (g y)

type Eval (UnEither f g (Left x :: Either a2 b) :: a1 -> Type)

Defined in Fcf.Data.Common

type Eval (UnEither f g (Left x :: Either a2 b) :: a1 -> Type) = Eval (f x)

data IsLeft :: Either a b -> Exp Bool

Instances

type Eval (IsLeft (Right _a :: Either a b) :: Bool -> Type)

Defined in Fcf.Data.Common

type Eval (IsLeft (Right _a :: Either a b) :: Bool -> Type) = False

type Eval (IsLeft (Left _a :: Either a b) :: Bool -> Type)

Defined in Fcf.Data.Common

type Eval (IsLeft (Left _a :: Either a b) :: Bool -> Type) = True

data IsRight :: Either a b -> Exp Bool

Instances

type Eval (IsRight (Right _a :: Either a b) :: Bool -> Type)

Defined in Fcf.Data.Common

type Eval (IsRight (Right _a :: Either a b) :: Bool -> Type) = True

type Eval (IsRight (Left _a :: Either a b) :: Bool -> Type)

Defined in Fcf.Data.Common

type Eval (IsRight (Left _a :: Either a b) :: Bool -> Type) = False

Maybe

data UnMaybe :: Exp b -> (a -> Exp b) -> Maybe a -> Exp b

Instances

type Eval (UnMaybe y f (Just x) :: a2 -> Type)

Defined in Fcf.Data.Common

type Eval (UnMaybe y f (Just x) :: a2 -> Type) = Eval (f x)

type Eval (UnMaybe y f (Nothing :: Maybe a1) :: a2 -> Type)

Defined in Fcf.Data.Common

type Eval (UnMaybe y f (Nothing :: Maybe a1) :: a2 -> Type) = Eval y

data FromMaybe :: k -> Maybe k -> Exp k

Instances

type Eval (FromMaybe _a (Just b) :: a -> Type)

Defined in Fcf.Data.Common

type Eval (FromMaybe _a (Just b) :: a -> Type) = b

type Eval (FromMaybe a2 (Nothing :: Maybe a1) :: a1 -> Type)

Defined in Fcf.Data.Common

type Eval (FromMaybe a2 (Nothing :: Maybe a1) :: a1 -> Type) = a2

data IsNothing :: Maybe a -> Exp Bool

Instances

type Eval (IsNothing (Nothing :: Maybe a) :: Bool -> Type)

Defined in Fcf.Data.Common

type Eval (IsNothing (Nothing :: Maybe a) :: Bool -> Type) = True

type Eval (IsNothing (Just _a) :: Bool -> Type)

Defined in Fcf.Data.Common

type Eval (IsNothing (Just _a) :: Bool -> Type) = False

data IsJust :: Maybe a -> Exp Bool

Instances

type Eval (IsJust (Nothing :: Maybe a) :: Bool -> Type)

Defined in Fcf.Data.Common

type Eval (IsJust (Nothing :: Maybe a) :: Bool -> Type) = False

type Eval (IsJust (Just _a) :: Bool -> Type)

Defined in Fcf.Data.Common

type Eval (IsJust (Just _a) :: Bool -> Type) = True