Language.SMTLib2.Internals.Type.Struct

data Tree a

data Struct e tp

type family Index (struct :: Tree a) (idx :: [Nat]) :: Tree a where ...

type family ElementIndex (struct :: Tree a) (idx :: [Nat]) :: a where ...

type family Insert (struct :: Tree a) (idx :: [Nat]) (el :: Tree a) :: Tree a where ...

type family Remove (struct :: Tree a) (idx :: [Nat]) :: Tree a where ...

type family Size (struct :: Tree a) :: Nat where ...

access

accessElement

index

elementIndex

insert

remove

mapM

mapIndexM

map

size

flatten

flattenIndex

zipWithM

zipFlatten