Lorentz.Polymorphic

Type families from Polymorphic lifted to Haskell types.

Documentation

class (MemOp (ToT c), ToT (MemOpKeyHs c) ~ MemOpKey (ToT c)) => MemOpHs c

Lifted MemOpKey.

Associated Types

type MemOpKeyHs c :: Type

Instances

NiceComparable e => MemOpHs (Set e)

Defined in Lorentz.Polymorphic

Associated Types

type MemOpKeyHs (Set e)

NiceComparable k => MemOpHs (Map k v)

Defined in Lorentz.Polymorphic

Associated Types

type MemOpKeyHs (Map k v)

NiceComparable k => MemOpHs (BigMap k v)

Defined in Lorentz.Polymorphic

Associated Types

type MemOpKeyHs (BigMap k v)

class (MapOp (ToT c), ToT (MapOpInpHs c) ~ MapOpInp (ToT c), ToT (MapOpResHs c ()) ~ MapOpRes (ToT c) (ToT ())) => MapOpHs c

Lifted MapOp.

Associated Types

type MapOpInpHs c :: Type

type MapOpResHs c :: Type -> Type

Instances

MapOpHs [e]

Defined in Lorentz.Polymorphic

Associated Types

type MapOpInpHs [e]

type MapOpResHs [e] :: Type -> Type

NiceComparable k => MapOpHs (Map k v)

Defined in Lorentz.Polymorphic

Associated Types

type MapOpInpHs (Map k v)

type MapOpResHs (Map k v) :: Type -> Type

class (IterOp (ToT c), ToT (IterOpElHs c) ~ IterOpEl (ToT c)) => IterOpHs c

Lifted IterOp.

Associated Types

type IterOpElHs c :: Type

Instances

IterOpHs [e]

Defined in Lorentz.Polymorphic

Associated Types

type IterOpElHs [e]

NiceComparable e => IterOpHs (Set e)

Defined in Lorentz.Polymorphic

Associated Types

type IterOpElHs (Set e)

NiceComparable k => IterOpHs (Map k v)

Defined in Lorentz.Polymorphic

Associated Types

type IterOpElHs (Map k v)

class SizeOp (ToT c) => SizeOpHs c

Lifted SizeOp.

This could be just a constraint alias, but to avoid T types appearance in error messages we make a full type class with concrete instances.

Instances

SizeOpHs ByteString

Defined in Lorentz.Polymorphic

SizeOpHs MText

Defined in Lorentz.Polymorphic

SizeOpHs [a]

Defined in Lorentz.Polymorphic

SizeOpHs (Set a)

Defined in Lorentz.Polymorphic

SizeOpHs (Map k v)

Defined in Lorentz.Polymorphic

class (UpdOp (ToT c), ToT (UpdOpKeyHs c) ~ UpdOpKey (ToT c), ToT (UpdOpParamsHs c) ~ UpdOpParams (ToT c)) => UpdOpHs c

Lifted UpdOp.

Associated Types

type UpdOpKeyHs c :: Type

type UpdOpParamsHs c :: Type

Instances

NiceComparable a => UpdOpHs (Set a)

Defined in Lorentz.Polymorphic

Associated Types

type UpdOpKeyHs (Set a)

type UpdOpParamsHs (Set a)

NiceComparable k => UpdOpHs (Map k v)

Defined in Lorentz.Polymorphic

Associated Types

type UpdOpKeyHs (Map k v)

type UpdOpParamsHs (Map k v)

NiceComparable k => UpdOpHs (BigMap k v)

Defined in Lorentz.Polymorphic

Associated Types

type UpdOpKeyHs (BigMap k v)

type UpdOpParamsHs (BigMap k v)

class (GetOp (ToT c), ToT (GetOpKeyHs c) ~ GetOpKey (ToT c), ToT (GetOpValHs c) ~ GetOpVal (ToT c)) => GetOpHs c

Lifted GetOp.

Associated Types

type GetOpKeyHs c :: Type

type GetOpValHs c :: Type

Instances

NiceComparable k => GetOpHs (Map k v)

Defined in Lorentz.Polymorphic

Associated Types

type GetOpKeyHs (Map k v)

type GetOpValHs (Map k v)

NiceComparable k => GetOpHs (BigMap k v)

Defined in Lorentz.Polymorphic

Associated Types

type GetOpKeyHs (BigMap k v)

type GetOpValHs (BigMap k v)

class ConcatOp (ToT c) => ConcatOpHs c

Lifted ConcatOp.

Instances

ConcatOpHs ByteString

Defined in Lorentz.Polymorphic

ConcatOpHs MText

Defined in Lorentz.Polymorphic

class SliceOp (ToT c) => SliceOpHs c

Lifted SliceOp.

Instances

SliceOpHs ByteString

Defined in Lorentz.Polymorphic

SliceOpHs MText

Defined in Lorentz.Polymorphic

class (EDivOp (ToT n) (ToT m), NiceComparable n, NiceComparable m, ToT (EDivOpResHs n m) ~ EDivOpRes (ToT n) (ToT m), ToT (EModOpResHs n m) ~ EModOpRes (ToT n) (ToT m)) => EDivOpHs n m

Lifted EDivOp.

Associated Types

type EDivOpResHs n m :: Type

type EModOpResHs n m :: Type

Instances

EDivOpHs Integer Integer

Defined in Lorentz.Polymorphic

Associated Types

type EDivOpResHs Integer Integer

type EModOpResHs Integer Integer

EDivOpHs Integer Natural

Defined in Lorentz.Polymorphic

Associated Types

type EDivOpResHs Integer Natural

type EModOpResHs Integer Natural

EDivOpHs Natural Integer

Defined in Lorentz.Polymorphic

Associated Types

type EDivOpResHs Natural Integer

type EModOpResHs Natural Integer

EDivOpHs Natural Natural

Defined in Lorentz.Polymorphic

Associated Types

type EDivOpResHs Natural Natural

type EModOpResHs Natural Natural

EDivOpHs Mutez Natural

Defined in Lorentz.Polymorphic

Associated Types

type EDivOpResHs Mutez Natural

type EModOpResHs Mutez Natural

EDivOpHs Mutez Mutez

Defined in Lorentz.Polymorphic

Associated Types

type EDivOpResHs Mutez Mutez

type EModOpResHs Mutez Mutez

type family IsoMapOpRes c b where ...

A useful property which holds for reasonable MapOp instances.

It's a separate thing from MapOpHs because it mentions b type parameter.

Equations

IsoMapOpRes c b = ToT (MapOpResHs c b) ~ MapOpRes (ToT c) (ToT b)