Cgm.Data.Super

Documentation

class Super a b where

Methods

super :: InjectionM' a b

Instances

Super Word Word64

Super Word8 Integer

Super Word8 Word

Super Word8 Word16

Super Word8 Word32

Super Word8 Word64

Super Word16 Word

Super Word16 Word32

Super Word16 Word64

Super Word32 Word

Super Word32 Word64

(RWordC w n, RWordC w' n) => Super (RWord w n) w'

Super a b => Super (Len u a) (Len u b)

up :: Super a b => a -> b

superSInc :: Super a b => a :>> b

narrowIntegral :: forall a b. (Integral a, Integral b, Bounded b) => a -> Maybe b

module Cgm.Data.Maybe

module Cgm.Control.InFunctor