FCI.Internal.Types

Core types. This module is internal and provides no guarantees about stability and safety of it's interface.

Documentation

type family Inst (c :: Constraint) = (t :: Type) | t -> c

Type family that maps constraint to it's first class representation - should be generally used instead of it's concrete result for consistency.

Instances

type Inst (Monad m)

Defined in FCI.Control.Monad

type Inst (Monad m) = Dict (Monad m)

type Inst (Functor f)

Defined in FCI.Data.Functor

type Inst (Functor f) = Dict (Functor f)

type Inst (Applicative f)

Defined in FCI.Control.Applicative

type Inst (Applicative f) = Dict (Applicative f)

data family Dict :: Constraint -> Type

Data family, instances of which are generated by TH for normal typeclasses (see mkInstRep). Do not write these by hand, instead, create new instance of Inst mapping to separate datatype when working on library.

Instances

data Dict (Monad m)

Defined in FCI.Control.Monad

data Dict (Monad m) = Monad {

• _Applicative :: Inst (Applicative m)
• (|>>=) :: forall a b. m a -> (a -> m b) -> m b
• (|>>) :: forall a b. m a -> m b -> m b
• _return :: forall a. a -> m a
• _fail :: forall a. String -> m a

}

data Dict (Functor f)

Defined in FCI.Data.Functor

data Dict (Functor f) = Functor {

• _fmap :: forall a b. (a -> b) -> f a -> f b
• (|<$) :: forall a b. a -> f b -> f a

}

data Dict (Applicative f)

Defined in FCI.Control.Applicative

data Dict (Applicative f) = Applicative {

• _Functor :: Inst (Functor f)
• _pure :: forall a. a -> f a
• (|<*>) :: forall a b. f (a -> b) -> f a -> f b
• _liftA2 :: forall a b c. (a -> b -> c) -> f a -> f b -> f c
• (|*>) :: forall a b. f a -> f b -> f b
• (|<*) :: forall a b. f a -> f b -> f a

}