Safe Haskell	Safe-Inferred
Language	Haskell2010

Unison.Runtime.Referenced

Documentation

Constructors

WithRefs [Reference] [Reference] (t RefNum)
Plain (t Reference)

Instances details

(forall r. Show r => Show (t r)) => Show (Referenced t) Source #
Instance details Defined in Unison.Runtime.Referenced Methods showsPrec :: Int -> Referenced t -> ShowS # show :: Referenced t -> String # showList :: [Referenced t] -> ShowS #
(forall r. Eq r => Eq (t r)) => Eq (Referenced t) Source #
Instance details Defined in Unison.Runtime.Referenced Methods (==) :: Referenced t -> Referenced t -> Bool # (/=) :: Referenced t -> Referenced t -> Bool #
BuiltinForeign (Referenced Code) Source #
Instance details Defined in Unison.Runtime.Foreign Methods foreignName :: Tagged (Referenced Code) String Source # foreignRef :: Tagged (Referenced Code) Reference Source #
BuiltinForeign (Referenced Value) Source #
Instance details Defined in Unison.Runtime.Foreign Methods foreignName :: Tagged (Referenced Value) String Source # foreignRef :: Tagged (Referenced Value) Reference Source #

Minimal complete definition

Methods

overRefs :: (Bool -> r -> s) -> t r -> t s Source #

foldMapRefs :: Monoid m => (Bool -> r -> m) -> t r -> m Source #

traverseRefs :: Applicative f => (Bool -> r -> f s) -> t r -> f (t s) Source #

Instances details

Referential Referent' Source #
Instance details Defined in Unison.Runtime.Referenced Methods overRefs :: (Bool -> r -> s) -> Referent' r -> Referent' s Source # foldMapRefs :: Monoid m => (Bool -> r -> m) -> Referent' r -> m Source # traverseRefs :: Applicative f => (Bool -> r -> f s) -> Referent' r -> f (Referent' s) Source #
Referential BLit Source #
Instance details Defined in Unison.Runtime.ANF Methods overRefs :: (Bool -> r -> s) -> BLit r -> BLit s Source # foldMapRefs :: Monoid m => (Bool -> r -> m) -> BLit r -> m Source # traverseRefs :: Applicative f => (Bool -> r -> f s) -> BLit r -> f (BLit s) Source #
Referential Code Source #
Instance details Defined in Unison.Runtime.ANF Methods overRefs :: (Bool -> r -> s) -> Code r -> Code s Source # foldMapRefs :: Monoid m => (Bool -> r -> m) -> Code r -> m Source # traverseRefs :: Applicative f => (Bool -> r -> f s) -> Code r -> f (Code s) Source #
Referential Cont Source #
Instance details Defined in Unison.Runtime.ANF Methods overRefs :: (Bool -> r -> s) -> Cont r -> Cont s Source # foldMapRefs :: Monoid m => (Bool -> r -> m) -> Cont r -> m Source # traverseRefs :: Applicative f => (Bool -> r -> f s) -> Cont r -> f (Cont s) Source #
Referential Value Source #
Instance details Defined in Unison.Runtime.ANF Methods overRefs :: (Bool -> r -> s) -> Value r -> Value s Source # foldMapRefs :: Monoid m => (Bool -> r -> m) -> Value r -> m Source # traverseRefs :: Applicative f => (Bool -> r -> f s) -> Value r -> f (Value s) Source #

Constructors

Instances details

Show RefNum Source #
Instance details Defined in Unison.Runtime.Referenced Methods showsPrec :: Int -> RefNum -> ShowS # show :: RefNum -> String # showList :: [RefNum] -> ShowS #
Eq RefNum Source #
Instance details Defined in Unison.Runtime.Referenced Methods (==) :: RefNum -> RefNum -> Bool # (/=) :: RefNum -> RefNum -> Bool #
Ord RefNum Source #
Instance details Defined in Unison.Runtime.Referenced Methods compare :: RefNum -> RefNum -> Ordering # (<) :: RefNum -> RefNum -> Bool # (<=) :: RefNum -> RefNum -> Bool # (>) :: RefNum -> RefNum -> Bool # (>=) :: RefNum -> RefNum -> Bool # max :: RefNum -> RefNum -> RefNum # min :: RefNum -> RefNum -> RefNum #
Hashable RefNum Source #
Instance details Defined in Unison.Runtime.Referenced Methods hashWithSalt :: Int -> RefNum -> Int # hash :: RefNum -> Int #

Constructors

CST
Fields canon :: Canonicalizer Reference _tyNums :: CanonMap Reference RefNum _tmNums :: CanonMap Reference RefNum _tys :: Seq Reference _tms :: Seq Reference