tfp-1.0.1: Type-level integers, booleans, lists using type families

Safe HaskellSafe
LanguageHaskell2010

Type.Base.Proxy

Documentation

data Proxy a Source #

Constructors

Proxy 
Instances
Functor Proxy Source # 
Instance details

Defined in Type.Base.Proxy

Methods

fmap :: (a -> b) -> Proxy a -> Proxy b #

(<$) :: a -> Proxy b -> Proxy a #

Applicative Proxy Source # 
Instance details

Defined in Type.Base.Proxy

Methods

pure :: a -> Proxy a #

(<*>) :: Proxy (a -> b) -> Proxy a -> Proxy b #

liftA2 :: (a -> b -> c) -> Proxy a -> Proxy b -> Proxy c #

(*>) :: Proxy a -> Proxy b -> Proxy b #

(<*) :: Proxy a -> Proxy b -> Proxy a #

Eq (Proxy a) Source # 
Instance details

Defined in Type.Base.Proxy

Methods

(==) :: Proxy a -> Proxy a -> Bool #

(/=) :: Proxy a -> Proxy a -> Bool #

Show a => Show (Proxy a) Source # 
Instance details

Defined in Type.Base.Proxy

Methods

showsPrec :: Int -> Proxy a -> ShowS #

show :: Proxy a -> String #

showList :: [Proxy a] -> ShowS #

class Show a where Source #

Methods

showsPrec :: Int -> Proxy a -> ShowS Source #

Instances
Natural a => Show (Un a) Source # 
Instance details

Defined in Type.Data.Num.Unary

Methods

showsPrec :: Int -> Proxy (Un a) -> ShowS Source #

Integer a => Show (Dec a) Source # 
Instance details

Defined in Type.Data.Num.Decimal.Number

Methods

showsPrec :: Int -> Proxy (Dec a) -> ShowS Source #