Safe Haskell	Safe-Inferred
Language	Haskell2010

Unison.Runtime.ANF

Synopsis

minimizeCyclesOrCrash :: Var v => Term v a -> Term v a
pattern TVar :: Var v => v -> Term ANormalF v
pattern TLit :: Var v => Lit -> Term ANormalF v
pattern TBLit :: Var v => Lit -> Term ANormalF v
pattern TApp :: Var v => Func v -> [v] -> Term ANormalF v
pattern TApv :: Var v => v -> [v] -> Term ANormalF v
pattern TCom :: Var v => Reference -> [v] -> Term ANormalF v
pattern TCon :: Var v => Reference -> CTag -> [v] -> Term ANormalF v
pattern UFalse :: Var v => Term ANormalF v
pattern UTrue :: Var v => Term ANormalF v
pattern TKon :: Var v => v -> [v] -> Term ANormalF v
pattern TReq :: Var v => Reference -> CTag -> [v] -> Term ANormalF v
pattern TPrm :: Var v => POp -> [v] -> Term ANormalF v
pattern TFOp :: Var v => ForeignFunc -> [v] -> Term ANormalF v
pattern THnd :: Var v => [Reference] -> v -> Term ANormalF v -> Term ANormalF v
pattern TLet :: Var v => Direction Word16 -> v -> Mem -> Term ANormalF v -> Term ANormalF v -> Term ANormalF v
pattern TLetD :: Var v => v -> Mem -> Term ANormalF v -> Term ANormalF v -> Term ANormalF v
pattern TFrc :: Var v => v -> Term ANormalF v
pattern TLets :: Var v => Direction Word16 -> [v] -> [Mem] -> Term ANormalF v -> Term ANormalF v -> Term ANormalF v
pattern TName :: Var v => v -> Either Reference v -> [v] -> Term ANormalF v -> Term ANormalF v
pattern TBind :: Var v => Cte v -> ANormal v -> ANormal v
pattern TBinds :: Var v => [Cte v] -> ANormal v -> ANormal v
pattern TShift :: Var v => Reference -> v -> Term ANormalF v -> Term ANormalF v
pattern TMatch :: Var v => v -> Branched (Term ANormalF v) -> Term ANormalF v
data CompileExn = CE CallStack (Pretty ColorText)
internalBug :: HasCallStack => String -> a
data Mem
- = UN
- | BX
data Lit
- = I Int64
- | N Word64
- | F Double
- | T Text
- | C Char
- | LM Referent
- | LY Reference
data Cacheability
- = Cacheable
- | Uncacheable
data Direction a
- = Indirect a
- | Direct
data SuperNormal v = Lambda {
- conventions :: [Mem]
- bound :: ANormal v
}
arity :: SuperNormal v -> Int
data SuperGroup v = Rec {
- group :: [(v, SuperNormal v)]
- entry :: SuperNormal v
}
arities :: SuperGroup v -> [Int]
data POp
- = ADDI
- | SUBI
- | MULI
- | DIVI
- | SGNI
- | NEGI
- | MODI
- | POWI
- | SHLI
- | SHRI
- | ANDI
- | IORI
- | XORI
- | COMI
- | INCI
- | DECI
- | LEQI
- | LESI
- | EQLI
- | NEQI
- | TRNC
- | ADDN
- | SUBN
- | DRPN
- | MULN
- | DIVN
- | MODN
- | TZRO
- | LZRO
- | POPC
- | POWN
- | SHLN
- | SHRN
- | ANDN
- | IORN
- | XORN
- | COMN
- | INCN
- | DECN
- | LEQN
- | LESN
- | EQLN
- | NEQN
- | ADDF
- | SUBF
- | MULF
- | DIVF
- | MINF
- | MAXF
- | LEQF
- | LESF
- | EQLF
- | NEQF
- | POWF
- | EXPF
- | SQRT
- | LOGF
- | LOGB
- | ABSF
- | CEIL
- | FLOR
- | TRNF
- | RNDF
- | COSF
- | ACOS
- | COSH
- | ACSH
- | SINF
- | ASIN
- | SINH
- | ASNH
- | TANF
- | ATAN
- | TANH
- | ATNH
- | ATN2
- | CATT
- | TAKT
- | DRPT
- | SIZT
- | IXOT
- | UCNS
- | USNC
- | EQLT
- | LEQT
- | PAKT
- | UPKT
- | CATS
- | TAKS
- | DRPS
- | SIZS
- | CONS
- | SNOC
- | IDXS
- | BLDS
- | VWLS
- | VWRS
- | SPLL
- | SPLR
- | PAKB
- | UPKB
- | TAKB
- | DRPB
- | IXOB
- | IDXB
- | SIZB
- | FLTB
- | CATB
- | ITOF
- | NTOF
- | ITOT
- | NTOT
- | TTOI
- | TTON
- | TTOF
- | FTOT
- | CAST
- | FORK
- | EQLU
- | CMPU
- | LEQU
- | LESU
- | EROR
- | MISS
- | CACH
- | LKUP
- | LOAD
- | CVLD
- | SDBX
- | VALU
- | TLTT
- | PRNT
- | INFO
- | TRCE
- | DBTX
- | ATOM
- | TFRC
- | SDBL
- | SDBV
- | REFN
- | REFR
- | REFW
- | RCAS
- | RRFC
- | TIKR
- | NOTB
- | ANDB
- | IORB
close :: (Var v, Monoid a) => Set v -> Term v a -> Term v a
saturate :: (Var v, Monoid a) => Map ConstructorReference Int -> Term v a -> Term v a
float :: Var v => Monoid a => Map v Reference -> Term v a -> (Term v a, Map Reference Reference, [(Reference, Term v a)], [(Reference, Term v a)])
floatGroup :: Var v => Monoid a => Map v Reference -> [(v, Term v a)] -> ([(v, Id)], [(Reference, Term v a)], [(Reference, Term v a)])
lamLift :: Var v => Monoid a => Map v Reference -> Term v a -> (Term v a, Map Reference Reference, [(Reference, Term v a)], [(Reference, Term v a)])
lamLiftGroup :: Var v => Monoid a => Map v Reference -> [(v, Term v a)] -> ([(v, Id)], [(Reference, Term v a)], [(Reference, Term v a)])
litRef :: Lit -> Reference
inlineAlias :: Var v => Monoid a => Term v a -> Term v a
addDefaultCases :: Var v => Monoid a => Text -> Term v a -> Term v a
data ANormalF v e where
- ALet (Direction Word16) [Mem] e e
- AName (Either Reference v) [v] e
- ALit Lit
- ABLit Lit
- AMatch v (Branched e)
- AShift Reference e
- AHnd [Reference] v e
- AApp (Func v) [v]
- AFrc v
- AVar v
- pattern AApv :: v -> [v] -> ANormalF v e
- pattern ACom :: Reference -> [v] -> ANormalF v e
- pattern ACon :: Reference -> CTag -> [v] -> ANormalF v e
- pattern AKon :: v -> [v] -> ANormalF v e
- pattern AReq :: Reference -> CTag -> [v] -> ANormalF v e
- pattern APrm :: POp -> [v] -> ANormalF v e
- pattern AFOp :: ForeignFunc -> [v] -> ANormalF v e
type ANormal = Term ANormalF
data RTag
data CTag
newtype PackedTag = PackedTag Word64
class Tag t where
- rawTag :: t -> Word64
data GroupRef = GR Reference Word64
data Code = CodeRep (SuperGroup Symbol) Cacheability
type ValList = [Value]
data Value
- = Partial GroupRef ValList
- | Data Reference Word64 ValList
- | Cont ValList Cont
- | BLit BLit
data Cont
- = KE
- | Mark Word64 [Reference] (Map Reference Value) Cont
- | Push Word64 Word64 GroupRef Cont
data BLit
- = Text Text
- | List (Seq Value)
- | TmLink Referent
- | TyLink Reference
- | Bytes Bytes
- | Quote Value
- | Code Code
- | BArr ByteArray
- | Arr (Array Value)
- | Pos Word64
- | Neg Word64
- | Char Char
- | Float Double
packTags :: RTag -> CTag -> PackedTag
unpackTags :: PackedTag -> (RTag, CTag)
maskTags :: PackedTag -> Word64
type ANFM v = ReaderT (Set v) (State (Word64, Word16, [(v, SuperNormal v)]))
data Branched e where
- MatchIntegral (EnumMap Word64 e) (Maybe e)
- MatchText (Map Text e) (Maybe e)
- MatchRequest (Map Reference (EnumMap CTag ([Mem], e))) e
- MatchEmpty
- MatchData Reference (EnumMap CTag ([Mem], e)) (Maybe e)
- MatchSum (EnumMap Word64 ([Mem], e))
- MatchNumeric Reference (EnumMap Word64 e) (Maybe e)
- pattern MatchDataCover :: Reference -> EnumMap CTag ([Mem], e) -> Branched e
data Func v
- = FVar v
- | FComb !Reference
- | FCont v
- | FCon !Reference !CTag
- | FReq !Reference !CTag
- | FPrim (Either POp ForeignFunc)
data SGEqv v
- = NumDefns (SuperGroup v) (SuperGroup v)
- | DefnConventions (SuperNormal v) (SuperNormal v)
- | Subterms (ANormal v) (ANormal v)
equivocate :: Var v => SuperGroup v -> SuperGroup v -> Either (SGEqv v) ()
superNormalize :: Var v => Term v a -> SuperGroup v
anfTerm :: Var v => Term v a -> ANFM v (DNormal v)
codeGroup :: Code -> SuperGroup Symbol
valueTermLinks :: Value -> [Reference]
valueLinks :: Monoid a => (Bool -> Reference -> a) -> Value -> a
groupTermLinks :: Var v => SuperGroup v -> [Reference]
buildInlineMap :: Var v => Map Reference (SuperGroup v) -> Map Reference (Int, ANormal v)
inline :: Var v => Map Reference (Int, ANormal v) -> SuperGroup v -> SuperGroup v
foldGroup :: Monoid m => (SuperGroup Symbol -> m) -> Code -> m
foldGroupLinks :: (Monoid r, Var v) => (Bool -> Reference -> r) -> SuperGroup v -> r
overGroup :: (SuperGroup Symbol -> SuperGroup Symbol) -> Code -> Code
overGroupLinks :: Var v => (Bool -> Reference -> Reference) -> SuperGroup v -> SuperGroup v
traverseGroup :: Applicative f => (SuperGroup Symbol -> f (SuperGroup Symbol)) -> Code -> f Code
traverseGroupLinks :: (Applicative f, Var v) => (Bool -> Reference -> f Reference) -> SuperGroup v -> f (SuperGroup v)
normalLinks :: (Applicative f, Var v) => (Bool -> Reference -> f Reference) -> SuperNormal v -> f (SuperNormal v)
prettyGroup :: Var v => String -> SuperGroup v -> ShowS
prettySuperNormal :: Var v => Int -> SuperNormal v -> ShowS
prettyANF :: Var v => Bool -> Int -> ANormal v -> ShowS

Documentation

minimizeCyclesOrCrash :: Var v => Term v a -> Term v a Source #

pattern TVar :: Var v => v -> Term ANormalF v Source #

pattern TLit :: Var v => Lit -> Term ANormalF v Source #

pattern TBLit :: Var v => Lit -> Term ANormalF v Source #

pattern TApp :: Var v => Func v -> [v] -> Term ANormalF v Source #

pattern TApv :: Var v => v -> [v] -> Term ANormalF v Source #

pattern TCom :: Var v => Reference -> [v] -> Term ANormalF v Source #

pattern TCon :: Var v => Reference -> CTag -> [v] -> Term ANormalF v Source #

pattern UFalse :: Var v => Term ANormalF v Source #

pattern UTrue :: Var v => Term ANormalF v Source #

pattern TKon :: Var v => v -> [v] -> Term ANormalF v Source #

pattern TReq :: Var v => Reference -> CTag -> [v] -> Term ANormalF v Source #

pattern TPrm :: Var v => POp -> [v] -> Term ANormalF v Source #

pattern TFOp :: Var v => ForeignFunc -> [v] -> Term ANormalF v Source #

pattern THnd :: Var v => [Reference] -> v -> Term ANormalF v -> Term ANormalF v Source #

pattern TLet :: Var v => Direction Word16 -> v -> Mem -> Term ANormalF v -> Term ANormalF v -> Term ANormalF v Source #

pattern TLetD :: Var v => v -> Mem -> Term ANormalF v -> Term ANormalF v -> Term ANormalF v Source #

pattern TFrc :: Var v => v -> Term ANormalF v Source #

pattern TLets :: Var v => Direction Word16 -> [v] -> [Mem] -> Term ANormalF v -> Term ANormalF v -> Term ANormalF v Source #

pattern TName :: Var v => v -> Either Reference v -> [v] -> Term ANormalF v -> Term ANormalF v Source #

pattern TBind :: Var v => Cte v -> ANormal v -> ANormal v Source #

pattern TBinds :: Var v => [Cte v] -> ANormal v -> ANormal v Source #

pattern TShift :: Var v => Reference -> v -> Term ANormalF v -> Term ANormalF v Source #

pattern TMatch :: Var v => v -> Branched (Term ANormalF v) -> Term ANormalF v Source #

data CompileExn Source #

Constructors

CE CallStack (Pretty ColorText)

Instances

Instances details

Exception CompileExn Source #
Instance details Defined in Unison.Runtime.ANF Methods toException :: CompileExn -> SomeException # fromException :: SomeException -> Maybe CompileExn # displayException :: CompileExn -> String #
Show CompileExn Source #
Instance details Defined in Unison.Runtime.ANF Methods showsPrec :: Int -> CompileExn -> ShowS # show :: CompileExn -> String # showList :: [CompileExn] -> ShowS #

internalBug :: HasCallStack => String -> a Source #

data Mem Source #

Constructors

UN
BX

Instances

Instances details

Enum Mem Source #
Instance details Defined in Unison.Runtime.ANF Methods succ :: Mem -> Mem # pred :: Mem -> Mem # toEnum :: Int -> Mem # fromEnum :: Mem -> Int # enumFrom :: Mem -> [Mem] # enumFromThen :: Mem -> Mem -> [Mem] # enumFromTo :: Mem -> Mem -> [Mem] # enumFromThenTo :: Mem -> Mem -> Mem -> [Mem] #
Show Mem Source #
Instance details Defined in Unison.Runtime.ANF Methods showsPrec :: Int -> Mem -> ShowS # show :: Mem -> String # showList :: [Mem] -> ShowS #
Eq Mem Source #
Instance details Defined in Unison.Runtime.ANF Methods (==) :: Mem -> Mem -> Bool # (/=) :: Mem -> Mem -> Bool #
Ord Mem Source #
Instance details Defined in Unison.Runtime.ANF Methods compare :: Mem -> Mem -> Ordering # (<) :: Mem -> Mem -> Bool # (<=) :: Mem -> Mem -> Bool # (>) :: Mem -> Mem -> Bool # (>=) :: Mem -> Mem -> Bool # max :: Mem -> Mem -> Mem # min :: Mem -> Mem -> Mem #

data Lit Source #

Constructors

I Int64
N Word64
F Double
T Text
C Char
LM Referent
LY Reference

Instances

Instances details

Show Lit Source #
Instance details Defined in Unison.Runtime.ANF Methods showsPrec :: Int -> Lit -> ShowS # show :: Lit -> String # showList :: [Lit] -> ShowS #
Eq Lit Source #
Instance details Defined in Unison.Runtime.ANF Methods (==) :: Lit -> Lit -> Bool # (/=) :: Lit -> Lit -> Bool #

data Cacheability Source #

Whether the evaluation of a given definition is cacheable or not. i.e. it's a top-level pure value.

Constructors

Cacheable
Uncacheable

Instances

Instances details

Show Cacheability Source #
Instance details Defined in Unison.Runtime.ANF Methods showsPrec :: Int -> Cacheability -> ShowS # show :: Cacheability -> String # showList :: [Cacheability] -> ShowS #
Eq Cacheability Source #
Instance details Defined in Unison.Runtime.ANF Methods (==) :: Cacheability -> Cacheability -> Bool # (/=) :: Cacheability -> Cacheability -> Bool #

data Direction a Source #

Constructors

Indirect a
Direct

Instances

Instances details

Foldable Direction Source #
Instance details Defined in Unison.Runtime.ANF Methods fold :: Monoid m => Direction m -> m # foldMap :: Monoid m => (a -> m) -> Direction a -> m # foldMap' :: Monoid m => (a -> m) -> Direction a -> m # foldr :: (a -> b -> b) -> b -> Direction a -> b # foldr' :: (a -> b -> b) -> b -> Direction a -> b # foldl :: (b -> a -> b) -> b -> Direction a -> b # foldl' :: (b -> a -> b) -> b -> Direction a -> b # foldr1 :: (a -> a -> a) -> Direction a -> a # foldl1 :: (a -> a -> a) -> Direction a -> a # toList :: Direction a -> [a] # null :: Direction a -> Bool # length :: Direction a -> Int # elem :: Eq a => a -> Direction a -> Bool # maximum :: Ord a => Direction a -> a # minimum :: Ord a => Direction a -> a # sum :: Num a => Direction a -> a # product :: Num a => Direction a -> a #
Traversable Direction Source #
Instance details Defined in Unison.Runtime.ANF Methods traverse :: Applicative f => (a -> f b) -> Direction a -> f (Direction b) # sequenceA :: Applicative f => Direction (f a) -> f (Direction a) # mapM :: Monad m => (a -> m b) -> Direction a -> m (Direction b) # sequence :: Monad m => Direction (m a) -> m (Direction a) #
Functor Direction Source #
Instance details Defined in Unison.Runtime.ANF Methods fmap :: (a -> b) -> Direction a -> Direction b # (<$) :: a -> Direction b -> Direction a #
Semigroup a => Monoid (Direction a) Source #
Instance details Defined in Unison.Runtime.ANF Methods mempty :: Direction a # mappend :: Direction a -> Direction a -> Direction a # mconcat :: [Direction a] -> Direction a #
Semigroup a => Semigroup (Direction a) Source #
Instance details Defined in Unison.Runtime.ANF Methods (<>) :: Direction a -> Direction a -> Direction a # sconcat :: NonEmpty (Direction a) -> Direction a # stimes :: Integral b => b -> Direction a -> Direction a #
Show a => Show (Direction a) Source #
Instance details Defined in Unison.Runtime.ANF Methods showsPrec :: Int -> Direction a -> ShowS # show :: Direction a -> String # showList :: [Direction a] -> ShowS #
Eq a => Eq (Direction a) Source #
Instance details Defined in Unison.Runtime.ANF Methods (==) :: Direction a -> Direction a -> Bool # (/=) :: Direction a -> Direction a -> Bool #
Ord a => Ord (Direction a) Source #
Instance details Defined in Unison.Runtime.ANF Methods compare :: Direction a -> Direction a -> Ordering # (<) :: Direction a -> Direction a -> Bool # (<=) :: Direction a -> Direction a -> Bool # (>) :: Direction a -> Direction a -> Bool # (>=) :: Direction a -> Direction a -> Bool # max :: Direction a -> Direction a -> Direction a # min :: Direction a -> Direction a -> Direction a #

data SuperNormal v Source #

Constructors

Lambda
Fields conventions :: [Mem] bound :: ANormal v

Instances

Instances details

Show v => Show (SuperNormal v) Source #
Instance details Defined in Unison.Runtime.ANF Methods showsPrec :: Int -> SuperNormal v -> ShowS # show :: SuperNormal v -> String # showList :: [SuperNormal v] -> ShowS #
Var v => Eq (SuperNormal v) Source #
Instance details Defined in Unison.Runtime.ANF Methods (==) :: SuperNormal v -> SuperNormal v -> Bool # (/=) :: SuperNormal v -> SuperNormal v -> Bool #

arity :: SuperNormal v -> Int Source #

data SuperGroup v Source #

Constructors

Rec
Fields group :: [(v, SuperNormal v)] entry :: SuperNormal v

Instances

Instances details

Show v => Show (SuperGroup v) Source #
Instance details Defined in Unison.Runtime.ANF Methods showsPrec :: Int -> SuperGroup v -> ShowS # show :: SuperGroup v -> String # showList :: [SuperGroup v] -> ShowS #
Var v => Eq (SuperGroup v) Source #
Instance details Defined in Unison.Runtime.ANF Methods (==) :: SuperGroup v -> SuperGroup v -> Bool # (/=) :: SuperGroup v -> SuperGroup v -> Bool #

arities :: SuperGroup v -> [Int] Source #

data POp Source #

Constructors

ADDI
SUBI
MULI
DIVI
SGNI
NEGI
MODI
POWI
SHLI
SHRI
ANDI
IORI
XORI
COMI
INCI
DECI
LEQI
LESI
EQLI
NEQI
TRNC
ADDN
SUBN
DRPN
MULN
DIVN
MODN
TZRO
LZRO
POPC
POWN
SHLN
SHRN
ANDN
IORN
XORN
COMN
INCN
DECN
LEQN
LESN
EQLN
NEQN
ADDF
SUBF
MULF
DIVF
MINF
MAXF
LEQF
LESF
EQLF
NEQF
POWF
EXPF
SQRT
LOGF
LOGB
ABSF
CEIL
FLOR
TRNF
RNDF
COSF
ACOS
COSH
ACSH
SINF
ASIN
SINH
ASNH
TANF
ATAN
TANH
ATNH
ATN2
CATT
TAKT
DRPT
SIZT
IXOT
UCNS
USNC
EQLT
LEQT
PAKT
UPKT
CATS
TAKS
DRPS
SIZS
CONS
SNOC
IDXS
BLDS
VWLS
VWRS
SPLL
SPLR
PAKB
UPKB
TAKB
DRPB
IXOB
IDXB
SIZB
FLTB
CATB
ITOF
NTOF
ITOT
NTOT
TTOI
TTON
TTOF
FTOT
CAST
FORK
EQLU
CMPU
LEQU
LESU
EROR
MISS
CACH
LKUP
LOAD
CVLD
SDBX
VALU
TLTT
PRNT
INFO
TRCE
DBTX
ATOM
TFRC
SDBL
SDBV
REFN
REFR
REFW
RCAS
RRFC
TIKR
NOTB
ANDB
IORB

Instances

Instances details

Bounded POp Source #
Instance details Defined in Unison.Runtime.ANF Methods minBound :: POp # maxBound :: POp #
Enum POp Source #
Instance details Defined in Unison.Runtime.ANF Methods succ :: POp -> POp # pred :: POp -> POp # toEnum :: Int -> POp # fromEnum :: POp -> Int # enumFrom :: POp -> [POp] # enumFromThen :: POp -> POp -> [POp] # enumFromTo :: POp -> POp -> [POp] # enumFromThenTo :: POp -> POp -> POp -> [POp] #
Show POp Source #
Instance details Defined in Unison.Runtime.ANF Methods showsPrec :: Int -> POp -> ShowS # show :: POp -> String # showList :: [POp] -> ShowS #
Eq POp Source #
Instance details Defined in Unison.Runtime.ANF Methods (==) :: POp -> POp -> Bool # (/=) :: POp -> POp -> Bool #
Ord POp Source #
Instance details Defined in Unison.Runtime.ANF Methods compare :: POp -> POp -> Ordering # (<) :: POp -> POp -> Bool # (<=) :: POp -> POp -> Bool # (>) :: POp -> POp -> Bool # (>=) :: POp -> POp -> Bool # max :: POp -> POp -> POp # min :: POp -> POp -> POp #

close :: (Var v, Monoid a) => Set v -> Term v a -> Term v a Source #

saturate :: (Var v, Monoid a) => Map ConstructorReference Int -> Term v a -> Term v a Source #

float :: Var v => Monoid a => Map v Reference -> Term v a -> (Term v a, Map Reference Reference, [(Reference, Term v a)], [(Reference, Term v a)]) Source #

floatGroup :: Var v => Monoid a => Map v Reference -> [(v, Term v a)] -> ([(v, Id)], [(Reference, Term v a)], [(Reference, Term v a)]) Source #

lamLift :: Var v => Monoid a => Map v Reference -> Term v a -> (Term v a, Map Reference Reference, [(Reference, Term v a)], [(Reference, Term v a)]) Source #

lamLiftGroup :: Var v => Monoid a => Map v Reference -> [(v, Term v a)] -> ([(v, Id)], [(Reference, Term v a)], [(Reference, Term v a)]) Source #

litRef :: Lit -> Reference Source #

inlineAlias :: Var v => Monoid a => Term v a -> Term v a Source #

addDefaultCases :: Var v => Monoid a => Text -> Term v a -> Term v a Source #

data ANormalF v e Source #

Constructors

ALet (Direction Word16) [Mem] e e
AName (Either Reference v) [v] e
ALit Lit
ABLit Lit
AMatch v (Branched e)
AShift Reference e
AHnd [Reference] v e
AApp (Func v) [v]
AFrc v
AVar v

Bundled Patterns

pattern AApv :: v -> [v] -> ANormalF v e
pattern ACom :: Reference -> [v] -> ANormalF v e
pattern ACon :: Reference -> CTag -> [v] -> ANormalF v e
pattern AKon :: v -> [v] -> ANormalF v e
pattern AReq :: Reference -> CTag -> [v] -> ANormalF v e
pattern APrm :: POp -> [v] -> ANormalF v e
pattern AFOp :: ForeignFunc -> [v] -> ANormalF v e

Instances

Instances details

Bifoldable ANormalF Source #
Instance details Defined in Unison.Runtime.ANF Methods bifold :: Monoid m => ANormalF m m -> m # bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> ANormalF a b -> m # bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> ANormalF a b -> c # bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> ANormalF a b -> c #
Bifunctor ANormalF Source #
Instance details Defined in Unison.Runtime.ANF Methods bimap :: (a -> b) -> (c -> d) -> ANormalF a c -> ANormalF b d # first :: (a -> b) -> ANormalF a c -> ANormalF b c # second :: (b -> c) -> ANormalF a b -> ANormalF a c #
Align ANormalF Source #
Instance details Defined in Unison.Runtime.ANF Methods align :: Applicative g => (vl -> vr -> g vs) -> (el -> er -> g es) -> ANormalF vl el -> ANormalF vr er -> Maybe (g (ANormalF vs es)) #
Foldable (ANormalF v) Source #
Instance details Defined in Unison.Runtime.ANF Methods fold :: Monoid m => ANormalF v m -> m # foldMap :: Monoid m => (a -> m) -> ANormalF v a -> m # foldMap' :: Monoid m => (a -> m) -> ANormalF v a -> m # foldr :: (a -> b -> b) -> b -> ANormalF v a -> b # foldr' :: (a -> b -> b) -> b -> ANormalF v a -> b # foldl :: (b -> a -> b) -> b -> ANormalF v a -> b # foldl' :: (b -> a -> b) -> b -> ANormalF v a -> b # foldr1 :: (a -> a -> a) -> ANormalF v a -> a # foldl1 :: (a -> a -> a) -> ANormalF v a -> a # toList :: ANormalF v a -> [a] # null :: ANormalF v a -> Bool # length :: ANormalF v a -> Int # elem :: Eq a => a -> ANormalF v a -> Bool # maximum :: Ord a => ANormalF v a -> a # minimum :: Ord a => ANormalF v a -> a # sum :: Num a => ANormalF v a -> a # product :: Num a => ANormalF v a -> a #
Traversable (ANormalF v) Source #
Instance details Defined in Unison.Runtime.ANF Methods traverse :: Applicative f => (a -> f b) -> ANormalF v a -> f (ANormalF v b) # sequenceA :: Applicative f => ANormalF v (f a) -> f (ANormalF v a) # mapM :: Monad m => (a -> m b) -> ANormalF v a -> m (ANormalF v b) # sequence :: Monad m => ANormalF v (m a) -> m (ANormalF v a) #
Functor (ANormalF v) Source #
Instance details Defined in Unison.Runtime.ANF Methods fmap :: (a -> b) -> ANormalF v a -> ANormalF v b # (<$) :: a -> ANormalF v b -> ANormalF v a #
(Show e, Show v) => Show (ANormalF v e) Source #
Instance details Defined in Unison.Runtime.ANF Methods showsPrec :: Int -> ANormalF v e -> ShowS # show :: ANormalF v e -> String # showList :: [ANormalF v e] -> ShowS #
(Eq e, Eq v) => Eq (ANormalF v e) Source #
Instance details Defined in Unison.Runtime.ANF Methods (==) :: ANormalF v e -> ANormalF v e -> Bool # (/=) :: ANormalF v e -> ANormalF v e -> Bool #

type ANormal = Term ANormalF Source #

data RTag Source #

Instances

Instances details

Enum RTag Source #
Instance details Defined in Unison.Runtime.TypeTags Methods succ :: RTag -> RTag # pred :: RTag -> RTag # toEnum :: Int -> RTag # fromEnum :: RTag -> Int # enumFrom :: RTag -> [RTag] # enumFromThen :: RTag -> RTag -> [RTag] # enumFromTo :: RTag -> RTag -> [RTag] # enumFromThenTo :: RTag -> RTag -> RTag -> [RTag] #
Num RTag Source #
Instance details Defined in Unison.Runtime.TypeTags Methods (+) :: RTag -> RTag -> RTag # (-) :: RTag -> RTag -> RTag # (*) :: RTag -> RTag -> RTag # negate :: RTag -> RTag # abs :: RTag -> RTag # signum :: RTag -> RTag # fromInteger :: Integer -> RTag #
Read RTag Source #
Instance details Defined in Unison.Runtime.TypeTags Methods readsPrec :: Int -> ReadS RTag # readList :: ReadS [RTag] # readPrec :: ReadPrec RTag # readListPrec :: ReadPrec [RTag] #
Show RTag Source #
Instance details Defined in Unison.Runtime.TypeTags Methods showsPrec :: Int -> RTag -> ShowS # show :: RTag -> String # showList :: [RTag] -> ShowS #
Eq RTag Source #
Instance details Defined in Unison.Runtime.TypeTags Methods (==) :: RTag -> RTag -> Bool # (/=) :: RTag -> RTag -> Bool #
Ord RTag Source #
Instance details Defined in Unison.Runtime.TypeTags Methods compare :: RTag -> RTag -> Ordering # (<) :: RTag -> RTag -> Bool # (<=) :: RTag -> RTag -> Bool # (>) :: RTag -> RTag -> Bool # (>=) :: RTag -> RTag -> Bool # max :: RTag -> RTag -> RTag # min :: RTag -> RTag -> RTag #
EnumKey RTag Source #
Instance details Defined in Unison.Runtime.TypeTags Methods keyToInt :: RTag -> Int # intToKey :: Int -> RTag #
Tag RTag Source #
Instance details Defined in Unison.Runtime.TypeTags Methods rawTag :: RTag -> Word64 Source #

data CTag Source #

Instances

Instances details

Enum CTag Source #
Instance details Defined in Unison.Runtime.TypeTags Methods succ :: CTag -> CTag # pred :: CTag -> CTag # toEnum :: Int -> CTag # fromEnum :: CTag -> Int # enumFrom :: CTag -> [CTag] # enumFromThen :: CTag -> CTag -> [CTag] # enumFromTo :: CTag -> CTag -> [CTag] # enumFromThenTo :: CTag -> CTag -> CTag -> [CTag] #
Num CTag Source #
Instance details Defined in Unison.Runtime.TypeTags Methods (+) :: CTag -> CTag -> CTag # (-) :: CTag -> CTag -> CTag # (*) :: CTag -> CTag -> CTag # negate :: CTag -> CTag # abs :: CTag -> CTag # signum :: CTag -> CTag # fromInteger :: Integer -> CTag #
Read CTag Source #
Instance details Defined in Unison.Runtime.TypeTags Methods readsPrec :: Int -> ReadS CTag # readList :: ReadS [CTag] # readPrec :: ReadPrec CTag # readListPrec :: ReadPrec [CTag] #
Show CTag Source #
Instance details Defined in Unison.Runtime.TypeTags Methods showsPrec :: Int -> CTag -> ShowS # show :: CTag -> String # showList :: [CTag] -> ShowS #
Eq CTag Source #
Instance details Defined in Unison.Runtime.TypeTags Methods (==) :: CTag -> CTag -> Bool # (/=) :: CTag -> CTag -> Bool #
Ord CTag Source #
Instance details Defined in Unison.Runtime.TypeTags Methods compare :: CTag -> CTag -> Ordering # (<) :: CTag -> CTag -> Bool # (<=) :: CTag -> CTag -> Bool # (>) :: CTag -> CTag -> Bool # (>=) :: CTag -> CTag -> Bool # max :: CTag -> CTag -> CTag # min :: CTag -> CTag -> CTag #
EnumKey CTag Source #
Instance details Defined in Unison.Runtime.TypeTags Methods keyToInt :: CTag -> Int # intToKey :: Int -> CTag #
Tag CTag Source #
Instance details Defined in Unison.Runtime.TypeTags Methods rawTag :: CTag -> Word64 Source #

newtype PackedTag Source #

A combined tag, which is a packed representation of an RTag and a CTag

Constructors

PackedTag Word64

Instances

Instances details

Read PackedTag Source #
Instance details Defined in Unison.Runtime.TypeTags Methods readsPrec :: Int -> ReadS PackedTag # readList :: ReadS [PackedTag] # readPrec :: ReadPrec PackedTag # readListPrec :: ReadPrec [PackedTag] #
Show PackedTag Source #
Instance details Defined in Unison.Runtime.TypeTags Methods showsPrec :: Int -> PackedTag -> ShowS # show :: PackedTag -> String # showList :: [PackedTag] -> ShowS #
Eq PackedTag Source #
Instance details Defined in Unison.Runtime.TypeTags Methods (==) :: PackedTag -> PackedTag -> Bool # (/=) :: PackedTag -> PackedTag -> Bool #
Ord PackedTag Source #
Instance details Defined in Unison.Runtime.TypeTags Methods compare :: PackedTag -> PackedTag -> Ordering # (<) :: PackedTag -> PackedTag -> Bool # (<=) :: PackedTag -> PackedTag -> Bool # (>) :: PackedTag -> PackedTag -> Bool # (>=) :: PackedTag -> PackedTag -> Bool # max :: PackedTag -> PackedTag -> PackedTag # min :: PackedTag -> PackedTag -> PackedTag #
EnumKey PackedTag Source #
Instance details Defined in Unison.Runtime.TypeTags Methods keyToInt :: PackedTag -> Int # intToKey :: Int -> PackedTag #

class Tag t where Source #

Methods

rawTag :: t -> Word64 Source #

Instances

Instances details

Tag CTag Source #
Instance details Defined in Unison.Runtime.TypeTags Methods rawTag :: CTag -> Word64 Source #
Tag RTag Source #
Instance details Defined in Unison.Runtime.TypeTags Methods rawTag :: RTag -> Word64 Source #

data GroupRef Source #

Constructors

GR Reference Word64

Instances

Instances details

Show GroupRef Source #
Instance details Defined in Unison.Runtime.ANF Methods showsPrec :: Int -> GroupRef -> ShowS # show :: GroupRef -> String # showList :: [GroupRef] -> ShowS #
Eq GroupRef Source #
Instance details Defined in Unison.Runtime.ANF Methods (==) :: GroupRef -> GroupRef -> Bool # (/=) :: GroupRef -> GroupRef -> Bool #

data Code Source #

Constructors

CodeRep (SuperGroup Symbol) Cacheability

Instances

Instances details

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

type ValList = [Value] Source #

A list of either unboxed or boxed values. Each slot is one of unboxed or boxed but not both.

data Value Source #

Constructors

Partial GroupRef ValList
Data Reference Word64 ValList
Cont ValList Cont
BLit BLit

Instances

Instances details

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

data Cont Source #

Constructors

KE
Mark Word64 [Reference] (Map Reference Value) Cont
Push Word64 Word64 GroupRef Cont

Instances

Instances details

Show Cont Source #
Instance details Defined in Unison.Runtime.ANF Methods showsPrec :: Int -> Cont -> ShowS # show :: Cont -> String # showList :: [Cont] -> ShowS #
Eq Cont Source #
Instance details Defined in Unison.Runtime.ANF Methods (==) :: Cont -> Cont -> Bool # (/=) :: Cont -> Cont -> Bool #

data BLit Source #

Constructors

Text Text
List (Seq Value)
TmLink Referent
TyLink Reference
Bytes Bytes
Quote Value
Code Code
BArr ByteArray
Arr (Array Value)
Pos Word64
Neg Word64
Char Char
Float Double

Instances

Instances details

Show BLit Source #
Instance details Defined in Unison.Runtime.ANF Methods showsPrec :: Int -> BLit -> ShowS # show :: BLit -> String # showList :: [BLit] -> ShowS #
Eq BLit Source #
Instance details Defined in Unison.Runtime.ANF Methods (==) :: BLit -> BLit -> Bool # (/=) :: BLit -> BLit -> Bool #

packTags :: RTag -> CTag -> PackedTag Source #

unpackTags :: PackedTag -> (RTag, CTag) Source #

maskTags :: PackedTag -> Word64 Source #

type ANFM v = ReaderT (Set v) (State (Word64, Word16, [(v, SuperNormal v)])) Source #

data Branched e Source #

Constructors

MatchIntegral (EnumMap Word64 e) (Maybe e)
MatchText (Map Text e) (Maybe e)
MatchRequest (Map Reference (EnumMap CTag ([Mem], e))) e
MatchEmpty
MatchData Reference (EnumMap CTag ([Mem], e)) (Maybe e)
MatchSum (EnumMap Word64 ([Mem], e))
MatchNumeric Reference (EnumMap Word64 e) (Maybe e)

Bundled Patterns

pattern MatchDataCover :: Reference -> EnumMap CTag ([Mem], e) -> Branched e

Instances

Instances details

Foldable Branched Source #
Instance details Defined in Unison.Runtime.ANF Methods fold :: Monoid m => Branched m -> m # foldMap :: Monoid m => (a -> m) -> Branched a -> m # foldMap' :: Monoid m => (a -> m) -> Branched a -> m # foldr :: (a -> b -> b) -> b -> Branched a -> b # foldr' :: (a -> b -> b) -> b -> Branched a -> b # foldl :: (b -> a -> b) -> b -> Branched a -> b # foldl' :: (b -> a -> b) -> b -> Branched a -> b # foldr1 :: (a -> a -> a) -> Branched a -> a # foldl1 :: (a -> a -> a) -> Branched a -> a # toList :: Branched a -> [a] # null :: Branched a -> Bool # length :: Branched a -> Int # elem :: Eq a => a -> Branched a -> Bool # maximum :: Ord a => Branched a -> a # minimum :: Ord a => Branched a -> a # sum :: Num a => Branched a -> a # product :: Num a => Branched a -> a #
Traversable Branched Source #
Instance details Defined in Unison.Runtime.ANF Methods traverse :: Applicative f => (a -> f b) -> Branched a -> f (Branched b) # sequenceA :: Applicative f => Branched (f a) -> f (Branched a) # mapM :: Monad m => (a -> m b) -> Branched a -> m (Branched b) # sequence :: Monad m => Branched (m a) -> m (Branched a) #
Functor Branched Source #
Instance details Defined in Unison.Runtime.ANF Methods fmap :: (a -> b) -> Branched a -> Branched b # (<$) :: a -> Branched b -> Branched a #
Show e => Show (Branched e) Source #
Instance details Defined in Unison.Runtime.ANF Methods showsPrec :: Int -> Branched e -> ShowS # show :: Branched e -> String # showList :: [Branched e] -> ShowS #
Eq e => Eq (Branched e) Source #
Instance details Defined in Unison.Runtime.ANF Methods (==) :: Branched e -> Branched e -> Bool # (/=) :: Branched e -> Branched e -> Bool #

data Func v Source #

Constructors

FVar v
FComb !Reference
FCont v
FCon !Reference !CTag
FReq !Reference !CTag
FPrim (Either POp ForeignFunc)

Instances

Instances details

Foldable Func Source #
Instance details Defined in Unison.Runtime.ANF Methods fold :: Monoid m => Func m -> m # foldMap :: Monoid m => (a -> m) -> Func a -> m # foldMap' :: Monoid m => (a -> m) -> Func a -> m # foldr :: (a -> b -> b) -> b -> Func a -> b # foldr' :: (a -> b -> b) -> b -> Func a -> b # foldl :: (b -> a -> b) -> b -> Func a -> b # foldl' :: (b -> a -> b) -> b -> Func a -> b # foldr1 :: (a -> a -> a) -> Func a -> a # foldl1 :: (a -> a -> a) -> Func a -> a # toList :: Func a -> [a] # null :: Func a -> Bool # length :: Func a -> Int # elem :: Eq a => a -> Func a -> Bool # maximum :: Ord a => Func a -> a # minimum :: Ord a => Func a -> a # sum :: Num a => Func a -> a # product :: Num a => Func a -> a #
Traversable Func Source #
Instance details Defined in Unison.Runtime.ANF Methods traverse :: Applicative f => (a -> f b) -> Func a -> f (Func b) # sequenceA :: Applicative f => Func (f a) -> f (Func a) # mapM :: Monad m => (a -> m b) -> Func a -> m (Func b) # sequence :: Monad m => Func (m a) -> m (Func a) #
Functor Func Source #
Instance details Defined in Unison.Runtime.ANF Methods fmap :: (a -> b) -> Func a -> Func b # (<$) :: a -> Func b -> Func a #
Show v => Show (Func v) Source #
Instance details Defined in Unison.Runtime.ANF Methods showsPrec :: Int -> Func v -> ShowS # show :: Func v -> String # showList :: [Func v] -> ShowS #
Eq v => Eq (Func v) Source #
Instance details Defined in Unison.Runtime.ANF Methods (==) :: Func v -> Func v -> Bool # (/=) :: Func v -> Func v -> Bool #