Data.Promotion.Prelude.Base
GHC.Base
type family (a :: [a]) :++ (a :: [a]) :: [a] where ...
type family Id (a :: a) :: a where ...
type family Const (a :: a) (a :: b) :: a where ...
type family AsTypeOf (a :: a) (a :: a) :: a where ...
type family Seq (a :: a) (a :: b) :: b where ...
data FoldrSym0 l
data FoldrSym1 l l
data FoldrSym2 l l l
type FoldrSym3 t t t
data MapSym0 l
data MapSym1 l l
type MapSym2 t t
data (:++$) l
data l :++$$ l
type t :++$$$ t
type OtherwiseSym0
data IdSym0 l
type IdSym1 t
data ConstSym0 l
data ConstSym1 l l
type ConstSym2 t t
data (:.$) l
data l :.$$ l
data (l :.$$$ l) l
type (t :.$$$$ t) t
data ($$)
data ($$$)
type a $$$$ b
data ($!$)
data ($!$$)
type a $!$$$ b
data FlipSym0 l
data FlipSym1 l l
data FlipSym2 l l l
type FlipSym3 t t t
data UntilSym0 l
data UntilSym1 l l
data UntilSym2 l l l
type UntilSym3 t t t
data AsTypeOfSym0 l
data AsTypeOfSym1 l l
type AsTypeOfSym2 t t
data SeqSym0 l
data SeqSym1 l l
type SeqSym2 t t